𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A unifying approach to goal-directed evaluation

✍ Scribed by Olivier Danvy; Bernd Grobauer; Morten Rhiger


Publisher
Springer
Year
2002
Tongue
English
Weight
1015 KB
Volume
20
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A unifying approach to temporal constrai
✍ 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

A unified approach to persistence
✍ Josef Hofbauer πŸ“‚ Article πŸ“… 1989 πŸ› Springer Netherlands 🌐 English βš– 477 KB