A spatial odyssey of the interval algebra: 1. Directed intervals

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 51-56

  Renz, Jochen ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

INTERVAL ALGEBRA; PATH CONSISTENCY; QUALITATIVE SPATIAL REPRESENTATION AND REASONINGS; SPATIAL APPLICATIONS; TEMPORAL AND SPATIAL; TEMPORAL INTERVALS; TEMPORAL REPRESENTATIONS; TRACTABLE SUBSET;

ARTIFICIAL INTELLIGENCE;

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

References (11)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Comm. ACM, 26(11):832-843, 1983.
2. P. Balbiani, J.-F. Condotta, and L. Farinas del Cerro. A tractable subclass of the block algebra: constraint propagation and preconvex relations. In Proc. EPIA'99, 1999.
3. T. Drakengren and P. Jonsson. A complete classification of tractability in Allen's algebra relative to subsets of basic relations. AIJ, 106(2):205-219, 1998. (Pubitemid 128439822)
4. M. R. Garey and D. S. Johnson. Computers and Intractability. Freeman, San Francisco, CA, 1979.
5. A. Gerevini and J. Renz. Combining topological and qualitative size constraints for spatial reasoning. In Proc. CP'98, 1998.
6. P. B. Ladkin and R. Maddux. On binary constraint problems. J.ACM, 41(3):435-469, 1994.
7. P. B. Ladkin and A. Reinefeld. Fast algebraic methods for interval constraint problems. Annals of Mathematics and Artificial Intelligence, 19:383-411, 1997.
8. R. Moratz, J. Renz, and D. Wolter. Qualitative spatial reasoning about line segments. In Proc. ECAI'00, 2000.
9. 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, 1995.
10. D.A. Randell, Z. Cui, and A.G. Cohn. A spatial logic based on regions and connection. In Proc. KR'92, 1992.
11. J. Renz and B. Nebel. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. AIJ, 108(1-2):69-123, 1999.