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 for more information on our research.
Prof. Dr. Thom 贵谤眉丑飞颈谤迟丑
Prof. Dr.
Thom
贵谤眉丑飞颈谤迟丑
Professor
午夜探花
Institute of Software Engineering and Programming Languages
午夜探花
午夜探花
89069
Ulm
Germany
M.Sc. Sascha Rechenberger
__________________M.Sc.__________Sascha__________Rechenberger_________
________________
__Research Assistant_
______
__
午夜探花
__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
_2008
30.
贵谤眉丑飞颈谤迟丑,
Thom
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Recent Advances in Constraints: 12th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007Band5129ausLecture Notes in Computer Science, Seite 91-108
In Fages, F. and Rossi, F. and Soliman, S., Editor
Herausgeber: Springer-Verlag
2008
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Recent Advances in Constraints: 12th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007Band5129ausLecture Notes in Computer Science, Seite 91-108
In Fages, F. and Rossi, F. and Soliman, S., Editor
Herausgeber: Springer-Verlag
2008
| DOI: |
29.
贵谤眉丑飞颈谤迟丑,
Thom
Welcome to Constraint Handling Rules
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor, Constraint Handling Rules: Current Research TopicsBand5388ausLecture Notes in Computer Science, Seite 1-15
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor
Herausgeber: Springer-Verlag
2008
Welcome to Constraint Handling Rules
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor, Constraint Handling Rules: Current Research TopicsBand5388ausLecture Notes in Computer Science, Seite 1-15
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor
Herausgeber: Springer-Verlag
2008
| DOI: |
2007
28.
贵谤眉丑飞颈谤迟丑,
Thom
Description Logic and Rules the CHR Way
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Seite 49-61
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
Description Logic and Rules the CHR Way
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Seite 49-61
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
27.
Meister,
Marc;
贵谤眉丑飞颈谤迟丑,
Thom
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, Seite 123-137
In Fages, F. and Rossi, F. and Soliman, S., Editor
Juni 2007
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, Seite 123-137
In Fages, F. and Rossi, F. and Soliman, S., Editor
Juni 2007
26.
Meister,
Marc;
Djelloul,
Khalil;
贵谤眉丑飞颈谤迟丑,
Thom
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006Band4651ausLecture Notes in Computer Science, Seite 139-153
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2007
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006Band4651ausLecture Notes in Computer Science, Seite 139-153
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2007
25.
Djelloul,
Khalil;
Dao,
T.-B.-H.;
贵谤眉丑飞颈谤迟丑,
Thom
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees
In Hung, C. C. and Rosa, A., Editor, Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007, Seite 58-64
In Hung, C. C. and Rosa, A., Editor
Herausgeber: ACM Press
2007
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees
In Hung, C. C. and Rosa, A., Editor, Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007, Seite 58-64
In Hung, C. C. and Rosa, A., Editor
Herausgeber: ACM Press
2007
| DOI: |
2006
24.
Meister,
Marc;
贵谤眉丑飞颈谤迟丑,
Thom
Complexity of the CHR Rational Tree Equation Solver
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesausTechnical Report, Seite 77-92
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juni 2006
Complexity of the CHR Rational Tree Equation Solver
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesausTechnical Report, Seite 77-92
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juni 2006
23.
贵谤眉丑飞颈谤迟丑,
Thom
Deriving Linear-Time Algorithms from Union-Find in CHR
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesausTechnical Report, Seite 49-60
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juni 2006
Deriving Linear-Time Algorithms from Union-Find in CHR
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesausTechnical Report, Seite 49-60
In Schrijvers, T. and 贵谤眉丑飞颈谤迟丑, T., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juni 2006
22.
Schrijvers,
T.;
Demoen,
B.;
Duck,
G.;
Stuckey,
P.;
贵谤眉丑飞颈谤迟丑,
Thom
Automatic implication checking for CHR constraints
In Cirstea, H. and Mart铆-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005Band147ausElectronic Notes in Theoretical Computer Science, Seite 93-111
In Cirstea, H. and Mart铆-Oliet, N., Editor
Januar 2006
Automatic implication checking for CHR constraints
In Cirstea, H. and Mart铆-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005Band147ausElectronic Notes in Theoretical Computer Science, Seite 93-111
In Cirstea, H. and Mart铆-Oliet, N., Editor
Januar 2006
21.
贵谤眉丑飞颈谤迟丑,
Thom
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005Band3978ausLecture Notes in Computer Science, Seite 14-28
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2006
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005Band3978ausLecture Notes in Computer Science, Seite 14-28
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2006
| DOI: |