| Description |
1 online resource (244 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 5388. Lecture notes in artificial intelligence |
|
State-of-the-art survey |
|
Lecture notes in computer science ; 5388.
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence
|
|
Lecture notes in computer science. State-of-the-art survey.
|
| Contents |
Welcome to constraint handling rules / Thom Frühwirth -- Search. A flexible search framework for CHR / Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Adaptive CHR meets CHR[superscript v] : an extended refined operational semantics for CHR[superscript v] based on justifications / Armin Wolf, Jacques Robin, and Jairson Vitorino -- Applications. Constructing rule-based solvers for intentionally-defined constriants / Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Implementing probabilistic abductive logic programming with constraint handling rules / Henning Christiansen -- Theory. A compositional semantics for CHR with propagation rules / Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella -- Implementation. CHR for imperative host languages / Peter Van Weert [and others]. Guard reasoning in the refined operational semantics of CHR / Jon Sneyers, Tom Schrijvers, and Bart Demoen |
| Summary |
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The CHR language saw the light more than 15 years ago. Since then, it has become a major declarative specification and implementation language for constraint-based algorithms and applications. In recent years, five workshops on constraint handling rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules. The 7 papers presented together with an introductory paper on CHR cover topics on search, applications, theory, and implementation of CHR |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
|
Print version record |
| Subject |
Constraint programming (Computer science)
|
|
Constraint programming (Computer science)
|
|
Informatique.
|
|
Constraint programming (Computer science)
|
| Form |
Electronic book
|
| Author |
Schrijvers, Tom.
|
|
Frühwirth, Thom, 1962-
|
| ISBN |
9783540922438 |
|
3540922431 |
|
9783540922421 |
|
3540922423 |
|
9788354092247 |
|
8354092240 |
|
