Paper Info
Title
Spatio-temporal Annotated Constraint Logic Programming
Abstract
We extend Temporal Annotated Constraint Logic Programming (TACLP) in order to obtain a framework where both temporal and spatial information can be dealt with and reasoned about. This results in a conceptually simple, uniform setting, called STACLP (Spatio-Temporal Annotated Constraint Logic Programming), where temporal and spatial data are represented by means of annotations that label atomic first-order formulae. The expressiveness and conciseness of the approach are illustrated by means of some examples: Definite, periodic and indefinite spatio-temporal information involving time-varying objects and properties can be handled in a natural way.
Year
DOI
Venue
2001
10.1007/3-540-45241-9_18
PADL
Keywords
Field
DocType
temporal annotated constraint logic,spatial data,indefinite spatio-temporal information,spatio-temporal annotated constraint logic,spatial information,conceptually simple,uniform setting,atomic first-order formula,time-varying object,first order
Spatial analysis,Constraint satisfaction,Programming language,Computer science,Constraint programming,Linear temporal logic,Theoretical computer science,Concurrent constraint logic programming,Logic programming,Temporal logic,Constraint logic programming
Conference
ISBN
Citations 
PageRank 
3-540-41768-0
9
0.63
References 
Authors
24
2
Name
Order
Citations
PageRank
Alessandra Raffaetà118716.45
Thom W. Frühwirth250148.61