✦ LIBER ✦

Compositional model-theoretic semantics for logic programs

✍ Scribed by Antonio Brogi; Evelina Lamma; Paola Mello

Book ID: 112976879
Publisher: Springer
Year: 1992
Tongue: English
Weight: 1011 KB
Volume: 11
Category: Article
ISSN: 0288-3635
DOI: 10.1007/bf03037525

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Counterpart-Theoretic Semantics for Moda

Counterpart-Theoretic Semantics for Modal Logic

✍ Hazen, Allen 📂 Fiction 📅 0 🌐 English ⚖ 615 KB

Counterpart-Theoretic Semantics for Moda

Counterpart-Theoretic Semantics for Modal Logic

✍ Allen Hazen 📂 Article 📅 1979 🏛 Journal of Philosophy, Inc. 🌐 English ⚖ 576 KB

Compositional operational semantics for

Compositional operational semantics for Prolog programs

✍ M. H. M. Cheng; R. N. Horspool; M. R. Levy; M. H. van Emden 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 635 KB

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

Paraconsistent Declarative Semantics for

Paraconsistent Declarative Semantics for Extended Logic Programs

✍ Ofer Arieli 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 264 KB