Ivan M. Havel

31 papers A* 2A 1B 6Journal 19Unranked 3
YearRankTypeTitle / Venue / Authors
2008 J jnl
Sixty years of cybernetics: cybernetics still alive.
Kybernetika
Ivan M. Havel
1993 A* conf
Artificial Thought and Emergent Mind.
IJCAI
Ivan M. Havel
1992 — conf
Artificial Intelligence and Connectionism: Some Philosophical Implications.
Advanced Topics in Artificial Intelligence
Ivan M. Havel
1992 B ed.
Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings
MFCS
Ivan M. Havel, Václav Koubek
1986 — conf
Artifical Intelligence: A Lesson in Human Self-Understanding.
Impacts of Artificial Intelligence
Ivan M. Havel
1982 A conf
The Truth-Reaction Paradox: A Probe of Artificial Intelligence.
ECAI
Ivan M. Havel
1980 J jnl
On Branching and Looping, Part I.
Theor. Comput. Sci.
Ivan M. Havel
1980 J jnl
On Branching and Looping, Part II.
Theor. Comput. Sci.
Ivan M. Havel
1979 J jnl
On Equivalence of Grammars Through Transformation Trees.
Theor. Comput. Sci.
Michael A. Harrison, Ivan M. Havel, Amiram Yehudai
1979 B conf
On Two Types of Loops.
MFCS
Ivan M. Havel
1978 J jnl
A stochastic approach to robot plan formation.
Kybernetika
Ivan M. Havel, Ivan Kramosil
1977 J jnl
Incidental and state-dependent phenomena in robot problem solving.
Kybernetika
Olga Stepánková, Ivan M. Havel
1976 J jnl
A Logical Theory of Robot Problem Solving.
Artif. Intell.
Olga Stepánková, Ivan M. Havel
1976 — conf
Incidental and State-Dependent Phenomena in Robot Problem Solving.
AISB (ECAI)
Olga Stepánková, Ivan M. Havel
1976 J jnl
Normal forms of deterministic grammars.
Discret. Math.
Matthew M. Geller, Michael A. Harrison, Ivan M. Havel
1976 B conf
On the Branching Structure of Languages.
MFCS
Ivan M. Havel
1975 B conf
Nondterministically Recognizable Sets of Languages.
MFCS
Ivan M. Havel
1974 J jnl
Automata theory motivated by problem solving.
SIGACT News
Ivan M. Havel
1974 B conf
Finite Branching Automata: Automata Theory Motivated by Problem Solving.
MFCS
Ivan M. Havel
1974 J jnl
Finite branching automata.
Kybernetika
Ivan M. Havel
1974 J jnl
On the Parsing of Deterministic Languages.
J. ACM
Michael A. Harrison, Ivan M. Havel
1973 B conf
Some Results Concerning the Situation Calculus.
MFCS
Olga Stepánková, Ivan M. Havel
1973 J jnl
Strict Deterministic Grammars.
J. Comput. Syst. Sci.
Michael A. Harrison, Ivan M. Havel
1972 A* conf
On a Family of Deterministic Grammars (Extended Abstract).
ICALP
Michael A. Harrison, Ivan M. Havel
1972 J jnl
Real-Time Strict Deterministic Languages.
SIAM J. Comput.
Michael A. Harrison, Ivan M. Havel
1972 J jnl
The concept of indirectness in artificial intelligence.
Kybernetika
Ivan M. Havel
1969 J jnl
A note on one-sided context-sensitive grammars.
Kybernetika
Ivan M. Havel
1969 J jnl
The theory of regular events. I.
Kybernetika
Ivan M. Havel
1969 J jnl
The theory of regular events. II.
Kybernetika
Ivan M. Havel
1968 J jnl
On the problem of the uniqueness of coding.
Kybernetika
Ivan M. Havel
1968 J jnl
Regular expressions over generalized alphabet and design of logical nets.
Kybernetika
Ivan M. Havel