𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Resolution of evolutionary conflict: a general theory and its applications

✍ Scribed by Masahiko Higashi; Norio Yamamura

Book ID
112763836
Publisher
Springer Japan
Year
1994
Tongue
English
Weight
896 KB
Volume
36
Category
Article
ISSN
1438-390X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A general theory of confluent rewriting
A general theory of confluent rewriting systems for logic programming and its applications
✍ JΓΌrgen Dix; Mauricio Osorio; Claudia Zepeda πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 236 KB

Recently, Brass and Dix showed (J. Automat. Reason. 20(1) (1998) 143-165) that the well founded semantics WFS can be deΓΏned as a con uent calculus of transformation rules. This led not only to a simple extension to disjunctive programs (J. Logic Programming 38(3) (1999) 167-213), but also to a new c