Switch to: References

Add citations

You must login to add citations.
  1. Full mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.
    We analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Relational Representation Theorems for Extended Contact Algebras.Philippe Balbiani & Tatyana Ivanova - 2020 - Studia Logica 109 (4):701-723.
    In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A, B and D if the intersection of A and B is included in D. The algebraic counterpart of this mereotopological relation is the notion of extended contact algebra which is a Boolean algebra extended with a ternary relation. In this paper, we are interested in the relational representation theory for extended contact algebras. In this respect, we study the correspondences between point-free (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Composing cardinal direction relations.Spiros Skiadopoulos & Manolis Koubarakis - 2004 - Artificial Intelligence 152 (2):143-171.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A condensed semantics for qualitative spatial reasoning about oriented straight line segments.Reinhard Moratz, Dominik Lücke & Till Mossakowski - 2011 - Artificial Intelligence 175 (16-17):2099-2127.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reasoning about cardinal directions between extended objects.Weiming Liu, Xiaotong Zhang, Sanjiang Li & Mingsheng Ying - 2010 - Artificial Intelligence 174 (12-13):951-983.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reasoning about cardinal directions between extended objects: The NP-hardness result.Weiming Liu & Sanjiang Li - 2011 - Artificial Intelligence 175 (18):2155-2169.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • RCC8 binary constraint network can be consistently extended.Sanjiang Li & Huaiqing Wang - 2006 - Artificial Intelligence 170 (1):1-18.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On redundant topological constraints.Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham & Alan Both - 2015 - Artificial Intelligence 225 (C):51-76.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Generalized Region Connection Calculus.Sanjiang Li & Mingsheng Ying - 2004 - Artificial Intelligence 160 (1-2):1-34.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
    In a recent paper, we have shown that the class of Boolean contact algebras (BCAs) has the hereditary property, the joint embedding property and the amalgamation property. By Fraïssé’s theorem, this shows that there is a unique countable homogeneous BCA. This paper investigates this algebra and the relation algebra generated by its contact relation. We first show that the algebra can be partitioned into four sets {0}, {1}, K, and L, which are the only orbits of the group of base (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation