✦ LIBER ✦

Logic Programs with Ordered Disjunction

✍ Scribed by Gerhard Brewka; Ilkka Niemelä; Tommi Syrjänen

Book ID: 110754394
Publisher: John Wiley and Sons
Year: 2004
Tongue: English
Weight: 207 KB
Volume: 20
Category: Article
ISSN: 0824-7935
DOI: 10.1111/j.0824-7935.2004.00241.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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

Consistency-based abduction with extende

Consistency-based abduction with extended disjunctive logic programs

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

Partial deduction in disjunctive logic p

Partial deduction in disjunctive logic programming

✍ Chiaki Sakama; Hirohisa Seki 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 917 KB

This paper presents a partial deduction method in disjunctive logic programming. Partial deduction in normal logic programs is based on unfolding between normal clauses, hence it is not applicable to disjunctive logic programs in general. Then we introduce a new partial deduction technique, called d

Semantic Forcing in Disjunctive Logic Pr

Semantic Forcing in Disjunctive Logic Programs

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