A Spatial Logic based on Regions and Connection (1992)

Cached

Download Links

by David A. Randell , Zhan Cui , Anthony G. Cohn
Venue:PROCEEDINGS 3RD INTERNATIONAL CONFERENCE ON KNOWLEDGE REPRESENTATION AND REASONING
Citations:564 - 29 self

Active Bibliography

13 Qualitative and Topological Relationships – Z. Cui, A.G. Cohn, D.A. Randell - 1993
9 Modal and Non Modal Qualitative Spatial Logics – A.G. Cohn - 1993
179 Qualitative Spatial Representation and Reasoning: An Overview – A G Cohn, S M Hazarika - 2001
1 A Core Ontology For Spatial Reasoning – Frans Coenen, Pepijn Visser
Tesseral Spatio-Temporal Reasoning For Multi-Dimensional Data – Frans Coenen
9 Qualitative Simulation Based On A Logic Of Space And Time – Z. Cui, A. G. Cohn, D.A. Randell - 1992
48 Taxonomies of Logically Defined Qualitative Spatial Relations – A.G. Cohn, D.A. Randell, Z. Cui - 1994
42 A Survey on Temporal Reasoning in Artificial Intelligence – Lluís Vila - 1994
49 A Connection Based Approach to Commonsense Topological Description and Reasoning – N.M. Gotts, J.M. Gooday, A.G. Cohn - 1995
6 Representation of Temporal Knowledge for Web-based Applications – Stephanie Spranger - 2002
Ontology and Theory of Time – Gerard Ligozat, Lluis Vila - 1998
3 IP: An Instant-Period-based Theory of Time – Lluis Vila - 1994
This paper was presented at the 6th International Workshop on Qualitative Reasoning about Physical Systems, Heriot-Watt University, Edinburgh Qualitative Simulation Based On A Logic Of Space And Time 3 – Z. Cui, A. G. Cohn
5 Time in Automated Legal Reasoning – Lluis Vila, Hajime Yoshino
2 Temporal Reasoning with Constraints – Edward Moshe Schwalb, Edward Moshe Schwalb, Edward Moshe Schwalb - 1998
This paper appeared in the Proceedings of AAAI92. Qualitative Simulation Based On A Logical Formalism Of Space And Time 3 – Z. Cui, A. G. Cohn
56 Qualitative Simulation Based On A Logical Formalism Of Space And Time – Z. Cui, A. G. Cohn, D.A. Randell - 1992
234 Temporal Reasoning Based on Semi-Intervals – Christian Freksa, Technische Universität München, Robert Fulton - 1992
45 Qualitative Spatial Representation and Reasoning – Anthony G Cohn, Jochen Renz - 2001