𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Temporal disjunctive logic programming
✍ Manolis Gergatsoulis; Panos Rondogiannis; Themis Panayiotopoulos 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 862 KB
Partial deduction in disjunctive logic p
✍ 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