✦ LIBER ✦

On temporal logic versus datalog

✍ Scribed by Irène Guessarian; Eugénie Foustoucos; Theodore Andronikos; Foto Afrati

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 381 KB
Volume: 303
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00447-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On temporal logic S4Dbr

✍ S. Norgėla; L. Skripkauskas 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 101 KB

Specification of communicating processes

Specification of communicating processes: temporal logic versus refusals-based refinement

✍ Gavin Lowe 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 253 KB

On regular temporal logics with past

✍ Christian Dax; Felix Klaedtke; Martin Lange 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 392 KB

On undecidability of propositional tempo

On undecidability of propositional temporal logics on trace systems

✍ Wojciech Penczek 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 607 KB

Investigations on Fragments of First Ord

Investigations on Fragments of First Order Branching Temporal Logic

✍ Franco Montagna; G. Michele Pinna; B. P. Tiezzi 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB

Temporal scenario modelling and recognit

Temporal scenario modelling and recognition based on possibilistic logic

✍ Michel Grabisch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 295 KB

We propose in this paper a new approach for the modelling and recognition of temporal scenarios. A scenario is represented by three different structures. The first one models the logical dependency between the elements of the scenario, using possibilistic logic, while the second one is the minimal t