✦ LIBER ✦

Integrating answer set programming and constraint logic programming

✍ Scribed by Veena S. Mellarkod; Michael Gelfond; Yuanlin Zhang

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 659 KB
Volume: 53
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-009-9116-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An example of integrating constraint pro

An example of integrating constraint programming and mathematical programming

✍ Susanne Heipcke 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 17 KB

This paper describes an integration of finite domain constraint programming techniques into mathematical programming, with an implementation of this new solution approach based on a commercial linear mixed-integer tool and a finite domain CP solver over unions of integer intervals. The combined mode

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

Temporal Annotated Constraint Logic Prog

Temporal Annotated Constraint Logic Programming

✍ THOM FRÜHWIRTH 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 712 KB

We introduce a family of logics and associated programming languages for representing and reasoning about time. The family is conceptually simple while allowing for different models of time. Formulae can be labelled with temporal information using annotations. In this way we avoid the proliferation

ACLP: Abductive Constraint Logic Program

ACLP: Abductive Constraint Logic Programming

✍ A.C. Kakas; A. Michael; C. Mourlas 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 349 KB

This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and enhanced by its non-trivial integration with constraint solving. This integra

Constraint logic programming: Applicatio

Constraint logic programming: Applications and implications

✍ Yousri El Fattah 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 716 KB

Aggregated Fuzzy Answer Set Programming

✍ Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 665 KB