A framework based on CLP extended with CHRs for reasoning with qualitative orientation and positional information

Journal of Visual Languages and Computing

Volumn 9, Issue 1, 1998, Pages 81-101

  Escrig, M Teresa ^a   Toledo, Francisco ^a  

^a UNIVERSITAT JAUME I   (Spain)

Author keywords

Constraint based reasoning; Qualitative reasoning; Spatial reasoning

Indexed keywords

EID: 0031992705     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1997.0067     Document Type: Article

References (22)

1. 1. M. T. Escrig & F. Toledo (1996) Qualitative spatial orientation with constraint handling rules. In: Proceedings of the European Conference on Artificial Intelligence, Budapest, Hungary, pp. 486-490.
2. 2. M. T. Escrig & F. Toledo (1996) Combining qualitative spatial orientation with distances using constraint handling rules. In: Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence, Todosse, France, pp. 174-182.
3. 3. H. W. Guesgen (1989) Spatial reasoning based on Allen's temporal logic. Technical Report TR-89-049, International Computer Science Institute, Berkeley.
4. 4. S. K. Chang & E. Jungert (1986) A spatial knowledge structure for image information systems using symbolic projections. In: Proceedings of the National Computer Conference, Dallas, TX, November 26, pp. 79-86.
5. 5. A. Mukerjee & G. Joe (1990) A qualitative model for space. In 8th American Association of Artificial Intelligence, pp. 721-727.
6. 6. C. Freksa (1992) Using orientation information for qualitative reasoning. Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy.
7. 7. C. Freksa & K. Zimmermann (1992) On the utilization of spatial structures for cognitively plausible and efficient reasoning. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Chicago, pp. 18-21.
8. 8. A. Frank (1992) Qualitative spatial reasoning about distance and directions in geographic space. Journal of Visual Languages and Computing 3, 343-373.
9. 9. D. Hernández (1994) Qualitative Representation of Spatial Knowledge, Lecture Notes in Artificial Intelligence, Vol. 804. Springer, Berlin.
10. 10. J. Allen (1983) Maintaining knowledge about temporal intervals. Communications of the ACM 26, 832-843.
11. 11. K. Zimmermann & C. Freksa (1993) Qualitative spatial reasoning using orientation, distance and path knowledge. In: Proceedings of the Workshop on Spatial and Temporal Reasoning in the International Joint Conference on Artificial Intelligence, Chembery France.
12. 12. J. H. Jong (1994) Qualitative reasoning about distances and directions in geographic space. Ph.D. thesis. Department of Surveying Engineering. University of Maine.
13. 13. E. Clementini, P. Di Felice & D. Hernádez (1995) Qualitative representation of positional information. Technical Report FKI-208-95, Technische Universität München.
14. 14. P. Meseguer (1989) Constraint satisfaction problems: an overview. In Artificial Intelligence Communications, Vol. 2, pp. 3-17.
15. 15. V. Kumar (1992) Algorithms for constraint satisfaction problems: a survey. AI Magazine 13, 32-44.
16. 16. T. Frühwirth (1994) Constraint Handling Rules, Lecture Notes in Computer Science, Vol. 910 Springer, Berlin.
17. 17. T. Frühwirth (1994) Temporal reasoning with constraint handling rules. Technical Report, European Computer-Industry Research Center (ECRC-94-05).
18. 18. A. K. Mackworth & E. C. Freuder (1985) The complexity of some polynomial networks consistency algorithms for constraint satisfaction problems. Journal of Artificial Intelligence 25, 65-74.
19. 19. P. Brisset et al. (1995) ECLiPSe 3.4 Extensions User Manual. European Computer-Industry Research Center, Munich, Germany.
20. 20. M. T. Escrig (1997) Integration of several aspects of space into the same model using CLP extended with CHRs in Qualitative Spatial Reasoning. Ph.D. thesis, Computer Science department, Jaume I University of Castellón.
21. 21. M. T. Escrig & F. Toledo (1997) Managing orientation and distance on extended objects in qualitative spatial reasoning. In: International Joint Conference on Artificial Intelligence, Workshop on Spatial and Temporal Reasoning, Nagpya, Japan.
22. 22. M. T. Escrig & F. Toledo (1997) The integration of qualitative orientation and named distances: application to a qualitative navigation simulator. In: International Journal on Artificial Intelligence Tools 6.