Switch to: Citations

Add references

You must login to add references.
  1. Redundancy in logic I: CNF propositional formulae.Paolo Liberatore - 2005 - Artificial Intelligence 163 (2):203-232.
    Download  
     
    Export citation  
     
    Bookmark   8 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  
  • 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   56 citations  
  • Region Connection Calculus: Its models and composition table.Sanjiang Li & Mingsheng Ying - 2003 - Artificial Intelligence 145 (1-2):121-146.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Decomposition and tractability in qualitative spatial and temporal reasoning.Jinbo Huang, Jason Jingshi Li & Jochen Renz - 2013 - Artificial Intelligence 195 (C):140-164.
    Download  
     
    Export citation  
     
    Bookmark   2 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  
  • Boolean connection algebras: A new approach to the Region-Connection Calculus.J. G. Stell - 2000 - Artificial Intelligence 122 (1-2):111-136.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • 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  
  • Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure.Alfonso E. Gerevini & Alessandro Saetti - 2011 - Artificial Intelligence 175 (2):556-585.
    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  
  • Removing redundancy from a clause.Georg Gottlob & Christian G. Fermüller - 1993 - Artificial Intelligence 61 (2):263-289.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-5d8df9484f-2n7kc uwo