✦ LIBER ✦

Enhancing disjunctive logic programming systems by SAT checkers

✍ Scribed by Christoph Koch; Nicola Leone; Gerald Pfeifer

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 468 KB
Volume: 151
Category: Article
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(03)00078-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Disjunctive logic programming with types

Disjunctive logic programming with types and objects: The DLV+ system

✍ Francesco Ricca; Nicola Leone 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 878 KB

The paper presents DLV + , a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, up

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