✦ LIBER ✦

Sets and constraint logic programming

✍ Scribed by Dovier, Agostino; Piazza, Carla; Pontelli, Enrico; Rossi, Gianfranco

Book ID: 118013360
Publisher: Association for Computing Machinery
Year: 2000
Tongue: English
Weight: 633 KB
Volume: 22
Category: Article
ISSN: 0164-0925
DOI: 10.1145/365151.365169

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Set Constraints and Logic Programming

✍ Dexter Kozen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 601 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, Optimization, and Constraint Prog

Logic, Optimization, and Constraint Programming

✍ Hooker, John N. 📂 Article 📅 2002 🏛 Operations Research Society of America 🌐 English ⚖ 211 KB

Constraint logic programming: Applicatio

Constraint logic programming: Applications and implications

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

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

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