Istituto di Scienza e Tecnologie dell'Informazione     
Raffaetą A., Renso C., Turini F. Qualitative spatial reasoning in a logical framework. In: AI*IA 2003 - AI*IA 2003: Advances in Artificial Intelligence. 8th Congress of the Italian Association for Artificial Intelligence (Pisa, Italy, 23-26 September 2003). Proceedings, pp. 78 - 90. (Lecture Notes in Artificial Intelligence, vol. 2829). Springer Verlag, 2003.
In this paper we present an approach to qualitative spatial reasoning based on the spatio-temporal language STACLP. In particular, we show how the topological 9-intersection model and the direction relations based on projections can be modelled in such a framework. STACLP is a constraint logic programming language where formulae can be annotated with labels (annotations) and where relations between these labels can be expressed by using constraints. Annotations are used to represent both time and space.
URL: http://www.springerlink.com/content/fex5ac2bvk14/?p=d69e89ae1cb5432fac2a815bbb978b1a&pi=2549
DOI: 10.1007/b13658
Subject Spatial qualitative reasoning
D.1.6 Logic Programming

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional