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

Documents Related by Co-Citation

2278 Maintaining knowledge about temporal intervals – James F. Allen, Lames F. Allen - 1983
211 Reasoning about binary topological relations – M J Egenhofer - 1991
234 Temporal Reasoning Based on Semi-Intervals – Christian Freksa, Technische Universit√§t M√ľnchen, Robert Fulton - 1992
117 Reasoning about gradual changes of topological relationships – M J Egenhofer, K K Al-Taha - 1992
345 Point-Set Topological Spatial Relations – M Egenhofer, R Franzosa - 1991
39 On the boundary between mereology and topology – A VARZI - 1994
98 Spatial Reasoning with Propositional Logics – Brandon Bennett - 1994
38 A three-level approach to the semantics of space – M Aurnague, L Vieu - 1993
316 The Naive Physics Manifesto – P Hayes - 1979
38 Algebraic Approach to Spatial Reasoning – T R Smith, K K Park - 1992
120 A mathematical framework for the definitions of topological relationships – M Egenhofer, J Herring - 1990
47 Foundations of the Geometry of Solids – A Tarski - 1956
84 A qualitative model for space – Amitabha Mukerjee, Gene Joe - 1990
304 Parts: a study in Ontology – P Simons - 1987
31 W.: Classical mereology and restricted domains – C Eschenbach, Heydrich - 1995
50 Modelling Topological and Metrical Properties in Physical Processes. – D.A. Randell, A. G. Cohn - 1989
69 Categorizing binary topological relationships between regions, lines, and points in geographic databases – M Egenhofer, J Herring - 1992
69 Individuals and points"; Notre Dame – B L Clarke - 1985
27 A model for expressing topological integrity constraints in geographic databases – T HADZILACOS, N TRYFONA - 1992