A relation-algebraic approach to the region connection calculus

DOI10.1016/S0304-3975(99)00156-5zbMath0974.68161MaRDI QIDQ5941063

Ivo Duentsch, S. McCloskey, Hui Wang

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

relation algebrasmereologyregion connection calculusspatial reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General topics in artificial intelligence (68T01) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

A Logic of East and West, On topological consistency and realization, On redundant topological constraints, Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles, Remarks on contact relations on Boolean algebras, On standard models of fuzzy region connection calculus, Algebraic foundations for qualitative calculi and networks, RCC8 binary constraint network can be consistently extended, Constants and finite unary relations in qualitative constraint reasoning, Spatial relations between indeterminate regions, Relation algebras and their application in temporal and spatial reasoning, Reasoning about cardinal directions between extended objects, FULL MEREOGEOMETRIES, Evolution of Region Connection Calculus to VRCC-3D+, New work for Carnap's quasi-analysis, Relational proof systems for spatial reasoning ★, Contact join-semilattices, Boolean connection algebras: A new approach to the Region-Connection Calculus, REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION, A representation theorem for Boolean contact algebras, Combining topological and size information for spatial reasoning, Region connection calculus: Its models and composition table, Composing cardinal direction relations, The complexity of constraint satisfaction problems for small relation algebras, Generalized region connection calculus, On the complemented disk algebra

Cites Work

• Varieties of relation algebras
• Cylindric algebras. Part II
• Individuals and points
• Minimally generated Boolean algebras
• A calculus of individuals based on 'connection'
• Connection structures
• Rough sets
• On binary constraint problems
• Expressive power and complexity in algebraic logic
• Binary Relations and Permutation Groups
• Expressibility of properties of relations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item