Carving up space: steps towards construction of an absolutely complete theory of spatial regions

DOI10.1007/3-540-61630-6_24zbMATH Open1427.68300OpenAlexW198845790MaRDI QIDQ5236444FDOQ5236444

Authors: 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

Recommendations

• A comment on RCC: from RCC to RCC\(^{++}\)
• A canonical model of the region connection calculus
• Region-based theory of space: algebras of regions, representation theory, and logics
• Generalized region connection calculus
• Part and complement: Fundamental concepts in spatial relations

zbMATH Keywords

decision procedurespatial reasoningspatial region

Mathematics Subject Classification ID

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

Cites Work

• The calculus of individuals and its uses
• Individuals and points
• A calculus of individuals based on 'connection'
• Title not available (Why is that?)
• Title not available (Why is that?)
• A more expressive formulation of many sorted logic
• Connection structures
• Title not available (Why is that?)

Cited In (2)

• Approach merotopological spaces and their completion
• Empiricism and rationalism in region-based theories of space

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5236444)