Incidental and state-dependent phenomena in robot problem solving

Olga Štěpánková; Havel, Ivan M.

Kybernetika (1977)

  • Volume: 13, Issue: 6, page (421)-438
  • ISSN: 0023-5954

How to cite


Štěpánková, Olga, and Havel, Ivan M.. "Incidental and state-dependent phenomena in robot problem solving." Kybernetika 13.6 (1977): (421)-438. <>.

author = {Štěpánková, Olga, Havel, Ivan M.},
journal = {Kybernetika},
language = {eng},
number = {6},
pages = {(421)-438},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Incidental and state-dependent phenomena in robot problem solving},
url = {},
volume = {13},
year = {1977},

AU - Štěpánková, Olga
AU - Havel, Ivan M.
TI - Incidental and state-dependent phenomena in robot problem solving
JO - Kybernetika
PY - 1977
PB - Institute of Information Theory and Automation AS CR
VL - 13
IS - 6
SP - (421)
EP - 438
LA - eng
UR -
ER -


  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. (1971) 
  2. C. Green, Application of theorem proving to problem solving, Proc. IJCAI'69, Washington, D.C., 1969. (1969) 
  3. I. M. Havel, Finite branching automata, Kybernetika 10 (1974), 281 - 302. (1974) Zbl0287.94050MR0381383
  4. I. M. Havel, Nondeterministic finite branching automata, Res. Report No 623, ÚTIA-ČSAV 1975. (1975) MR0381383
  5. I. M. Havel, I, Kramosil, A stochastic approach to robot plan formation, Submitted for publication. Zbl0388.68084
  6. R. Kowalski, Logic for problem solving, Memo No. 75, Department of Computational Logic, University of Edinburgh 1974. (1974) 
  7. N. J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill, New York 1971. (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. (1972) 
  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. (1976) Zbl0362.68053
  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. (1975) 
  11. O. Štěpánková I. M. Havel, A logical theory of robot problem solving, Artificial Intelligence 7(1976), 129-161. (1976) MR0413627
  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. (1977) 
  13. D. H. D. Warren, Generating conditional plans and programs, In: AISB Conf. Proceedings, University of Edinburgh 1976, pp. 344-354. (1976) 

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.