Ivan M. Havel

Orcid: 0000-0001-5005-0696

According to our database1, Ivan M. Havel authored at least 29 papers between 1968 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2008
Sixty years of cybernetics: cybernetics still alive.
Kybernetika, 2008

1993
Artificial Thought and Emergent Mind.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Artificial Intelligence and Connectionism: Some Philosophical Implications.
Proceedings of the Advanced Topics in Artificial Intelligence, 1992

1986
Artifical Intelligence: A Lesson in Human Self-Understanding.
Proceedings of the Impacts of Artificial Intelligence: Scientific, 1986

1982
The Truth-Reaction Paradox: A Probe of Artificial Intelligence.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1980
On Branching and Looping, Part II.
Theor. Comput. Sci., 1980

On Branching and Looping, Part I.
Theor. Comput. Sci., 1980

1979
On Equivalence of Grammars Through Transformation Trees.
Theor. Comput. Sci., 1979

On Two Types of Loops.
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978
A stochastic approach to robot plan formation.
Kybernetika, 1978

1977
Incidental and state-dependent phenomena in robot problem solving.
Kybernetika, 1977

1976
Normal forms of deterministic grammars.
Discret. Math., 1976

A Logical Theory of Robot Problem Solving.
Artif. Intell., 1976

On the Branching Structure of Languages.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975
Nondterministically Recognizable Sets of Languages.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1974
Automata theory motivated by problem solving.
SIGACT News, 1974

Finite branching automata.
Kybernetika, 1974

On the Parsing of Deterministic Languages.
J. ACM, 1974

Finite Branching Automata: Automata Theory Motivated by Problem Solving.
Proceedings of the Mathematical Foundations of Computer Science, 1974

1973
Strict Deterministic Grammars.
J. Comput. Syst. Sci., 1973

Some Results Concerning the Situation Calculus.
Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973

1972
Real-Time Strict Deterministic Languages.
SIAM J. Comput., 1972

The concept of indirectness in artificial intelligence.
Kybernetika, 1972

On a Family of Deterministic Grammars (Extended Abstract).
Proceedings of the Automata, 1972

1969
The theory of regular events. II.
Kybernetika, 1969

The theory of regular events. I.
Kybernetika, 1969

A note on one-sided context-sensitive grammars.
Kybernetika, 1969

1968
Regular expressions over generalized alphabet and design of logical nets.
Kybernetika, 1968

On the problem of the uniqueness of coding.
Kybernetika, 1968


  Loading...