𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Logical Approach to Temporal Reasoning

✍ Scribed by JuanCarlos Augusto

Book ID
110314238
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
194 KB
Volume
16
Category
Article
ISSN
0269-2821

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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 fuzzy logic approach to experience-bas
A fuzzy logic approach to experience-based reasoning
✍ Zhaohao Sun; Gavin Finnie πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 299 KB

Experience-based reasoning ~EBR! is a reasoning paradigm that has been used in almost every human activity such as business, military missions, and teaching activities since early human history. However, EBR has not been seriously studied from either a logical or mathematical viewpoint, although cas