Pavel Materna

According to our database, Pavel Materna authored at least 10 papers between 1969 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic

Marie Duzí, Bjørn Jespersen, Pavel Materna

Logic, Epistemology, and the Unity of Science 17, Springer, ISBN: 978-90-481-8812-3, 2010

2009

Temporal Aspects of Knowledge and Information.

Marie Duzí, Ales Horák, Pavel Materna

Proceedings of the 3rd Workshop on Recent Advances in Slavonic Natural Languages Processing, 2009

2008

Concepts and Ontologies.

Marie Duzí, Pavel Materna

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

1997

Rules of Existential Quantification into "Intensional Contexts".

Pavel Materna

Stud Logica, 1997

1988

Information capability of a database schema.

Marie Duzí, Pavel Materna, Zdenko Stanícek

Kybernetika, 1988

1982

The Nature Of Understanding From The Logical Point Of View.

Pavel Materna

Proceedings of the 9th International Conference on Computational Linguistics, 1982

1981

Applying simple theory of types to data bases.

Pavel Materna, Jaroslav Pokorný

Inf. Syst., 1981

1979

An intensional approach to questions.

Pavel Materna

Kybernetika, 1979

1978

Theory of types and data description.

Pavel Materna

Kybernetika, 1978

1969

Identity, Equivalence and Isomorphism of Problems.

Pavel Materna

J. Symb. Log., 1969