On the complemented disk algebra
From MaRDI portal
Publication:817585
DOI10.1016/j.jlap.2005.04.003zbMath1086.68133OpenAlexW2094641354WikidataQ62038246 ScholiaQ62038246MaRDI QIDQ817585
Publication date: 16 March 2006
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2005.04.003
extensionalityregion connection calculuscomplemented disk algebracontact relation algebrasrcc11 composition table
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (2)
Complementation in representable theories of region-based space ⋮ Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces
Cites Work
- Maintaining knowledge about temporal intervals
- Part and complement: Fundamental concepts in spatial relations
- Varieties of relation algebras
- Region connection calculus: Its models and composition table
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Relation algebras and their application in temporal and spatial reasoning
- A relation-algebraic approach to the region connection calculus
- A necessary relation algebra for mereotopology
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On the complemented disk algebra