| 1993 |
|---|
| 19 | | Ivan M. Havel:
Artificial Thought and Emergent Mind.
IJCAI 1993: 758-766 |
| 1992 |
|---|
| 18 | | Ivan M. Havel,
Václav Koubek:
Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings
Springer 1992 |
| 17 | | Ivan M. Havel:
Artificial Intelligence and Connectionism: Some Philosophical Implications.
Advanced Topics in Artificial Intelligence 1992: 25-41 |
| 1986 |
|---|
| 16 | | Ivan M. Havel:
Artifical Intelligence: A Lesson in Human Self-Understanding.
Impacts of Artificial Intelligence 1986: 89-98 |
| 1982 |
|---|
| 15 | | Ivan M. Havel:
The Truth-Reaction Paradox: A Probe of Artificial Intelligence.
ECAI 1982: 147-148 |
| 1980 |
|---|
| 14 | | Ivan M. Havel:
On Branching and Looping, Part I.
Theor. Comput. Sci. 10: 187-220 (1980) |
| 13 | | Ivan M. Havel:
On Branching and Looping, Part II.
Theor. Comput. Sci. 10: 273-295 (1980) |
| 1979 |
|---|
| 12 | | Ivan M. Havel:
On Two Types of Loops.
MFCS 1979: 89-107 |
| 11 | | Michael A. Harrison,
Ivan M. Havel,
Amiram Yehudai:
On Equivalence of Grammars Through Transformation Trees.
Theor. Comput. Sci. 9: 173-205 (1979) |
| 1976 |
|---|
| 10 | | Olga Stepánková,
Ivan M. Havel:
Incidental and State-Dependent Phenomena in Robot Problem Solving.
AISB (ECAI) 1976: 266-278 |
| 9 | | Ivan M. Havel:
On the Branching Structure of Languages.
MFCS 1976: 81-98 |
| 8 | | Olga Stepánková,
Ivan M. Havel:
A Logical Theory of Robot Problem Solving.
Artif. Intell. 7(2): 129-161 (1976) |
| 1975 |
|---|
| 7 | | Ivan M. Havel:
Nondterministically Recognizable Sets of Languages.
MFCS 1975: 252-257 |
| 1974 |
|---|
| 6 | | Ivan M. Havel:
Finite Branching Automata: Automata Theory Motivated by Problem Solving.
MFCS 1974: 53-61 |
| 5 | EE | Michael A. Harrison,
Ivan M. Havel:
On the Parsing of Deterministic Languages.
J. ACM 21(4): 525-548 (1974) |
| 1973 |
|---|
| 4 | | Olga Stepánková,
Ivan M. Havel:
Some Results Concerning the Situation Calculus.
MFCS 1973: 321-326 |
| 3 | | Michael A. Harrison,
Ivan M. Havel:
Strict Deterministic Grammars.
J. Comput. Syst. Sci. 7(3): 237-277 (1973) |
| 1972 |
|---|
| 2 | | Michael A. Harrison,
Ivan M. Havel:
On a Family of Deterministic Grammars (Extended Abstract).
ICALP 1972: 413-441 |
| 1 | | Michael A. Harrison,
Ivan M. Havel:
Real-Time Strict Deterministic Languages.
SIAM J. Comput. 1(4): 333-349 (1972) |
