Article
Full entry |
PDF
(0.8 MB)
Feedback
PDF
(0.8 MB)
Feedback
References:
[1] А. Н. Богомолов В. А. Твердохлебов: Целанаправленное поведение автоматов. Наукова думка, Киев 1975. Zbl 1231.90252
[2] I. M. Havel I. Kramosil: Randomized Incidental Phenomena: A New Tool for Robot Decision Making. In preparation.
[3] I. M. Havel I. Kramosil: Probabilistic Methods in Robot Decision Making. In: Celostátní konference o kybernetice, Praha, listopad 1976, sborník prací, 66-80.
[4] I. Kramosil: Statistical Estimation of Deducibility in Formalized Theories. Proceedings of the Fourth Conference on Probability Theory, 1971, Brasov, 281 - 298. MR 0432414
[5] I. Kramosil: A Method for Statistical Testing of an at Random Sampled Formula. Kybernetika 9 (1973), 3, 162-173. MR 0343415 | Zbl 0275.02018
[6] I. Kramosil L. Zwinogrodzki: Statistical Methods for Comparing Theorem Proving Algorithms. Kybernetika 10 (1974), 3, 221-240. MR 0345460
[7] I. Kramosil: A Probabilistic Approach to Automaton-Environment Systems. Kybernetika 11 (1975), 3, 173-206. MR 0444347 | Zbl 0308.94045
[8] I. Kramosil: A Selection-Based Formal Description of an Environment. Kybernetika 12 (1976), 3, 127-150. MR 0439294 | Zbl 0329.94031
[9] L. Siklóssy J. Dreussi: Simulation of Executing Robots in Uncertain Environments. Research Report TR-16, Computer Science Department, University of Texas, 1973.
[10] A. Špaček: Statistical Estimation of Provability in Boolean Logic. Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions, Random Processes, Prague 1960, 609-626. MR 0123477
[11] O. Štěpánková I. M. Havel: A Logical Theory of Robot Problem Solving. Artificial Intelligence 7 (1976), 129-161. MR 0413627
[12] O. Štěpánková I. M. Havel: Incidental and State-Dependent Phenomena in Robot Problem Solving. In: Proceedings of the AISB Summer Conference, Edinburgh 1976, 266 - 278. MR 0468377
Search
Partner of
