Layered mereotopology

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 1269-1274

  Donnelly, Maureen ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

IN-FIELD; MATERIAL OBJECTS; MEREOTOPOLOGY; SPATIAL REASONING; SPATIAL REGIONS;

MATHEMATICAL MODELS;

ARTIFICIAL INTELLIGENCE;

EID: 33646142190     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. N. Asher and L. Vieu. Towards a Geometry of Commonsense: A Semantics and a Complete Axiomatization of Mereotopology. Proceedings of IJCAI'95, 846-852, Morgan Kaufmann, San Mateo, CA, 1995.
2. B. Bennett. Space, Time, Matter, and Things. In C. Welty & B. Smith (Eds.), Proceedings of FOIS'01 105-116, ACM Press, New York, 2001.
3. L. Biacino and G. Gerla. Connection Structures. Notre Dame Journal of Formal Logic. 32:242-247, 1991.
4. S. Borgo, N. Guarino, and C. Masalo. A Pointless Theory of Space Based on Strong Connection and Congruence. In L. C. Aiello & S. Shapiro (Eds.), Proceedings of KR'96, 220-229, Morgan Kauffmann, San Mateo, CA, 1996.
5. S. Borgo, N. Guarino, and C. Masalo. An Ontological Theory of Physical Objects. In L. Ironi (Ed.), Proceedings of QR'97, 223-231, Cortona, Italy, 1997.
6. R. Casati and A. C. Varzi. Holes and Other Superficialities. MIT Press, Cambridge, MA, 1994.
7. R. Casati and A. C. Varzi. Parts and Places. The Structures of Spatial Representation. MIT Press, Cambridge, MA, 1999.
8. A. G. Cohn. Formalizing Bio-Spatial Knowledge. In C. Welty & B. Smith (Eds.), Proceedings ofFOIS'01, 198-209, ACM Press, New York, 2001.
9. A. G. Cohn and A. C. Varzi. Connection Relations in Mereotopology. In H. Prade (Ed.), Proceedings ofECAI'98, 150-154, Wiley 1985.
10. N. M. Gotts, J. M. Gooday, and A. G. Cohn. A Connection Based Approach to Commonsense Topological Description and Reasoning. The Monist, 79: 51-75, 1996.
11. S. Schulz and U. Hahn. Mereotopological Reasoning about Parts and (W)Holes in Bio-Ontologies. In C. Welty & B. Smith (Eds.), Proceed-ings ofFOIS'01 210-221, ACM Press, New York, 2001.
12. B. Smith. Mereotopology: A Theory of Parts and Boundaries. Data & Knowledge Engineering. 20:287-303, 1996. (Pubitemid 126365676)