✦ LIBER ✦

Disjunctive logic and semantics of disjunctive logic programs

✍ Scribed by Yidong Shen

Publisher: SP Science China Press
Year: 1997
Tongue: English
Weight: 540 KB
Volume: 40
Category: Article
ISSN: 1006-9321
DOI: 10.1007/bf02916589

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Temporal disjunctive logic programming

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

Argumentation in disjunctive logic progr

Argumentation in disjunctive logic programming

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

Comparison of Semantics of Disjunctive L

Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction

✍ Xi-Shun Zhao; Yu-Ping Shen 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 750 KB

Unfold/fold transformations for disjunct

Unfold/fold transformations for disjunctive logic programs

✍ Manolis Gergatsoulis 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs. @ 1997 Elsevier Science B.V.

Abductive logic programming and disjunct

Abductive logic programming and disjunctive logic programming: their relationship and transferability

✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 207 KB