Institute of Software Engineering and Programming Languages

CHR Research Group

Constraint Handling Rules (CHR) is a concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multi-sets of atomic formulas (constraints) until exhaustion. It was designed by Thom Fruehwirth in 1991. CHR can embed many rule-based formalisms and systems, and it can describe algorithms in a compact declarative way without compromising efficiency. The clean semantics of CHR ensures that several desirable properties hold for CHR programs and also facilitates sophisticated program analysis. CHR libraries exist for Prolog, Haskell, Java, Javascript, Python and C. CHR is also available online for experimentation with many example programs. More than 250 academic and industrial projects worldwide use CHR, and about 2500 research papers reference it.

Klick here for more information on our research.

2014

60.
Gall, Daniel; Frühwirth, Thom
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014)Volume14(4-5), Page 525-538
Publisher: Cambridge University Press
July 2014
59.
Nogatz, Falco; Frühwirth, Thom
From XML Schema to JSON Schema: Translation with CHR
11th Workshop on Constraint Handling Rules (CHR 2014), Vienna
July 2014
58.
Saad, Aya; Frühwirth, Thom; Gervet, Carmen
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information
, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014)Volume14(4-5), Page 461-475
Publisher: Cambridge University Press
July 2014
DOI:10.1017/S1471068414000143
57.
Wielemaker, Jan; Frühwirth, Thom; Koninck, Leslie De; Triska, Markus; Uneson, Marcus
SWI Prolog Reference Manual 7.1
May 2014
Publisher: BOD
ISBN:9783735738035

2013

56.
Sneyers, Jon; Schreye, Daniel De; Frühwirth, Thom
Probabilistic Legal Reasoning in CHRiSM
, Selected Papers of the 29th International Conference on Logic Programming (ICLP 2013)Volume13, 4-5-Online-Supplement
Publisher: Cambridge University Press
August 2013
55.
Zaki, Amira; Frühwirth, Thom; Abdennadher, Slim
Towards Inverse Execution of Constraint Handling Rules
Theory and Practice of Logic Programming, 13 (4-5-Online-Supplement)
August 2013
Publisher: Cambridge University Press
54.
Zaki, Amira; Rau, Matthias; Frühwirth, Thom
CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor
July 2013
53.
Sneyers, Jon; Schreye, Daniel De; Frühwirth, Thom
CHRiSM and Probabilistic Argumentation Logic
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor
July 2013
52.
Betz, Hariolf; Frühwirth, Thom
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL), 14:1 :1-37
February 2013
Publisher: ACM

2012

51.
Saad, Aya; Gervet, Carmen; Frühwirth, Thom
CDF-Intervals Revisited
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012)
October 2012