A formal theory for reasoning about parthood, connection, and location

DOI10.1016/j.artint.2004.06.003zbMath1086.68128OpenAlexW2140802274MaRDI QIDQ814642

Maureen Donnelly

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2004.06.003

zbMATH Keywords

Spatial reasoningFormal ontologyHolesMereotopologyPhysical objects

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Connection structures
• Mereotopology: A theory of parts and boundaries

This page was built for publication: A formal theory for reasoning about parthood, connection, and location