𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using temporal constraints for temporal abstraction

✍ Scribed by M. Campos; J. M. Juárez; J. Palma; R. Marín

Publisher
Springer US
Year
2009
Tongue
English
Weight
767 KB
Volume
34
Category
Article
ISSN
0925-9902

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Backtracking algorithms for disjunctions
Backtracking algorithms for disjunctions of temporal constraints
✍ Kostas Stergiou; Manolis Koubarakis 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 324 KB

We extend the framework of simple temporal problems studied originally by Dechter, Meiri and Pearl to consider constraints of the form , where x 1 , . . . , x n , y 1 , . . . , y n are variables ranging over the real numbers, r 1 , . . . , r n are real constants, and n 1. This is a wide class of te

Temporal Annotated Constraint Logic Prog
Temporal Annotated Constraint Logic Programming
✍ THOM FRÜHWIRTH 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 712 KB

We introduce a family of logics and associated programming languages for representing and reasoning about time. The family is conceptually simple while allowing for different models of time. Formulae can be labelled with temporal information using annotations. In this way we avoid the proliferation