| Title:
|
Finite branching automata (English) |
| Author:
|
Havel, Ivan M. |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
10 |
| Issue:
|
4 |
| Year:
|
1974 |
| Pages:
|
(281)-302 |
| . |
| Category:
|
math |
| . |
| MSC:
|
68A25 |
| MSC:
|
68Q45 |
| MSC:
|
68T10 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0287.94050 |
| idMR:
|
MR0381383 |
| . |
| Date available:
|
2009-09-24T16:40:14Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125691 |
| . |
| Reference:
|
[1] R. E. Fikes P. E. Hart N. J. Nilsson: Some new directions in robot problem solving.In: Machine Intelligence 7 (B. Meltzer, D. Michie, eds.). University Press, Edinburgh 1972. |
| Reference:
|
[2] 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:
|
[3] I. M. Havel: The theory of regular events I, II.Kybernetika 5 (1969), 400-419; 520-544. MR 0256787 |
| Reference:
|
[4] N. J. Nilsson: Problem-solving methods in artificial intelligence.McGraw-Hill, New York 1971. |
| Reference:
|
[5] A. Salomaa: Theory of automata.Pergamon Press, Oxford 1969. Zbl 0193.32901, MR 0262021 |
| Reference:
|
[6] O. Štěpánková I. M. Havel: Image space and its relationship to situation calculus.Tech. Rpt. No 9/1973, Institute of Computation Technique, Prague. (Cf. also Proc. Symp. MFCS, High Tatras 1973.) MR 0451928 |
| . |
