Istituto di Scienza e Tecnologie dell'Informazione     
Nanni M., Raffaetą A., Renso C., Turini F. Deductive and inductive reasoning on spatio temporal data. In: 15th International Conference on Applications of Declarative (Berlin, march 2004). Proceedings, (Lecture Notes in Computer Science, vol. 3392). Springer Verlag, 2004.
We present a framework for a declarative approach to spatio-temporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deductive and inductive capabilities. It can be exploited for a deductive rule-based approach to represent domain knowledge on data. Furthermore it is well suited to model trajectories of moving objects, which can be analysed by using inductive techniques, like clustering, in order to find common movement patterns. A sketch of a case study on behavioral ecology is presented.
Subject Spatio temporal reasoning
Data mining
Declarative programming
Constraint programming
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