Switch to: References

Add citations

You must login to add citations.
  1. Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.Alfonso Gerevini - 2005 - Artificial Intelligence 166 (1-2):37-80.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • (1 other version)Logical properties of foundational mereogeometrical relations in bio-ontologies.Thomas Bittner - 2006 - Applied ontology 4 (2):109-138.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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  
  • 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