✦ LIBER ✦

Semantic Forcing in Disjunctive Logic Programs

✍ Scribed by Marina De Vos; Dirk Vermeir

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

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

Temporal disjunctive logic programming

✍ Manolis Gergatsoulis; Panos Rondogiannis; Themis Panayiotopoulos 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 862 KB

Completeness of hyper-resolution via the

✍ Linh Anh Nguyen; Rajeev Goré 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 106 KB

Expressiveness of stable model semantics

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