| Title:
|
Incidental and state-dependent phenomena in robot problem solving (English) |
| Author:
|
Štěpánková, Olga |
| Author:
|
Havel, Ivan M. |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
13 |
| Issue:
|
6 |
| Year:
|
1977 |
| Pages:
|
(421)-438 |
| . |
| Category:
|
math |
| . |
| MSC:
|
68A45 |
| MSC:
|
68T10 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0366.68062 |
| idMR:
|
MR0468377 |
| . |
| Date available:
|
2009-09-24T16:59:05Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125073 |
| . |
| Reference:
|
[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. |
| Reference:
|
[2] C. Green: Application of theorem proving to problem solving.Proc. IJCAI'69, Washington, D.C., 1969. |
| Reference:
|
[3] I. M. Havel: Finite branching automata.Kybernetika 10 (1974), 281 - 302. Zbl 0287.94050, MR 0381383 |
| Reference:
|
[4] I. M. Havel: Nondeterministic finite branching automata.Res. Report No 623, ÚTIA-ČSAV 1975. MR 0381383 |
| Reference:
|
[5] I. M. Havel, I, Kramosil: A stochastic approach to robot plan formation.Submitted for publication. Zbl 0388.68084 |
| Reference:
|
[6] R. Kowalski: Logic for problem solving.Memo No. 75, Department of Computational Logic, University of Edinburgh 1974. |
| Reference:
|
[7] N. J. Nilsson: Problem-Solving Methods in Artificial Intelligence.McGraw-Hill, New York 1971. |
| Reference:
|
[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. |
| Reference:
|
[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 0362.68053 |
| Reference:
|
[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. |
| Reference:
|
[11] O. Štěpánková I. M. Havel: A logical theory of robot problem solving.Artificial Intelligence 7(1976), 129-161. MR 0413627 |
| Reference:
|
[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. |
| Reference:
|
[13] D. H. D. Warren: Generating conditional plans and programs.In: AISB Conf. Proceedings, University of Edinburgh 1976, pp. 344-354. |
| . |
