Constraint handling rules
Subtitle: current research topics
By: Tom Schrijvers, Thom Frühwirth (eds.).
Contributors: Schrijvers, Tom.; Frühwirth, Thom, 1962-
Series: Lecture notes in computer science -- 5388. -- Lecture notes in artificial intelligence; State-of-the-art survey
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 244
ISBN-13: 9783540922421
Subjects: Constraint programming (Computer science)
Notes: Includes bibliographical references and index.
Table of contents: title: Welcome to constraint handling rules / Thom Frühwirth; title: 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; title: 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; title: Theory. A compositional semantics for CHR with propagation rules / Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella; title: Implementation. CHR for imperative host languages / Peter Van Weert ... [et al.]. Guard reasoning in the refined operational semantics of CHR / Jon Sneyers, Tom Schrijvers, and Bart Demoen.