Switch to: References

Add citations

You must login to add citations.
  1. Temporal reasoning about fuzzy intervals.Steven Schockaert & Martine De Cock - 2008 - Artificial Intelligence 172 (8-9):1158-1193.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Querying temporal and spatial constraint networks in PTIME☆☆A preliminary version of this paper appeared in the proceedings of AAAI-99. A different version of this paper (aimed at a database audience) appeared in the proceedings of the workshop STDBM99. [REVIEW]Manolis Koubarakis & Spiros Skiadopoulos - 2000 - Artificial Intelligence 123 (1-2):223-263.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An initial study of time complexity in infinite-domain constraint satisfaction.Peter Jonsson & Victor Lagerkvist - 2017 - Artificial Intelligence 245 (C):115-133.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Spatial reasoning in a fuzzy region connection calculus.Steven Schockaert, Martine De Cock & Etienne E. Kerre - 2009 - Artificial Intelligence 173 (2):258-298.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Constants and finite unary relations in qualitative constraint reasoning.Peter Jonsson - 2018 - Artificial Intelligence 257 (C):1-23.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Complexity classification in qualitative temporal constraint reasoning.Peter Jonsson & Andrei Krokhin - 2004 - Artificial Intelligence 160 (1-2):35-51.
    Download  
     
    Export citation  
     
    Bookmark  
  • From binary temporal relations to non-binary ones and back☆☆Parts of this paper have been published in [36] and in [39]. [REVIEW]Steffen Staab - 2001 - Artificial Intelligence 128 (1-2):1-29.
    Download  
     
    Export citation  
     
    Bookmark  
  • Solving multi-granularity temporal constraint networks.Claudio Bettini, X. Sean Wang & Sushil Jajodia - 2002 - Artificial Intelligence 140 (1-2):107-152.
    Download  
     
    Export citation  
     
    Bookmark  
  • Computational complexity of linear constraints over the integers.Peter Jonsson & Tomas Lööw - 2013 - Artificial Intelligence 195 (C):44-62.
    Download  
     
    Export citation  
     
    Bookmark  
  • Point algebras for temporal reasoning: Algorithms and complexity.Mathias Broxvall & Peter Jonsson - 2003 - Artificial Intelligence 149 (2):179-220.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Adding clauses to poor man's logic (without increasing the complexity).Peter Jonsson - 2005 - Journal of Applied Non-Classical Logics 15 (3):341-357.
    Partly motivated by description logics, poor man's logics have been proposed as an interesting fragment of modal logics. A poor man's logic is a propositional modal logic where only literals and the connectives ∧, □, and ◊ are allowed. It is known that the complexity of the satisfiability problem may drop dramatically when going from a full modal logic to the corresponding poor man's logic, e.g., in the case of modal logic K one goes from PSPACE-complete to coNP-complete. We prove (...)
    Download  
     
    Export citation  
     
    Bookmark