Pavel Kocura

According to our database, Pavel Kocura authored at least 7 papers between 1992 and 2003.

Collaborative distances:

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

2003

Representing Temporal Ontology in Conceptual Graphs.

Pavel Kocura

Proceedings of the Conceptual Structures for Knowledge Creation and Communication, 2003

2000

Semantics of Attribute Relations in Conceptual Graphs.

Pavel Kocura

Proceedings of the Conceptual Structures: Logical, 2000

1995

Transputer Network Implementation of a Parallel Projection Algorithm for Conceptual Graphs.

Alfred Chan, Pavel Kocura

Proceedings of the Conceptual Structures: Applications, 1995

1993

Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs.

J. E. Heaton, Pavel Kocura

Proceedings of the Conceptual Graphs for Knowledge Representation, 1993

Implementing Conceptual Graphs in a RDBMS.

Brian Bowen, Pavel Kocura

Proceedings of the Conceptual Graphs for Knowledge Representation, 1993

1992

Conceptual and semantic structures.

Pavel Kocura

Knowl. Based Syst., 1992

Towards a Semantic of Inchoative and Causation Events in Conceptual Graphs.

Pavel Kocura

Proceedings of the Conceptual Structures: Theory and Implementation, 1992