✦ LIBER ✦

Logic programs with stable model semantics as a constraint programming paradigm

✍ Scribed by Ilkka Niemelä

Book ID: 110379679
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 195 KB
Volume: 25
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1018930122475

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

Expressiveness of stable model semantics

Expressiveness of stable model semantics for disjunctive logic programs with functions

✍ Thomas Eiter; Georg Gottlob 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 706 KB

Constraint Logic Programming with Dynami

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators

✍ Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 445 KB

A new fixpoint semantics for general log

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

✍ François Fages 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 925 KB

The Semantics of Predicate Logic as a Pr

The Semantics of Predicate Logic as a Programming Language

✍ Van Emden, M. H.; Kowalski, R. A. 📂 Article 📅 1976 🏛 Association for Computing Machinery 🌐 English ⚖ 638 KB

A Model-Theoretic Reconstruction of the

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

✍ M. Falaschi; G. Levi; M. Martelli; C. Palamidessi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 925 KB