Combining topological and directional information for spatial reasoning

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 435-440

  Li, Sanjiang ^a,b  

^a TSINGHUA UNIVERSITY   (China)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT LANGUAGE; CONSTRAINT NETWORKS; DIRECTIONAL INFORMATION; QUALITATIVE SPATIAL REPRESENTATION AND REASONINGS; REASONING TECHNIQUES; SATISFIABILITY PROBLEMS; SOLVE THE SATISFIABILITY; TOPOLOGICAL NETWORKS;

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC;

TOPOLOGY;

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

References (15)

1. J.F. Allen. Maintaining knowledge about temporal intervals. C. ACM, 26:832-843, 1983.
2. P. Balbiani, J.-F. Condotta, and L. Fariñas del Cerro. A new tractable subclass of the rectangle algebra. In IJCAI-99, pages 442-447, 1999.
3. A.U. Frank. Qualitative spatial reasoning about cardinal directions. In ÖGAI-91, pages 157-167, 1991.
4. M.C. Golumbic and R. Shamir. Complexity and algorithms for reasoning about time: a graph-theoretic approach. J. ACM, 40(5):1108-1133, 1993.
5. R. Goyal and M.J. Egenhofer. Similarity of cardinal directions. In SSTD, pages 36-58, 2001.
6. S. Li and H. Wang. RCC8 binary constraint network can be consistently extended. Artificial Intelligence, 170(1):1-18, 2006. (Pubitemid 41636726)
7. S. Li. Combining topological and directional information: First results. In KSEM, pages 252-264, 2006.
8. S. Li. On topological consistency and realization. Constraints, 11(1):31-51, 2006.
9. G. Ligozat and J. Renz. What is a qualitative calculus? A general framework. In PRICAI-04, pages 53-64, 2004.
10. G. Ligozat. Tractable relations in temporal reasoning: pre-convex relations. In ECAI-94. Workshop on Spatial and Temporal Reasoning, pages 99-108, 1994.
11. 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.
12. D.A. Randell, Z. Cui, and A.G. Cohn. A spatial logic based on regions and connection. In KR-92, pages 165-176, 1992.
13. J. Renz. A canonical model of the region connection calculus. In KR-98, pages 330-341. 1998.
14. J. Renz. Maximal tractable fragments of the Region Connection Calculus: A complete analysis. In IJCAI- 99, pages 448-454, 1999.
15. A.P. Sistla and C.T. Yu. Reasoning about qualitative spatial relationships. Journal of Automated Reasoning, 25(4):291-328, 2000.