Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions

DOI10.1007/3-540-61630-6_24zbMath1427.68300OpenAlexW198845790MaRDI QIDQ5236444

Brandon Bennett

Publication date: 8 October 2019

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

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_24

zbMATH Keywords

spatial reasoningdecision procedurespatial region

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Individuals and points
• A more expressive formulation of many sorted logic
• A calculus of individuals based on 'connection'
• Connection structures
• The calculus of individuals and its uses

This page was built for publication: Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions