✦ LIBER ✦

A characterization of answer sets for logic programs

✍ Scribed by MingYi Zhang; Ying Zhang; FangZhen Lin

Book ID: 107357240
Publisher: Science in China Press (SCP)
Year: 2007
Tongue: English
Weight: 695 KB
Volume: 50
Category: Article
ISSN: 1674-733X
DOI: 10.1007/s11432-007-0001-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Extending Answer Sets for Logic Programm

Extending Answer Sets for Logic Programming Agents

✍ M. De Vos; D. Vermeir 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 317 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

ASSAT: computing answer sets of a logic

ASSAT: computing answer sets of a logic program by SAT solvers

✍ Fangzhen Lin; Yuting Zhao 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 275 KB

Using possibilistic logic for modeling q

Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms

✍ Confalonieri, Roberto; Prade, Henri 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 533 KB

FLP answer set semantics without circula

FLP answer set semantics without circular justifications for general logic programs

✍ Shen, Yi-Dong; Wang, Kewen; Eiter, Thomas; Fink, Michael; Redl, Christoph; Krenn 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 758 KB