- Search Strategies in CHR(Prolog) Leslie De Koninck # , Tom Schrijvers ## , Bart Demoen
- Operational Equivalence of Graph Transformation Systems
- Extending CHR with Negation as Absence Peter Van Weert, Jon Sneyers # , Tom Schrijvers ## , Bart Demoen
- Translating Constraint Handling Rules into Action Rules
- A new approach to termination analysis of constraint handling rules
- Description Logic and Rules the CHR Way Extended Abstract
- Complexity of the CHR Rational Tree Equation Solver
- The K.U.Leuven CHR system: implementation and application Tom Schrijvers 1# , Bart Demoen 1
- Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques
- A compositional Semantics for CHR with propagation Maurizio Gabbrielli 1 , Maria Chiara Meo 2 , and Paolo Tacchella 1
- The Computational Power and Complexity of Constraint Handling Rules
- KATHOLIEKE UNIVERSITEIT LEUVEN FACULTEIT INGENIEURSWETENSCHAPPEN
- CCHR: the fastest CHR Implementation, in C Pieter Wuille, Tom Schrijvers , and Bart Demoen
- Equivalence of CHR States Revisited Frank Raiser, Hariolf Betz, and Thom Fruhwirth
- KATHOLIEKE UNIVERSITEIT LEUVEN FACULTEIT INGENIEURSWETENSCHAPPEN
- Result-directed CHR Execution Jon Sneyers
- CHRiSM: Chance Rules induce Statistical Models Jon Sneyers, Wannes Meert, and Joost Vennekens
- A Proposal for a Next Generation of CHR Peter Van Weert, Leslie De Koninck, and Jon Sneyers
- Join Ordering for Constraint Handling Rules Leslie De Koninck and Jon Sneyers
- Proceedings of the 7th International Workshop
- Towards Agent Programming in CHR Edmund S. L. Lam and Martin Sulzmann
- Adaptive CHR meets CHR An Extended Refined Operational Semantics for CHR
- Relating Coloured Petri Nets to Constraint Handling Rules
- Under consideration for publication in Theory and Practice of Logic Programming 1 As Time Goes By: Constraint Handling Rules
- MTSeq: Multi-touch-enabled CHR-based Music Generation and Manipulation
- Join Ordering for Constraint Handling Rules Putting Theory into Practice
- Constraint Abduction and Constraint Handling Martin Sulzmann 1 , Jeremy Wazny 2 and Peter J. Stuckey 2
- Observable Confluence for Constraint Handling Gregory J. Duck 1 , Peter J. Stuckey 1 , and Martin Sulzmann 2
- Accurate Functional Dependency Analysis for Constraint Handling Rules
- A Linear-Logic Semantics for Constraint Handling Rules With Disjunction
- S KATHOLIEKE UNIVERSITEIT LEUVEN FACULTEIT INGENIEURSWETENSCHAPPEN
- Implementation of an F-Logic Kernel in CHR Martin Kaeser and Marc Meister
- Aggregates for Constraint Handling Rules Jon Sneyers , Peter Van Weert , and Tom Schrijvers
- Logical Rules for a Lexicographic Order Constraint Solver
- The Chameleon System Peter J. Stuckey , Martin Sulzmann y and Jeremy Wazny z
- K.U.Leuven JCHR: a User-Friendly, Flexible and Efficient CHR System for Java
- KATHOLIEKE UNIVERSITEIT LEUVEN FACULTEIT INGENIEURSWETENSCHAPPEN
- RISC-Linz Research Institute for Symbolic Computation
- On Confluence of Non-terminating CHR Frank Raiser1
- Deriving QuasiLinearTime Algorithms from UnionFind in CHR
- A State Equivalence and Confluence Checker for Johannes Langbein, Frank Raiser, and Thom Fruhwirth
- First steps towards a lingua franca for computer science: Rule-based Approaches in CHR
- Proceedings Eighth International Workshop
- Model Transformation using Constraint Handling Rules as a basis for
- Boosting CHR through Hardware Acceleration Andrea Triossi
