𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Incremental search in Constraint Logic Programming

✍ Scribed by Pascal Van Hentenryck; Thierry Le Provost

Book ID
112976755
Publisher
Springer
Year
1991
Tongue
English
Weight
966 KB
Volume
9
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Experiments in reactive constraint logic
Experiments in reactive constraint logic programming
✍ Francois Fages; Julian Fowler; Thierry Sola πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 872 KB

In this paper we study a reactive extension of constraint logic programming (CLP). Our primary concerns are search problems in a dynamic environment, where interactions with the user (e.g. in interactive multi-criteria optimization problems) or interactions with the physical world (e.g. in time evol

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