Deductive and inductive reasoning on spatio-temporal data

  • Authors:
  • Mirco Nanni;Alessandra Raffaetà;Chiara Renso;Franco Turini

  • Affiliations:
  • ISTI CNR, Pisa;Dipartimento di Informatica, Università Ca’ Foscari Venezia;ISTI CNR, Pisa;Dipartimento di Informatica, Università di Pisa

  • Venue:
  • INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 behavioural ecology is presented.