Stonian p-ortholattices: A new approach to the mereotopology RT0

No abstract is available for this paper.

• Publication year

  2009

• Venue

  Artificial Intelligence

• Publication date

  2009-10-01

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1016/j.artint.2009.07.001
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On the Skeleton of Stonian p-Ortholattices

  2009influential reference
• Handbook of Knowledge Representation

  2008cited by this paper
• Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology

  2008influential reference
• Model-Theoretic Analysis of Asher and Vieu's Mereotopology

  2008cited by this paper
• Spatial Reasoning and Ontology: Parts, Wholes, and Locations

  2007cited by this paper
• Contact Algebras and Region-based Theory of Space: Proximity Approach – II

  2006influential reference
• Lattices and Ordered Algebraic Structures

  2005cited by this paper
• Weak Contact Structures

  2005cited by this paper
• A representation theorem for Boolean contact algebras

  2005influential reference
• Generalized Region Connection Calculus

  2004cited by this paper
• Mereotopological Connection

  2003cited by this paper
• A Proximity Approach to Some Region-Based Theories of Space

  2002cited by this paper
• A Categorical Axiomatisation of Region-Based Geometry

  2001influential reference
• Boolean connection algebras: A new approach to the Region-Connection Calculus

  2000influential reference
• Parts And Places

  1999cited by this paper
• A Complete Axiom System for Polygonal Mereotopology of the Real Plane

  1998influential reference
• Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

  1997cited by this paper
• Region-Based Topology

  1997influential reference
• A connection based approach to common-sense topological description and reasoning

  1996cited by this paper
• A Pointless Theory of Space Based on Strong Connection and Congruence

  1996cited by this paper
• Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point

  1996cited by this paper
• Mereotopology: A Theory of Parts and Boundaries

  1996cited by this paper
• Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology

  1995influential reference
• Classical mereology and restricted domains

  1995cited by this paper
• Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95

  1995cited by this paper
• How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone

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

  1992influential reference
• Connection Structures

  1991influential reference
• Individuals and points.

  1985cited by this paper
• Individuals and points

  1985cited by this paper
• A calculus of individuals based on "connection"

  1981cited by this paper
• General Lattice Theory

  1978cited by this paper
• Pseudo-complements in semi-lattices

  1962influential reference
• The calculus of individuals and its uses

  1940cited by this paper
• The theory of representations for Boolean algebras

  1936cited by this paper
• Point, Line, and Surface, as Sets of Solids

  1922cited by this paper
• Handbook of Knowledge Representation Edited Qualitative Spatial Representation and Reasoning 13.1.1 What Is Qualitative Spatial Reasoning?

  year unknowncited by this paper

• Point-free Theories of Space and Time

  2020cites this paper
• CODI: A multidimensional theory of mereotopology with closure operations

  2020cites this paper
• Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets

  2019cites this paper
• Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets

  2018cites this paper
• Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics

  2017cites this paper
• Distributive mereotopology: extended distributive contact lattices

  2016cites this paper
• Parthood and Convexity as the Basic Notions of a Theory of Space

  2015cites this paper
• Extensions of the heuristic topological qualitative semantic

  2015cites this paper
• Extensions of the heuristic topological qualitative semantic: Enclosure and fuzzy relations

  2015cites this paper
• On the identification and establishment of topological spatial relations by autonomous systems

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

  2013influential citation
• Qualitative Spatio-Temporal Representation and Reasoning : Trends and Future Directions

  2013cites this paper
• A System for Models of First Order Theories

  2012cites this paper
• On the algebra of regular sets Properties of representable Stonian p-Ortholattices

  2012cites this paper
• On the algebra of regular sets

  2012cites this paper
• Region-Based Theories of Space: Mereotopology and Beyond

  2012influential citation
• Mereotopology and Beyond

  2012cites this paper
• Properties of representable Stonian p-ortholattices

  2012cites this paper
• A Naive Theory of Dimension for Qualitative Spatial Relations

  2011cites this paper
• Ontology Verification with Repositories

  2010cites this paper
• On the Skeleton of Stonian p-Ortholattices

  2009cites this paper