✦ LIBER ✦

Set based logic programming

✍ Scribed by H. A. Blair; V. W. Marek; J. B. Remmel

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 480 KB
Volume: 52
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-008-9098-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Consistency properties and set based log

Consistency properties and set based logic programming

✍ Anil Nerode; Jeffrey B. Remmel 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 455 KB

Integrating answer set programming and c

Integrating answer set programming and constraint logic programming

✍ Veena S. Mellarkod; Michael Gelfond; Yuanlin Zhang 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 659 KB

Logic programming with infinite sets

✍ Douglas Cenzer; Jeffrey B Remmel; Victor W. Marek 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 399 KB

Translations and similarity-based logic

Translations and similarity-based logic programming

✍ M. I. Sessa 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 174 KB

Preferred answer sets for extended logic

Preferred answer sets for extended logic programs

✍ Gerhard Brewka; Thomas Eiter 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 442 KB

In this paper, we address the issue of how Gelfond and Lifschitz's answer set semantics for extended logic programs can be suitably modified to handle prioritized programs. In such programs an ordering on the program rules is used to express preferences. We show how this ordering can be used to defi

Argumentation-based abduction in disjunc

Argumentation-based abduction in disjunctive logic programming

✍ Kewen Wang 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 274 KB

In this paper, we propose an argumentation-based semantic framework, called DAS, for disjunctive logic programming. The basic idea is to translate a disjunctive logic program into an argumentation-theoretic framework. One unique feature of our proposed framework is to consider the disjunctions of ne