𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A framed temporal logic programming language

✍ Scribed by Zhen-Hua Duan

Publisher
Springer
Year
2004
Tongue
English
Weight
69 KB
Volume
19
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Framed temporal logic programming
Framed temporal logic programming
✍ Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 622 KB

A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, ca

Temporal disjunctive logic programming
Temporal disjunctive logic programming
✍ Manolis Gergatsoulis; Panos Rondogiannis; Themis Panayiotopoulos πŸ“‚ Article πŸ“… 2001 πŸ› Springer 🌐 English βš– 862 KB
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