On the complemented disk algebra

No abstract is available for this paper.

• Publication year

  2006

• Venue

  J. Log. Algebraic Methods Program.

• Publication date

  2006-02-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/J.JLAP.2005.04.003
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Relational reasoning in the region connection calculus

  2005cited by this paper
• Relation Algebras and their Application in Temporal and Spatial Reasoning

  2005cited by this paper
• Part and Complement: Fundamental Concepts in Spatial Relations

  2004cited by this paper
• Region Connection Calculus: Its models and composition table

  2003cited by this paper
• Extensionality of the RCC8 Composition Table

  2002cited by this paper
• A relation - algebraic approach to the region connection calculus

  2001cited by this paper
• A Necessary Relation Algebra for Mereotopology

  2001cited by this paper
• Boolean connection algebras: A new approach to the Region-Connection Calculus

  2000cited by this paper
• Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

  1997cited by this paper
• Qualitative and Topological Relationships in Spatial Databases

  1993cited by this paper
• Computing Transivity Tables: A Challenge For Automated Theorem Provers

  1992cited by this paper
• A Spatial Logic based on Regions and Connection

  1992cited by this paper
• Algebraic approach to spatial reasoning

  1992cited by this paper
• Reasoning about Binary Topological Relations

  1991cited by this paper
• Maintaining knowledge about temporal intervals

  1983cited by this paper
• Varieties of relation algebras

  1982cited by this paper

• Digital Relations in Z1: Discretized Time and Rasterized Lines

  2025cites this paper
• Topological relations between a directed line and a directed region

  2020cites this paper
• Beyond the digital Jordan curve: Unconstrained simple pixel-based raster relations

  2019cites this paper
• A distance-based topological relation model between spatial regions

  2018cites this paper
• Algebraic Refinements of Direction Relations through Topological Augmentation

  2016cites this paper
• Swiss Canton Regions: A Model for Complex Objects in Geographic Partitions

  2015cites this paper
• Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

  2014cites this paper
• Complementation in Representable Theories of Region-Based Space

  2013cites this paper
• Reasoning about Topological and Positional Information in Dynamic Settings

  2008cites this paper
• A complete classification of topological relations using the 9‐intersection method

  2006cites this paper