A formal theory for reasoning about parthood, connection, and location
- 8 September 2004
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 160 (1-2) , 145-172
- https://doi.org/10.1016/j.artint.2004.06.003
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Layers: A New Approach to Locating Objects in SpacePublished by Springer Nature ,2003
- Mereotopological reasoning about parts and (w)holes in bio-ontologiesPublished by Association for Computing Machinery (ACM) ,2001
- Space, time, matter and thingsPublished by Association for Computing Machinery (ACM) ,2001
- Parts and Places: The Structures of Spatial RepresentationThe Philosophical Review, 2001
- Mereotopology: A theory of parts and boundariesData & Knowledge Engineering, 1996
- A Connection Based Approach to Common-sense Topological Description and ReasoningMonist, 1996
- Connection structures.Notre Dame Journal of Formal Logic, 1991
- The calculus of individuals and its usesThe Journal of Symbolic Logic, 1940