Switch to: Citations

Add references

You must login to add references.
  1. Qualitative constraint satisfaction problems: An extended framework with landmarks.Sanjiang Li, Weiming Liu & Shengsheng Wang - 2013 - Artificial Intelligence 201 (C):32-58.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Decidability of Definability.Manuel Bodirsky, Michael Pinsker & Todor Tsankov - 2013 - Journal of Symbolic Logic 78 (4):1036-1054.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The 116 reducts of (ℚ, <,a).Markus Junker & Martin Ziegler - 2008 - Journal of Symbolic Logic 73 (3):861-884.
    This article aims to classify those reducts of expansions of (Q, <) by unary predicates which eliminate quantifiers, and in particular to show that, up to interdefinability, there are only finitely many for a given language. Equivalently, we wish to classify the closed subgroups of Sym(Q) containing the group of all automorphisms of (Q, <) fixing setwise certain subsets. This goal is achieved for expansions by convex predicates, yielding expansions by constants as a special case, and for the expansion by (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A Spatial Logic Based on Regions and Connection.David Randell, Cui A., Cohn Zhan & G. Anthony - 1992 - KR 92:165--176.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Relation algebras of intervals.Robin Hirsch - 1996 - Artificial Intelligence 83 (2):267-295.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A unifying approach to temporal constraint reasoning.Peter Jonsson & Christer Bäckström - 1998 - Artificial Intelligence 102 (1):143-155.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Querying incomplete information in RDF with SPARQL.Charalampos Nikolaou & Manolis Koubarakis - 2016 - Artificial Intelligence 237 (C):138-171.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The reducts of the homogeneous binary branching c-relation.Manuel Bodirsky, Peter Jonsson & Trung van Pham - 2016 - Journal of Symbolic Logic 81 (4):1255-1297.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus.Jochen Renz & Bernhard Nebel - 1999 - Artificial Intelligence 108 (1-2):69-123.
    Download  
     
    Export citation  
     
    Bookmark   35 citations