𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logic, Optimization, and Constraint Programming

✍ Scribed by Hooker, John N.

Book ID
118248852
Publisher
Operations Research Society of America
Year
2002
Tongue
English
Weight
211 KB
Volume
14
Category
Article
ISSN
0899-1499

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Sets and constraint logic programming
Sets and constraint logic programming
✍ Dovier, Agostino; Piazza, Carla; Pontelli, Enrico; Rossi, Gianfranco πŸ“‚ Article πŸ“… 2000 πŸ› Association for Computing Machinery 🌐 English βš– 633 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