𝔖 Bobbio Scriptorium
✦   LIBER   ✦

General failure of logic programs

✍ Scribed by Van Tu Le

Book ID
108016210
Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
617 KB
Volume
2
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Comments on β€œgeneral failure of logic pr
Comments on β€œgeneral failure of logic programs”
✍ Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher πŸ“‚ Article πŸ“… 1986 πŸ› Elsevier Science 🌐 English βš– 258 KB

The paper [1] purports to present a classification of the general failure sets of logic programs and a simple proof of the theorem on the soundness and completeness of the negation-as-failure rule. In this note we clarify some conflicting terminology between [1] and the papers [2, 3] to which it pre

Defeasible logic versus Logic Programmin
Defeasible logic versus Logic Programming without Negation as Failure
✍ G. Antoniou; M.J. Maher; D. Billington πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 132 KB

Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. In this paper we compare the expressive power of tw