𝔖 Bobbio Scriptorium
✦   LIBER   ✦

TR—Temporal reasoner

✍ Scribed by Chai Quek; Abdul Wahab; Wee-Chee Sim

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
603 KB
Volume
10
Category
Article
ISSN
0957-4174

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Temporal representation and reasoning
Temporal representation and reasoning
✍ C. Bettini; A. Montanari 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 60 KB

It is commonly recognized that temporal representation and reasoning issues occupy a central position in the areas of artificial intelligence, databases, and theoretical computer science. Temporal concerns permeated research in artificial intelligence from the beginning, as witnessed by the seminal

Temporal reasoning: A relativistic model
Temporal reasoning: A relativistic model
✍ Rita V. Rodriguez; Frank D. Anger; Kenneth M. Ford 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 935 KB

In 1983, Allen presented an ingenious method for the representation and maintenance of temporal information in the presence of imprecise, uncertain, and relative knowledge about time of occurrence. He introduced 13 relations between his primitive "temporal intervals," providing for the expression of

Executable Temporal Logic for Non-monoto
Executable Temporal Logic for Non-monotonic Reasoning
✍ JOERI ENGELFRIET; JAN TREUR 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 454 KB

In this paper we view non-monotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning processes. We show that it is possible to ex

A unifying approach to temporal constrai
A unifying approach to temporal constraint reasoning
✍ Peter Jonsson; Christer Bäckström 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 956 KB

We present a formalism, Disjunctive Linear Relations (DLRs), for reasoning about temporal constraints. DLRs subsume most of the formalisms for temporal constraint reasoning proposed in the literature and is therefore computationally expensive. We also present a restricted type of DLRs, Horn DLRs, wh