Abstract is missing.
- Welcome to Constraint Handling RulesThom W. Frühwirth. 1-15 [doi]
- A Flexible Search Framework for CHRLeslie De Koninck, Tom Schrijvers, Bart Demoen. 16-47 [doi]
- Adaptive CHR Meets CHR:::v:::: An Extended Refined Operational Semantics for CHR:::v::: Based on JustificationsArmin Wolf, Jacques Robin, Jairson Vitorino. 48-69 [doi]
- Constructing Rule-Based Solvers for Intentionally-Defined ConstraintsIngi Sobhi, Slim Abdennadher, Hariolf Betz. 70-84 [doi]
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling RulesHenning Christiansen. 85-118 [doi]
- A Compositional Semantics for CHR with Propagation RulesMaurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella. 119-160 [doi]
- CHR for Imperative Host LanguagesPeter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen. 161-212 [doi]
- Guard Reasoning in the Refined Operational Semantics of CHRJon Sneyers, Tom Schrijvers, Bart Demoen. 213-244 [doi]