Boolean connection algebras: A new approach to the Region-Connection Calculus

DOI10.1016/S0004-3702(00)00045-XzbMath0948.68142MaRDI QIDQ1583514

John G. Stell

Publication date: 26 October 2000

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

zbMATH Keywords

mereotopology; qualitative spatial reasoning; region-connection calculus; Boolean connection algebra

Mathematics Subject Classification ID

68T01: General topics in artificial intelligence

Related Items

Unnamed Item, Logics for extended distributive contact lattices, Spatial relations between indeterminate regions, On standard models of fuzzy region connection calculus, Distributive mereotopology: extended distributive contact lattices, Boolean logics with relations, Region connection calculus: Its models and composition table, Generalized region connection calculus, On the complemented disk algebra, On topological consistency and realization, Pre-apartness structures on spaces of functions, Rudiments of rough sets, On redundant topological constraints, Mereotopology without mereology, Reasoning about cardinal directions between extended objects, Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\), Combining topological and size information for spatial reasoning, On the algebra of regular sets, Complementation in representable theories of region-based space, A calculus of regions respecting both measure and topology, Extended contact algebras and internal connectedness, Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I, Topological representation of precontact algebras and a connected version of the Stone duality theorem. I., A generalization of the Stone duality theorem, RCC8 binary constraint network can be consistently extended, Realizing RCC8 networks using convex regions, A representation theorem for Boolean contact algebras, Extension Properties of Boolean Contact Algebras, FULL MEREOGEOMETRIES, Discrete Mereotopology, Boolean Logics with Relations, Relational proof systems for spatial reasoning ★, Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic, A Proximity Approach to Some Region-Based Theories of Space

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Individuals and points
• The logical systems of Lesniewski
• A calculus of individuals based on 'connection'
• Connection structures
• An algebraic approach to non-classical logics
• Rough sets in knowledge discovery 1. Methodology and applications
• A boundary-sensitive approach to qualitative location
• Parallel concepts in graph theory
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Region-based topology
• Ontologies for plane, polygonal mereotopology
• A logic for rough sets
• Rough sets
• THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Mereotopology: A theory of parts and boundaries
• Equational Classes of Distributive Pseudo-Complemented Lattices
• A relation-algebraic approach to the region connection calculus