Geodesic
Finite branching automata
Kybernetika, Tome 10 (1974) no. 4, pp. 281-302 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68A25, 68Q45, 68T10, 68T15 
@article{KYB_1974_10_4_a0,
     author = {Havel, Ivan M.},
     title = {Finite branching automata},
     journal = {Kybernetika},
     pages = {281--302},
     year = {1974},
     volume = {10},
     number = {4},
     mrnumber = {0381383},
     zbl = {0287.94050},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1974_10_4_a0/}
}
TY  - JOUR
AU  - Havel, Ivan M.
TI  - Finite branching automata
JO  - Kybernetika
PY  - 1974
SP  - 281
EP  - 302
VL  - 10
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/KYB_1974_10_4_a0/
LA  - en
ID  - KYB_1974_10_4_a0
ER  - 
%0 Journal Article
%A Havel, Ivan M.
%T Finite branching automata
%J Kybernetika
%D 1974
%P 281-302
%V 10
%N 4
%U http://geodesic.mathdoc.fr/item/KYB_1974_10_4_a0/
%G en
%F KYB_1974_10_4_a0
Havel, Ivan M. Finite branching automata. Kybernetika, Tome 10 (1974) no. 4, pp. 281-302. http://geodesic.mathdoc.fr/item/KYB_1974_10_4_a0/

[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.

[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.

[3] I. M. Havel: The theory of regular events I, II. Kybernetika 5 (1969), 400-419; 520-544. | MR

[4] N. J. Nilsson: Problem-solving methods in artificial intelligence. McGraw-Hill, New York 1971.

[5] A. Salomaa: Theory of automata. Pergamon Press, Oxford 1969. | MR | Zbl

[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