𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Stable models and difference logic

✍ Scribed by Ilkka Niemelä

Book ID
106343094
Publisher
Springer Netherlands
Year
2008
Tongue
English
Weight
393 KB
Volume
53
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abducing through negation as failure: st
Abducing through negation as failure: stable models within the independent choice logic
✍ David Poole 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 261 KB

The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics characterised by independent choices and an acyclic logic program that speci®es the consequences of these choices. This paper gi

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. @