Geodesic
Incidental and state-dependent phenomena in robot problem solving
Kybernetika, Tome 13 (1977) no. 6, pp. 421-438
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68A45, 68T10, 68T15 
@article{KYB_1977_13_6_a1,
     author = {\v{S}t\v{e}p\'ankov\'a, Olga and Havel, Ivan M.},
     title = {Incidental and state-dependent phenomena in robot problem solving},
     journal = {Kybernetika},
     pages = {421--438},
     year = {1977},
     volume = {13},
     number = {6},
     mrnumber = {0468377},
     zbl = {0366.68062},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1977_13_6_a1/}
}
TY  - JOUR
AU  - Štěpánková, Olga
AU  - Havel, Ivan M.
TI  - Incidental and state-dependent phenomena in robot problem solving
JO  - Kybernetika
PY  - 1977
SP  - 421
EP  - 438
VL  - 13
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/KYB_1977_13_6_a1/
LA  - en
ID  - KYB_1977_13_6_a1
ER  - 
%0 Journal Article
%A Štěpánková, Olga
%A Havel, Ivan M.
%T Incidental and state-dependent phenomena in robot problem solving
%J Kybernetika
%D 1977
%P 421-438
%V 13
%N 6
%U http://geodesic.mathdoc.fr/item/KYB_1977_13_6_a1/
%G en
%F KYB_1977_13_6_a1
Štěpánková, Olga; Havel, Ivan M. Incidental and state-dependent phenomena in robot problem solving. Kybernetika, Tome 13 (1977) no. 6, pp. 421-438. http://geodesic.mathdoc.fr/item/KYB_1977_13_6_a1/

[1] R. E. Fikes N. J. Nilsson: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971), 189-208.

[2] C. Green: Application of theorem proving to problem solving. Proc. IJCAI'69, Washington, D.C., 1969.

[3] I. M. Havel: Finite branching automata. Kybernetika 10 (1974), 281 - 302. | MR | Zbl

[4] I. M. Havel: Nondeterministic finite branching automata. Res. Report No 623, ÚTIA-ČSAV 1975. | MR

[5] I. M. Havel, I, Kramosil: A stochastic approach to robot plan formation. Submitted for publication. | Zbl

[6] R. Kowalski: Logic for problem solving. Memo No. 75, Department of Computational Logic, University of Edinburgh 1974.

[7] N. J. Nilsson: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill, New York 1971.

[8] H. A. Simon: On reasoning about actions. In Representation and Meaning: Experiments with Information Processing Systems (eds. H. A. Simon & L. Siklossy), Prentice-Hall, Englewood Cliffs 1972, pp. 414-430.

[9] M. Sintzoff: Eliminating blind alleys from backtrack programs. In: Automata, Languages, and Programming (S. Michaelson and R. Milner, Eds.), Edinburgh University Press 1976, pp. 531-557. | Zbl

[10] O. Štěpánková: Skolem functions and the planning in the situation calculus. A collection of papers 1975 Inst, of Computation Techniques, Technical University of Prague 1975.

[11] O. Štěpánková I. M. Havel: A logical theory of robot problem solving. Artificial Intelligence 7(1976), 129-161. | MR

[12] R. Waldinger: Achieving several goals simultaneously. In: Machine Intelligence 8 (E. W. Elcock and D. Michie, Eds.), Ellis Horwood, Chichester 1977, pp. 94-136.

[13] D. H. D. Warren: Generating conditional plans and programs. In: AISB Conf. Proceedings, University of Edinburgh 1976, pp. 344-354.