✦ LIBER ✦

Logic program semantics and circumscription of autoepistemic theories

✍ Scribed by Li Yan Yuan

Book ID: 107766163
Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 523 KB
Volume: 50
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(94)00018-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computation of the semantics of autoepis

Computation of the semantics of autoepistemic belief theories

✍ Stefan Brass; Jürgen Dix; Teodor C. Przymusinski 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 160 KB

Uniform semantic treatment of default an

Uniform semantic treatment of default and autoepistemic logics

✍ Marc Denecker; Victor W. Marek; Mirosław Truszczyński 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 357 KB

On the autoepistemic reconstruction of l

On the autoepistemic reconstruction of logic programming

✍ Y. J. Jiang 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 1011 KB

Disjunctive logic and semantics of disju

Disjunctive logic and semantics of disjunctive logic programs

✍ Yidong Shen 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 540 KB

Semantics of Horn and disjunctive logic

Semantics of Horn and disjunctive logic programs

✍ Jorge Lobo; Arcot Rajasekar; Jack Minker 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Decidability of logic program semantics

Decidability of logic program semantics and applications to testing

✍ Salvatore Ruggieri 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 248 KB

In this paper, we investigate the decidability problem of logic program semantics and observables, focusing in particular on the least Herbrand model (or M-semantics), the C-semantics, and the S-semantics. We introduce bounded logic programs, and show that they coincide with programs such that every