✦ LIBER ✦

Classical negation in logic programs and disjunctive databases

✍ Scribed by Michael Gelfond; Vladimir Lifschitz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Disjunctive logic and semantics of disju

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

'Classical' Negation in Nonmonotonic Rea

✍ José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 589 KB

Relevance logic, classical logic, and di

✍ John A. Barker 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 860 KB

Semantic Forcing in Disjunctive Logic Pr

✍ Marina De Vos; Dirk Vermeir 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 216 KB

Semantics of Horn and disjunctive logic

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

Argumentation in disjunctive logic progr

✍ Kewen Wang; Quanyuan Wu; Huowang Chen 📂 Article 📅 1998 🏛 SP Science China Press 🌐 English ⚖ 453 KB