Temporalizing cardinal directions: From constraint satisfaction to planning

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 472-480

  Ragni, Marco ^a   Wölfl, Stefan ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; GEOMETRY; KNOWLEDGE REPRESENTATION; SOCIAL ROBOTS;

ALLEN'S INTERVAL ALGEBRA; CARDINAL DIRECTION; CONSTRAINT LANGUAGE; CONSTRAINT SATISFACTION; QUALITATIVE RELATION; RELATIVE POSITIONS; SPATIAL CONSTRAINTS; TYPICAL APPLICATION;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84860549090     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Allen, J. F. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26(11):832-843.
2. Bennett, B.; Cohn, A. G.; Wolter, F.; and Zakharyaschev, M. 2002. Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence 17(3):239-251.
3. Bennett, B. 2001. Space, time, matter and things. In FOIS'01: Proceedings of the international conference on Formal Ontology in Information Systems, 105-116.
4. Bylander, T. 1994. The computational complexity of propositional STRIPS planning. Artificial Intelligence 69(1-2):165-204.
5. Cohn, A. G. 1997. Qualitative spatial representation and reasoning techniques. In Brewka, G.; Habel, C.; and Nebel, B., eds., KI-97: Advances in Artificial Intelligence. Springer.
6. Egenhofer, M. J., and Al-Taha, K. K. 1992. Reasoning about gradual changes of topological relationships. In Frank, A. U.; Campari, I.; and Formentini, U., eds., Spatio- Temporal Reasoning, Lecture Notes in Computer Science 639, 196-219. Springer.
7. Frank, A. U. 1996. Qualitative spatial reasoning: Cardinal directions as an example. International Journal of Geographical Information Science 10(3):269-290.
8. Freksa, C. 1991. Conceptual neighborhood and its role in temporal and spatial reasoning. In Decision Support Systems and Qualitative Reasoning. North-Holland. 181-187.
9. Freksa, C. 2004. Spatial cognition: An AI perspective. In ECAI 2004, 1122-1128.
10. Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; and Zakharyaschev, M. 2005. Combining spatial and temporal logics: Expressiveness vs. complexity. Journal of Artificial Intelligence Research(JAIR).
11. Galton, A. 2000. Qualitative Spatial Change. Oxford University Press.
12. Galton, A. 2003. A generalized topological view of motion in discrete space. Theoretical Compututer Science 305(1- 3):111-134.
13. Gerevini, A., and Nebel, B. 2002. Qualitative spatiotemporal reasoning with RCC-8 and Allen's interval calculus: Computational complexity. In Proceedings of the 15th European Conference on Artificial Intelligence (ECAI-02), 312-316. IOS Press.
14. Ligozat, G. 1996. A new proof of tractability for ORDHorn relations. In Proceedings of the National Conference on Artificial Intelligence (AAAI-96).
15. Ligozat, G. 1998. Reasoning about cardinal directions. Journal of Visual Languages and Computing 9:23-44.
16. Nebel, B., and Bur̈ckert, H.-J. 1995. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. JACM 42(1):43-66.
17. Rintanen, J. 2005. Planning: algorithms and complexity. Habilitation thesis, Albert-Ludwigs-Universitaẗ Freiburg.
18. Skiadopoulos, S., and Koubarakis, M. 2004. Composing cardinal direction relations. Artificial Intelligence 152(2):143-171.
19. Vilain, M. B.; Kautz, H. A.; and van Beek, P. G. 1989. Contraint propagation algorithms for temporal reasoning: A revised report. In Weld, D. S., and de Kleer, J., eds., Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann. 373-381.
20. Wolter, F., and Zakharyaschev, M. 2000. Spatio-temporal representation and reasoning based on RCC-8. In Cohn, A.; Giunchiglia, F.; and Selman, B., eds., Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR2000). Morgan Kaufmann.