𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reformulating non-monotonic theories for inference and updating

Book ID
108475938
Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
267 KB
Volume
12
Category
Article
ISSN
0957-4174

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A fixpoint theory for non-monotonic para
A fixpoint theory for non-monotonic parallelism
✍ Yifeng Chen πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 290 KB

This paper studies parallel recursion. The trace speciΓΏcation language used in this paper incorporates sequentially, nondeterminism, reactiveness (including inΓΏnite traces), three forms of parallelism (including conjunctive, fair-interleaving and synchronous parallelism) and general recursion. In or