Table of 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 ... [et al.]. Guard reasoning in the refined operational semantics of CHR / Jon Sneyers, Tom Schrijvers, and Bart Demoen.