Ivan M. Havel

Publication Activity (10 Years)

Years Active: 1968-2008
Publications (10 Years): 0

Publications

Ivan M. Havel
Sixty years of cybernetics: cybernetics still alive. Kybernetika 44 (3) (2008)
Ivan M. Havel
Artificial Thought and Emergent Mind. IJCAI (1993)
Ivan M. Havel
Artificial Intelligence and Connectionism: Some Philosophical Implications. Advanced Topics in Artificial Intelligence (1992)
Ivan M. Havel
Artifical Intelligence: A Lesson in Human Self-Understanding. Impacts of Artificial Intelligence (1986)
Ivan M. Havel
The Truth-Reaction Paradox: A Probe of Artificial Intelligence. ECAI (1982)
Ivan M. Havel
On Branching and Looping, Part II. Theor. Comput. Sci. 10 (1980)
Ivan M. Havel
On Branching and Looping, Part I. Theor. Comput. Sci. 10 (1980)
Ivan M. Havel
On Two Types of Loops. MFCS (1979)
Michael A. Harrison, Ivan M. Havel, Amiram Yehudai
On Equivalence of Grammars Through Transformation Trees. Theor. Comput. Sci. 9 (1979)
Ivan M. Havel, Ivan Kramosil
A stochastic approach to robot plan formation. Kybernetika 14 (3) (1978)
Olga Stepánková, Ivan M. Havel
Incidental and state-dependent phenomena in robot problem solving. Kybernetika 13 (6) (1977)
Olga Stepánková, Ivan M. Havel
Incidental and State-Dependent Phenomena in Robot Problem Solving. AISB (ECAI) (1976)
Matthew M. Geller, Michael A. Harrison, Ivan M. Havel
Normal forms of deterministic grammars. Discret. Math. 16 (4) (1976)
Olga Stepánková, Ivan M. Havel
A Logical Theory of Robot Problem Solving. Artif. Intell. 7 (2) (1976)
Ivan M. Havel
On the Branching Structure of Languages. MFCS (1976)
Ivan M. Havel
Nondterministically Recognizable Sets of Languages. MFCS (1975)
Ivan M. Havel
Finite branching automata. Kybernetika 10 (4) (1974)
Michael A. Harrison, Ivan M. Havel
On the Parsing of Deterministic Languages. J. ACM 21 (4) (1974)
Ivan M. Havel
Finite Branching Automata: Automata Theory Motivated by Problem Solving. MFCS (1974)
Ivan M. Havel
Automata theory motivated by problem solving. SIGACT News 6 (2) (1974)
Michael A. Harrison, Ivan M. Havel
Strict Deterministic Grammars. J. Comput. Syst. Sci. 7 (3) (1973)
Olga Stepánková, Ivan M. Havel
Some Results Concerning the Situation Calculus. MFCS (1973)
Ivan M. Havel
The concept of indirectness in artificial intelligence. Kybernetika 8 (2) (1972)
Michael A. Harrison, Ivan M. Havel
Real-Time Strict Deterministic Languages. SIAM J. Comput. 1 (4) (1972)
Michael A. Harrison, Ivan M. Havel
On a Family of Deterministic Grammars (Extended Abstract). ICALP (1972)
Ivan M. Havel
The theory of regular events. II. Kybernetika 5 (6) (1969)
Ivan M. Havel
A note on one-sided context-sensitive grammars. Kybernetika 5 (3) (1969)
Ivan M. Havel
The theory of regular events. I. Kybernetika 5 (5) (1969)
Ivan M. Havel
Regular expressions over generalized alphabet and design of logical nets. Kybernetika 4 (6) (1968)
Ivan M. Havel
On the problem of the uniqueness of coding. Kybernetika 4 (5) (1968)