𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics

✍ Scribed by François Fages

Book ID
112976758
Publisher
Springer
Year
1991
Tongue
English
Weight
925 KB
Volume
9
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the stable model semantics for
A note on the stable model semantics for logic programs
✍ Michael Kaminski 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 900 KB

The stable model semantics for logic programs is extended from ground literals onto open literals by augmenting the program language with an infinite set of new constants. This, in turn, leads to a natural translation of logic programs into open default theories. @