Qualitative spatial and temporal reasoning: Efficient algorithms for everyone

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 526-531

  Renz, Jochen ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INTERVAL ALGEBRA; MANUAL INTERVENTION; QUALITATIVE SPATIAL AND TEMPORAL REASONING; REASONING ALGORITHMS; REASONING PROBLEMS; REFINEMENT ALGORITHMS; RESEARCH EFFORTS; TRACTABLE SUBSET;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; BIOMINERALIZATION; SET THEORY;

PATHOLOGY;

EID: 62849123407     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Comm. ACM, 26(11):832-843, Nov 1983.
2. P. Ladkin and R. Maddux. On binary constraint networks. Technical Report, Kestrel Institute, 1988.
3. G. Ligozat and J. Renz. What is a qualitative calculus? a general framework. In PRICAI'04, 53-64, 2004.
4. B. Nebel and H-J. Bürckert. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. J. ACM, 42(1):43-66, Jan 1995.
5. B. Nebel. Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. CONSTRAINTS, 3(1):175-190, 1997. (Pubitemid 127804662)
6. D. Randell, Z. Cui, and A. Cohn. A spatial logic based on regions and connection. In KR'92, 165-176, 1992.
7. J. Renz and G. Ligozat. Weak composition for qualitative spatial and temporal reasoning. In Proc. CP' 05, 534-548, 2005.
8. J. Renz and B. Nebel. Efficient methods for qualitative spatial reasoning. JAIR, 15:289-318, 2001.
9. J. Renz. Maximal tractable fragments of the Region Connection Calculus: A complete analysis. In Proc. IJCAI' 99, 448-454, 1999.