Document - Qualitative spatial reasoning in a logical framework

2003

Conference article Closed Access

Qualitative spatial reasoning in a logical framework

Raffaetà A., Renso C., Turini F.

Spatial qualitative reasoning

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.

Source: 8th Congress of the Italian Association for Artificial Intelligence, pp. 78–90, Pisa, Italy, September 2003

Publisher: Springer, Berlin , Germania

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:44078,
	title = {Qualitative spatial reasoning in a logical framework},
	author = {Raffaetà A. and Renso C. and Turini F.},
	publisher = {Springer, Berlin , Germania},
	doi = {10.1007/b13658},
	booktitle = {8th Congress of the Italian Association for Artificial Intelligence, pp. 78–90, Pisa, Italy, September 2003},
	year = {2003}
}