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.
Prof. Dr. Thom Frühwirth
Prof. Dr.
Thom
Frühwirth
Professor
Ulm University
Institute of Software Engineering and Programming Languages
Ulm University
Ulm University
89069
Ulm
Germany
Room:
O27 418
Phone:
+49731/50-24163
M.Sc. Sascha Rechenberger
M.Sc.
Sascha
Rechenberger
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
2018
90.
Nogatz,
Falco;
Frühwirth,
Thom;
Seipel,
Dietmar
CHR.js: A CHR Implementation in JavaScript
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 2018
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
CHR.js: A CHR Implementation in JavaScript
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 2018
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
| File: |  http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/Nogatz-draft.pdf |
89.
Frühwirth,
Thom;
Gall,
Daniel
Exploring Parallel Execution Strategies for Constraint Handling Rules
26th International Workshop on Functional and Logic Programming, Frankfurt am Main, Germany
September 2018
Exploring Parallel Execution Strategies for Constraint Handling Rules
26th International Workshop on Functional and Logic Programming, Frankfurt am Main, Germany
September 2018
| File: | https://arxiv.org/abs/1808.07788 |
88.
Frühwirth,
Thom
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
| File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/masonmarks-final0.pdf |
87.
Frühwirth,
Thom
A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
July 2018
A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
July 2018
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_masonmarks-short-final.pdf |
86.
Sharaf,
Nada;
Abdennadher,
Slim;
Frühwirth,
Thom
CHRvis: Syntax and Semantics
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
34th International Conference on Logic Programming (ICLP 2018)
Oxford, UK
July 2018
July 2018
CHRvis: Syntax and Semantics
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
34th International Conference on Logic Programming (ICLP 2018)
Oxford, UK
July 2018
July 2018
85.
Frühwirth,
Thom
Security Policies in Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
July 2018
Security Policies in Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
July 2018
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_rbac-chr-final.pdf |
84.
Gall,
Daniel;
Frühwirth,
Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., Editor, Functional and Logic ProgrammingVolume10818fromLecture Notes in Computer Science, Page 116-131
Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018)
Nagoya, Japan
In Gallagher J., Sulzmann M., Editor
Publisher: Springer
May 2018
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., Editor, Functional and Logic ProgrammingVolume10818fromLecture Notes in Computer Science, Page 116-131
Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018)
Nagoya, Japan
In Gallagher J., Sulzmann M., Editor
Publisher: Springer
May 2018
| DOI: | 10.1007/978-3-319-90686-7_8 |
| File: | https://arxiv.org/abs/1802.03381 |
83.
Frühwirth,
Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
In Fabio Fioravanti and John P. Gallagher, Editor, Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)Volume10855
LOPSTR 2017
Namur, Belgium
In Fabio Fioravanti and John P. Gallagher, Editor
Publisher: Springer
2018
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
In Fabio Fioravanti and John P. Gallagher, Editor, Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)Volume10855
LOPSTR 2017
Namur, Belgium
In Fabio Fioravanti and John P. Gallagher, Editor
Publisher: Springer
2018
| File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-justifications-lopstr-lncs-0.pdf |
82.
Sharaf,
Nada;
Abdennadher,
Slim;
Frühwirth,
Thom
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
Proceedings of the 22nd International Conference Information Visualisation (iV2018)
22nd International Conference Information Visualisation (iV2018)
Salerno, Italy
July 2018
2018
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
Proceedings of the 22nd International Conference Information Visualisation (iV2018)
22nd International Conference Information Visualisation (iV2018)
Salerno, Italy
July 2018
2018
2017
81.
Frühwirth,
Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
Namur, Belgium
10-12 October 2017
October 2017
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
Namur, Belgium
10-12 October 2017
October 2017
| File: | http://arxiv.org/abs/1706.07946 |