𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Expressive Applications of Constraint Logic Programming

✍ Scribed by William B. Day

Book ID
110367979
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
580 KB
Volume
11
Category
Article
ISSN
0269-2821

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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