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

DOI10.1007/3-540-61630-6_24MaRDI QIDQ5236444zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

decision procedurespatial reasoningspatial region

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 4166929 (Why is no real title available?)
• scientific article; zbMATH DE number 3421537 (Why is no real title available?)
• A calculus of individuals based on 'connection'
• A more expressive formulation of many sorted logic
• Connection structures
• Individuals and points
• The calculus of individuals and its uses

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)