Publications

about 'constraint handling'

Books and proceedings

  1. H. Betz, T. Frühwirth, and U. Schöning. A Unified Analytical Foundation for Constraint Handling Rules. Books on Demand, 2014. ISBN: 9783734732508.
  2. Thom Frühwirth and Frank Raiser, editors. Constraint Handling Rules: Compilation, Execution, and Analysis. March 2011. ISBN: 978-3-83-911591-6. Keyword(s): implementation, complexity, optimizing compilation, parallelism, priorities.
  3. Thom Frühwirth. Constraint Handling Rules. CUP, August 2009. ISBN: 9780521877763. [WWW] Keyword(s): tutorial.
  4. Tom Schrijvers and Thom Frühwirth, editors. Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8]
  5. Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors. Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming. CUP, July 2005.
  6. C. Holzbaur and Th. Frühwirth, editors. Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence. Taylor & Francis, April 2000.

Thesis

  1. Edmund S.L. Lam. Parallel execution of Constraint Handling Rules -- Theory, Implementation and Application. PhD thesis, School of Computing, Department of Computing Science, National University of Singapore, 2011. Keyword(s): parallelism, implementation.
  2. Frank Raiser. Graph Transformation Systems in Constraint Handling Rules: Improved Methods for Program Analysis. PhD thesis, Ulm University, Germany, November 2010. [WWW] [PDF] Keyword(s): Graph Transformation Systems, related formalisms.
  3. Peter Van Weert. Extension and Optimising Compilation of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, May 2010. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, Java.
  4. Leslie De Koninck. Execution Control for Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): priorities, complexity, related formalisms.
  5. Mark Meister. Advances in Constraint Handling Rules. PhD thesis, Universität Ulm, Germany, 2008.
  6. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, complexity, computability.
  7. Paolo Tacchella. Constraint Handling Rules --- Compositional Semantics and Program Transformation. PhD thesis, deptcw, University of Bologna, Italy, March 2008. [WWW] [PDF] Keyword(s): semantics.
  8. Gregory J. Duck. Compilation of Constraint Handling Rules. PhD thesis, University of Melbourne, Australia, December 2005. Keyword(s): implementation, optimizing compilation.
  9. Tom Schrijvers. Analyses, optimizations and extensions of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, June 2005. [WWW] [PDF] [POSTSCRIPT] Keyword(s): implementation, optimizing compilation.
  10. Thom Frühwirth. A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitationsschrift, deptcw, LMU, Munchen, Germany, December 1997.

Articles in journal, book chapters

  1. Samer Abdallah. Automatic Differentiation using Constraint Handling Rules in Prolog. arXiv preprint arXiv:1706.00231, 2017.
  2. Henning Christiansen and Maja H Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, 29(1):57-95, 2017.
  3. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. Program verification using constraint handling rules and array constraint generalizations. Fundamenta Informaticae, 150(1):73-117, 2017.
  4. Alejandro Serrano and Jurriaan Hage. Constraint handling rules with binders, patterns and generic quantification. Theory and Practice of Logic Programming, 17(5-6):992-1009, 2017.
  5. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Visualization of Constraint Handling Rules: Semantics and Applications. arXiv preprint arXiv:1706.01755, 2017.
  6. Henning Christiansen and Maja H Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, pp 1-39, 2016.
  7. Daniel Gall and Thom Frühwirth. Translation of Cognitive Models from ACT-R to Constraint Handling Rules, pages 223-237. Springer International Publishing, 2016. [doi:10.1007/978-3-319-42019-6_15]
  8. Fabian Büttner and Jordi Cabot. Lightweight string reasoning in model finding. Software & Systems Modeling, 14(1):413-427, 2015. ISSN: 1619-1374. [WWW] [doi:10.1007/s10270-013-0332-x]
  9. Martin Sulzmann, Kai Stadtmüller, and Edmund S.L. Lam. Establishing a Correspondence between Transactional Events and Constraint Handling Rules. 2015. [PDF]
  10. Henning Christiansen and Maja H. Kirkeby. Confluence Modulo Equivalence in Constraint Handling Rules, pages 41-58. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_3]
  11. Alia El Bolock and Slim Abdennadher. Satisfying Poetry Properties Using Constraint Handling Rules, pages 335-347. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-18117-2. [WWW] [doi:10.1007/978-3-319-18117-2_25]
  12. Michael Hanus. CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry, pages 74-89. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19686-2. [WWW] [doi:10.1007/978-3-319-19686-2_6]
  13. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHRAnimation: An Animation Tool for Constraint Handling Rules, pages 92-110. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_6]
  14. Thom Frühwirth. Constraint Handling Rules-What Else?. In Rule Technologies: Foundations, Tools, and Applications, pages 13-34. Springer, 2015.
  15. Dragan Ivanovic. Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java. CoRR, abs/1308.3939, 2013. [PDF]
  16. Jacopo Mauro. Expressive power of Constraint Handling Rules extensions and fragments. Bulletin of EATCS, 3(111), 2013.
  17. Amira Zaki, Thom Frühwirth, and Slim Abdennadher. Towards Inverse Execution of Constraint Handling Rules. In Evelina Lamma and Terrance Swift, editors, Technical Communications of the 29th Intl. Conf. on Logic Programming, volume 13(4--5), Online Supplement of TPLP. CUP, August 2013. [PDF]
  18. Gregory J. Duck. SMCHR: Satisfiability Modulo Constraint Handling Rules. CoRR, abs/1210.5307, 2012.
  19. Rémy Haemmerlé. Diagrammatic Confluence for Constraint Handling Rules. TPLP, 12(4-5):737-753, September 2012. ISSN: 1471-0684. [WWW] [doi:10.1017/S1471068412000270] Keyword(s): confluence.
  20. Matje van de Camp and Henning Christiansen. Resolving relative time expressions in Dutch text with Constraint Handling Rules, pages 74-85. University of Orléans, 2012.
  21. János Csorba, Zsolt Zombori, and Péter Szeredi. Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language. CoRR, abs/1112.3784, 2011.
  22. Andrea Triossi. Hardware Execution of Constraint Handling Rules. PhD Thesis, 2011.
  23. Rémy Haemmerlé. (Co-)Inductive semantics for Constraint Handling Rules. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 593-609. CUP, July 2011. [doi:10.1017/S1471068411000196] Keyword(s): semantics, termination.
  24. Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 469-485. CUP, July 2011. [doi:10.1017/S1471068411000123] Keyword(s): linear logic, semantics, confluence, related formalisms.
  25. Frank Raiser and Thom Frühwirth. Analyzing Graph Transformation Systems through Constraint Handling Rules. TPLP, 2010. Note: To appear. Keyword(s): Graph Transformation Systems, related formalisms.
  26. Z. Shan, C. Jin-yi, and WAN Jun-peng. QSRM: An Implementation Method for Qualitative Spatial Reasoning with Constraint Handling Rules. Journal of Changshu Institute of Technology, pp 90-94, 2010.
  27. Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Leslie De Koninck. As Time Goes By: Constraint Handling Rules -- A Survey of CHR Research between 1998 and 2007. TPLP, 10(1):1-47, 2010. [PDF] [doi:10.1017/S1471068409990123] Keyword(s): survey.
  28. Hariolf Betz, Frank Raiser, and Thom Frühwirth. A Complete and Terminating Execution Model for Constraint Handling Rules. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 597-610. CUP, July 2010. [doi:10.1017/S147106841000030X] Keyword(s): semantics, termination.
  29. Henning Christiansen. Executable specifications for hypotheses-based reasoning with Prolog and Constraint Handling Rules. J. of Applied Logic, 7(3):341-362, September 2009. [doi:10.1016/j.jal.2008.10.004] Keyword(s): abduction.
  30. Leslie De Koninck. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. TPLP, 9(2):165-212, March 2009. [doi:10.1017/S1471068409003664] Keyword(s): priorities, related formalisms, complexity.
  31. Maurizio Gabbrielli and Maria Chiara Meo. A compositional semantics for CHR. TOCL, 10(2):1-36, February 2009. [doi:10.1145/1462179.1462183] Keyword(s): semantics.
  32. Edmund S.L. Lam and Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. TPLP, 11:841-879, 2009. [POSTSCRIPT] Keyword(s): parallelism.
  33. Jon Sneyers, Tom Schrijvers, and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. TOPLAS, 31(2), February 2009. [doi:10.1145/1462166.1462169] Keyword(s): complexity, computability.
  34. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. TPLP, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171]
  35. Tom Schrijvers, Bart Demoen, and David S. Warren. TCHR: a framework for tabled CLP. TPLP, 8(4):491-526, July 2008. [doi:10.1017/S147106840800327X] Keyword(s): implementation.
  36. Martin Sulzmann and Peter J. Stuckey. HM(X) Type Inference is CLP(X) Solving. Journal of Functional Programming, 18(2):251-283, 2008. [doi:10.1017/S0956796807006569] Keyword(s): type systems.
  37. Henning Christiansen. Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 85-118. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_5] Keyword(s): abduction, probabilistic CHR.
  38. Thom Frühwirth. Welcome to Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 1-15. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_1] Keyword(s): tutorial.
  39. Beata Sarna-Starosta, R. E. Kurt Stirewalt, and Laura K. Dillon. A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. Intl. Journal of Softw. Engin. and Knowl. Engin., 17(2):207-230, 2007. [doi:10.1142/S0218194007003197] Keyword(s): applications, testing.
  40. Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, and Peter J. Stuckey. Understanding functional dependencies via Constraint Handling Rules. J. Functional Prog., 17(1):83-129, 2007. [doi:10.1017/S0956796806006137] Keyword(s): type systems.
  41. Maryam Bavarian and Verónica Dahl. Constraint Based Methods for Biological Sequence Analysis. j-jucs, 12(11):1500-1520, 2006. [WWW] Keyword(s): applications.
  42. Tom Schrijvers and Thom Frühwirth. Optimal union-find in Constraint Handling Rules. TPLP, 6(1--2):213-224, 2006. ISSN: 1471-0684. [doi:10.1017/S1471068405002541] Keyword(s): algorithms.
  43. Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike. Converting Constraint Handling Rules to Equivalent Transformation Rules. JACIII, 10(3):339-348, 2006. Keyword(s): related formalisms.
  44. Christian Holzbaur, Marìa Garcìa de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming, pages 503-531. CUP, July 2005. [doi:10.1017/S1471068405002413] Keyword(s): implementation, optimizing compilation.
  45. Armin Wolf. Intelligent search strategies based on adaptive Constraint Handling Rules. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming, pages 567-594. CUP, July 2005. [doi:10.1017/S1471068405002383]
  46. Stefano Bistarelli, Thom Frühwirth, Michael Marte, and Francesca Rossi. Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence: Special Issue on Preferences in AI and CP, 20(2):287-307, May 2004.
  47. Marìa Teresa Escrig and Francisco Toledo. Autonomous robot navigation using human spatial concepts. Intl. Journal on Intelligent Systems, 15(3):165-196, February 2000.
  48. Slim Abdennadher and Michael Marte. University Course Timetabling Using Constraint Handling Rules.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 311-325. Taylor & Francis, April 2000. [doi:10.1080/088395100117016]
  49. Christian Holzbaur and Thom Frühwirth. A Prolog Constraint Handling Rules Compiler and Runtime System.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 369-388. Taylor & Francis, April 2000. [doi:10.1080/088395100117043] Keyword(s): implementation.
  50. Thom Frühwirth. Theory and Practice of Constraint Handling Rules. J. Logic Programming, Special Issue on Constraint Logic Programming, 37(1--3):95-138, 1998. [POSTSCRIPT] [doi:10.1016/S0743-1066(98)10005-5] Keyword(s): survey.
  51. Thom Frühwirth and Philipp Hanschke. Terminological Reasoning with Constraint Handling Rules. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, chapter 19. MIT Press, 1995.

Conference articles

  1. Thom Frühwirth. Implementation of Logical Retraction in Constraint Handling Rules with Justifications. In 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2017), 2017.
  2. Rafael Caballero, Yolanda Garcìa-Ruiz, and Fernando Sáenz-Pérez. Debugging of wrong and missing answers for datalog programs with constraint handling rules. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pages 55-66, 2015. ACM.
  3. Daniel Gall and Thom Frühwirth. An adaptable implementation of ACT-R with refraction in Constraint Handling Rules. In Proceedings of the 13th International Conference on Cognitive Modeling, pages 61-66, 2015.
  4. N. Sharaf, S. Abdennadher, and T. Frühwirth. DiagrammaticCHR: A Diagrammatic Representation of CHR Programs. In 2015 19th International Conference on Information Visualisation, pages 121-126, July 2015. ISSN: 1550-6037. [doi:10.1109/iV.2015.31] Keyword(s): constraint handling, program visualisation, visual languages, CHR program diagrammatic representation, DiagrammaticCHR, animation, constraint handling rules, general purpose language, visualization features, Animation, Color, Joining processes, Semantics, Solids, Syntactics, Visualization, Constraint Handling Rules, Program Animation, Visual Language.
  5. Gregory James Duck. Satisfiability modulo constraint handling rules. In IJCAI, 2013.
  6. Edmund S.L. Lam and Iliano Cervesato. Decentralized Execution of Constraint Handling Rules for Ensembles. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, pages 205-216, 2013. ACM.
  7. Amira Zaki, Matthias Rau, and Thom Frühwirth. CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 53-60, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): debugging, CHR 2013, CHR 2013.
  8. Alia El Bolock, Amira Zaki, and Thom Frühwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 41-50, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, algorithms, CHR 2012, CHR 2012.
  9. Ruoyu Chen, Lejian Liao, and Zhi Fang. Contracting of Web Services with Constraint Handling Rules. In SERVICES, pages 211-218, 2012. IEEE. ISBN: 978-1-4673-3053-4. [doi:10.1109/SERVICES.2012.36]
  10. Henning Christiansen. An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 1-15, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012.
  11. János Csorba, Zsolt Zombori, and Péter Szeredi. Pros and Cons of Using CHR for Type Inference. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 16-31, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): type systems, CHR 2012, CHR 2012.
  12. Amira Zaki, Thom Frühwirth, and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 82-90, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): parallelism, implementation, CHR 2012, CHR 2012.
  13. Henning Christiansen and Amr Hany Saleh. Modeling Dependent Events with CHRiSM for Probabilistic Abduction. In Jon Sneyers, editor, CHR11l, pages 48-63, September 2011. GUC, Technical report. [PDF] Keyword(s): abduction, probabilistic CHR, CHRiSM, CHR 2011, CHR 2011.
  14. Marcel Dausend and Frank Raiser. Model Transformation using Constraint Handling Rules as a basis for Model Interpretation. In Jon Sneyers, editor, CHR11l, pages 64-78, September 2011. GUC, Technical report. [PDF] Keyword(s): applications, CHR 2011, CHR 2011.
  15. R. Haemmerlé, P. Lopez-Garcia, and M.V. Hermenegildo. CLP Projection for Constraint Handling Rules. In Michael Hanus, editor, PPDP11l, pages 137-148, July 2011. ACM. [doi:10.1145/2003476.2003496] Keyword(s): semantics, related formalisms, termination, confluence.
  16. Andrea Triossi. Boosting CHR through Hardware Acceleration. In Jon Sneyers, editor, CHR11l, pages 1-3, September 2011. GUC, Technical report. Note: Invited talk. [PDF] Keyword(s): implementation, parallelism, CHR 2011, CHR 2011.
  17. Slim Abdennadher, Haythem Ismail, and Frederick Khoury. Transforming Imperative Algorithms to Constraint Handling Rules. In A. Wolf and U. Geske, editors, WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW]
  18. Hariolf Betz, Frank Raiser, and Thom Frühwirth. Persistent Constraints in Constraint Handling Rules. In A. Wolf and U. Geske, editors, WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW] Keyword(s): parallelism, semantics.
  19. Henning Christiansen, Christian Theil Have, Ole Torp Lassen, and Matthieu Petit. The Viterbi Algorithm expressed in Constraint Handling Rules. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, CHR 2010, CHR 2010.
  20. Yisong Liu, Zhihua Yin, Huijuan Zhu, and Lili Wang. Handling Negative Disjunction Constraints (or_not_holds) in FLUX. In ICCAE 2010: 2nd Intl. Conf. Computer and Automation Engineering, pages 514-518, February 2010. IEEE. [doi:10.1109/ICCAE.2010.5451264] Keyword(s): FLUX, applications.
  21. Ahmed Magdy, Frank Raiser, and Thom Frühwirth. Implementing Dynamic Programming Recurrences in Constraint Handling Rules with Rule Priorities. In Slim Abdennadher, editor, WLP10l, September 2010. [WWW] Keyword(s): priorities.
  22. Thierry Martinez. Semantics-preserving translations between Linear Concurrent Constraint Programming and Constraint Handling Rules. In M. Fernández, editor, PPDP10l, pages 57-66, July 2010. ACM. [doi:10.1145/1836089.1836097] Keyword(s): semantics, related formalisms, linear logic.
  23. Paolo Pilozzi, Tom Schrijvers, and Maurice Bruynooghe. A transformational approach for proving properties of the CHR constraint store. In Danny De Schreye, editor, LOPSTR09l, volume 6037 of LNCS, pages 22-36, 2010. SV. [doi:10.1007/978-3-642-12592-8_3] Keyword(s): termination.
  24. Peter Van Weert. Join Ordering for Constraint Handling Rules: Putting Theory into Practice. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, implementation, optimizing compilation, CHR 2010, CHR 2010.
  25. Marcos Aurélio de Almeida Silva and Jacques Robin. Extending CHR with objects under a variety of inheritance and world-closure assumptions. In F. Raiser and J. Sneyers, editors, CHR09l, pages 3-17, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, extensions, CHR 2009, CHR 2009.
  26. Leslie De Koninck. Execution control for Constraint Handling Rules -- PhD Summary. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 479-483, July 2009. SV. [doi:10.1007/978-3-642-02846-5_38] Keyword(s): priorities.
  27. Cinzia Di Giusto, Maurizio Gabbrielli, and Maria Chiara Meo. Expressiveness of Multiple Heads in CHR. In SOFSEM '09: Proc. 35th Conf. Current Trends in Theory and Practice of Comp. Science, LNCS, pages 205-216, 2009. SV. [doi:10.1007/978-3-540-95891-8_21] Keyword(s): expressivity.
  28. Maurizio Gabbrielli, Maria Chiara Meo, and Jacopo Mauro. On the expressive power of priorities in CHR. In F.J. López-Fraguas, editor, PPDP09l, pages 267-276, September 2009. ACM. [doi:10.1145/1599410.1599443] Keyword(s): expressivity, priorities.
  29. Frank Raiser. Research Summary: Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 540-541, July 2009. SV. [doi:10.1007/978-3-642-02846-5_54] Keyword(s): Graph Transformation Systems, related formalisms.
  30. Frank Raiser and Thom Frühwirth. Operational Equivalence of Graph Transformation Systems. In F. Raiser and J. Sneyers, editors, CHR09l, pages 49-61, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, Graph Transformation Systems, related formalisms, CHR 2009, CHR 2009.
  31. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules -- Ph.D. thesis summary. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 494-498, July 2009. SV. [doi:10.1007/978-3-642-02846-5_41] Keyword(s): implementation, optimizing compilation, complexity, computability.
  32. Slim Abdennadher and Shehab Fawzy. JCHRIDE: An Integrated Development Environment for JCHR. In Sibylle Schwarz, editor, WLP '08: Proc. 22nd Workshop on (Constraint) Logic Programming, Dresden, Germany, pages 1-6, September 2008. University Halle-Wittenberg, Institute of Computer Science, Technical report 2008/08. Keyword(s): Java.
  33. François Fages, Cleyton Mário de Oliveira Rodrigues, and Thierry Martinez. Modular CHR with phask and phtell. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 95-110, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, CHR 2008, CHR 2008.
  34. Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integrating Abduction and Constraint Optimization in Constraint Handling Rules. In ECAI 2008: 18th European Conf. on Artif. Intell., pages 903-904, July 2008. IOS press. [doi:10.3233/978-1-58603-891-5-903] Keyword(s): abduction.
  35. Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 67-78, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, linear logic, verification, CHR 2008, CHR 2008.
  36. Edmund S.L. Lam and Martin Sulzmann. Finally, A Comparison Between Constraint Handling Rules and Join-Calculus. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 51-66, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  37. Frank Raiser and Thom Frühwirth. Towards Term Rewriting Systems in Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 19-34, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): related formalisms, CHR 2008, CHR 2008, CHR 2008.
  38. Beata Sarna-Starosta and Tom Schrijvers. Transformation-based Indexing Techniques for Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 3-18, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): implementation, optimizing compilation, CHR 2008, CHR 2008, CHR 2008.
  39. Beata Sarna-Starosta, David Zook, Emir Pasalic, and Molham Aref. Relating Constraint Handling Rules to Datalog. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 127-142, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  40. Anders Schack-Nielsen and Carsten Schürmann. The CHR-Celf Connection. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 1-2, 2008. RISC Report Series 08-10, University of Linz, Austria. Note: Invited Talk. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  41. Tom Schrijvers. Constraint Handling Rules --- A Tutorial for (Prolog) Programmers. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 9-10, December 2008. SV. [doi:10.1007/978-3-540-89982-2_3] Keyword(s): tutorial.
  42. Tom Schrijvers and Martin Sulzmann. Transactions in Constraint Handling Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 516-530, December 2008. SV. [doi:10.1007/978-3-540-89982-2_44] Keyword(s): parallelism.
  43. Jon Sneyers and Thom Frühwirth. Generalized CHR Machines. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 143-158, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, complexity, CHR 2008, CHR 2008.
  44. Martin Sulzmann and Duc Hiep Chu. A Rule-Based Specification of Software Transactional Memory. In M. Hanus, editor, LOPSTR08prel, 2008. [WWW] [PDF] Keyword(s): parallelism.
  45. Martin Sulzmann, Edmund S.L. Lam, and Peter Van Weert. Actors with Multi-Headed Message Receive Patterns. In D. Lea and G. Zavattaro, editors, COORDINATION '08: Proc. 10th Intl. Conf. Coordination Models and Languages, number 5052 of LNCS, pages 315-330, May 2008. SV. [doi:10.1007/978-3-540-68265-3_20] Keyword(s): parallelism.
  46. Peter Van Weert. A Tale of Histories. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 79-94, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, implementation, optimizing compilation, CHR 2008, CHR 2008.
  47. Peter Van Weert. Optimization of CHR Propagation Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 485-500, December 2008. SV. [doi:10.1007/978-3-540-89982-2_42] Keyword(s): implementation, optimizing compilation.
  48. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of CHR. In M. Hanus, editor, LOPSTR08prel, 2008. [WWW] [PDF] Keyword(s): termination.
  49. Hariolf Betz. Relating Coloured Petri Nets to Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 33-47, September 2007. [PDF] Keyword(s): CHR 2007, related formalisms, CHR 2007, CHR 2007.
  50. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007.
  51. Leslie De Koninck and Jon Sneyers. Join Ordering for Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 107-121, September 2007. [PDF] Keyword(s): optimizing compilation, CHR 2007, CHR 2007, CHR 2007.
  52. Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 224-239, September 2007. SV. [doi:10.1007/978-3-540-74610-2_16] Keyword(s): confluence.
  53. Thom Frühwirth. Description Logic and Rules the CHR Way. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 49-61, September 2007. Note: Extended Abstract. [PDF] Keyword(s): related formalisms, CHR 2007, CHR 2007, CHR 2007.
  54. Rémy Haemmerlé and François Fages. Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. In RTA '07: Proc. 18th Intl. Conf. Term Rewriting and Applications, volume 4533 of LNCS, June 2007. SV. [doi:10.1007/978-3-540-73449-9_17] Keyword(s): confluence.
  55. Edmund S.L. Lam and Martin Sulzmann. A Concurrent Constraint Handling Rules Semantics and its Implementation with Software Transactional Memory. In DAMP '07: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, January 2007. ACM. [WWW] Keyword(s): parallelism.
  56. Marc Meister. Concurrency of the preflow-push algorithm in Constraint Handling Rules. In CSCLP'07: Proc. 12th Intl. Workshop on Constraint Solving and Constraint Logic Programming, pages 160-169, 2007. Keyword(s): algorithms, parallelism.
  57. Marc Meister, Khalil Djelloul, and Jacques Robin. A Unified Semantics for Constraint Handling Rules in Transaction Logic. In C. Baral, G. Brewka, and J. S. Schlipf, editors, LPNMR '07: Proc. 9th Intl. Conf. Logic Programming and Nonmonotonic Reasoning, volume 4483 of LNCS, pages 201-213, May 2007. SV. [doi:10.1007/978-3-540-72200-7_18] Keyword(s): semantics.
  58. Beata Sarna-Starosta and C.R. Ramakrishnan. Compiling Constraint Handling Rules for Efficient Tabled Evaluation. In M. Hanus, editor, PADL '07: Proc. 9th Intl. Symp. Practical Aspects of Declarative Languages, volume 4354 of LNCS, pages 170-184, January 2007. SV. [doi:10.1007/978-3-540-69611-7_11] Keyword(s): implementation.
  59. Jon Sneyers, Peter Van Weert, and Tom Schrijvers. Aggregates for Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 91-105, September 2007. [PDF] Keyword(s): CHR 2007, extensions, CHR 2007, CHR 2007.
  60. Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Bart Demoen. Aggregates in Constraint Handling Rules: Extended Abstract. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 446-448, September 2007. SV. [doi:10.1007/978-3-540-74610-2_39] Keyword(s): extensions.
  61. Martin Sulzmann and Edmund S.L. Lam. Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 139-149, September 2007. [PDF] Keyword(s): CHR 2007, parallelism, CHR 2007, CHR 2007.
  62. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 77-89, September 2007. [PDF] Keyword(s): CHR 2007, termination, CHR 2007, CHR 2007.
  63. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^{\lor}$: An Extended Refined Operational Semantics for CHR$^{\lor}$ Based On Justifications. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 1-15, September 2007. [PDF] Keyword(s): semantics, disjunction, CHR 2007, CHR 2007, CHR 2007.
  64. Dulce Aguilar-Solis. Learning Semantic Parsers: A Constraint Handling Rule Approach. In S. Etalle and M. Truszczynski, editors, ICLP06l, volume 4079 of LNCS, pages 447-448, August 2006. SV. Note: Poster Paper. [doi:10.1007/11799573_42] Keyword(s): applications, linguistics.
  65. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Search strategies in CHR(Prolog). In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 109-124, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, disjunction, CHR 2006, CHR 2006.
  66. Gregory J. Duck, Peter J. Stuckey, and Sebastian Brand. ACD Term Rewriting. In S. Etalle and M. Truszczynski, editors, ICLP06l, volume 4079 of LNCS, pages 117-131, August 2006. SV. [doi:10.1007/11799573_11] Keyword(s): related formalisms.
  67. Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 61-76, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, confluence, CHR 2006, CHR 2006.
  68. Thom Frühwirth. Constraint Handling Rules: the story so far. In A. Bossi and M.J. Maher, editors, PPDP06l, pages 13-14, July 2006. ACM. ISBN: 1-59593-388-3. Keyword(s): tutorial.
  69. Michael Hanus. Adding Constraint Handling Rules to Curry. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 81-90, February 2006. Keyword(s): implementation.
  70. Martin Kaeser and Marc Meister. Implementation of an F-Logic Kernel in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 33-47, July 2006. KULCW, Technical report CW 452. [PDF] Keyword(s): CHR 2006, CHR 2006, CHR 2006.
  71. Edmund S.L. Lam and Martin Sulzmann. Towards Agent Programming in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 17-31, July 2006. KULCW, Technical report CW 452. [PDF] Keyword(s): linear logic, CHR 2006, CHR 2006, CHR 2006.
  72. Marc Meister and Thom Frühwirth. Complexity of the CHR Rational Tree Equation Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 77-91, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, complexity, algorithms, CHR 2006, CHR 2006.
  73. Tom Schrijvers, Neng-Fa Zhou, and Bart Demoen. Translating Constraint Handling Rules into Action Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 141-155, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, implementation, related formalisms, CHR 2006, CHR 2006.
  74. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Memory reuse for CHR. In S. Etalle and M. Truszczynski, editors, ICLP06l, volume 4079 of LNCS, pages 72-86, August 2006. SV. [doi:10.1007/11799573_8] Keyword(s): implementation, optimizing compilation.
  75. Kazunori Ueda, Norio Kato, Koji Hara, and Ken Mizuno. LMNtal as a Unifying Declarative Language. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 1-15, July 2006. KULCW, Technical report CW 452. Note: Invited talk. [PDF] Keyword(s): related formalisms, CHR 2006, CHR 2006, CHR 2006.
  76. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules. In CP05, volume 3709 of LNCS, pages 137-151, October 2005. SV. Keyword(s): semantics, linear logic.
  77. Henning Christiansen. Experiences and directions for Abduction and Induction using Constraint Handling Rules. In AIAI '05: Proc. Intl. Workshop on the Integration of Abduction and Induction in Artificial Intelligence, July 2005. Note: Position Paper. Keyword(s): abduction.
  78. Henning Christiansen. Reasoning about passive declarations in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 93-108, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, optimizing compilation, CHR 2005, CHR 2005.
  79. Emmanuel Coquery and François Fages. A Type System for CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 19-33, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, type systems, CHR 2005, CHR 2005.
  80. Gregory J. Duck and Tom Schrijvers. Accurate Functional Dependency Analysis for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 109-124, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, implementation, optimizing compilation, CHR 2005, CHR 2005.
  81. Thom Frühwirth. Logical Rules for a Lexicographic Order Constraint Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 79-91, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, CHR 2005, CHR 2005.
  82. Thom Frühwirth. Parallelizing Union-Find in Constraint Handling Rules Using Confluence. In M. Gabbrielli and G. Gupta, editors, ICLP05l, volume 3668 of LNCS, pages 113-127, October 2005. SV. Keyword(s): confluence, algorithms, parallelism.
  83. Luis Menezes, Jairson Vitorino, and Marcos Aurelio. A High Performance CHR${}^\lor$ Execution Engine. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 35-45, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, implementation, disjunction, CHR 2005, CHR 2005.
  84. Tom Schrijvers, Peter J. Stuckey, and Gregory J. Duck. Abstract interpretation for Constraint Handling Rules. In P. Barahona and A.P. Felty, editors, PPDP05l, pages 218-229, July 2005. ACM. ISBN: 1-59593-090-6. Keyword(s): optimizing compilation.
  85. Tom Schrijvers, Jan Wielemaker, and Bart Demoen. Poster: Constraint Handling Rules for SWI-Prolog. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of UIB, February 2005. [WWW]
  86. Jon Sneyers, Tom Schrijvers, and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 3-17, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, computability, complexity, CHR 2005, CHR 2005.
  87. Martin Sulzmann. Chameleon: Systematic Type System Design via Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 1, 2005. KULCW, Technical report CW 421. Note: Invited talk. Keyword(s): type systems, CHR 2005, CHR 2005.
  88. Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. Constraint Abduction and Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 63-78, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, abduction, CHR 2005, CHR 2005.
  89. Peter Van Weert, Tom Schrijvers, and Bart Demoen. K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 47-62, 2005. KULCW, Technical report CW 421. [WWW] [PDF] Keyword(s): CHR 2005, Java, implementation, CHR 2005, CHR 2005.
  90. Dulce Aguilar-Solis and Verónica Dahl. Coordination Revisited -- A Constraint Handling Rule Approach. In IBERAMIA '04: Proc. 9th Ibero-American Conf. on AI, volume 3315 of LNCS, pages 315-324, November 2004. Keyword(s): applications.
  91. Gregory J. Duck, Peter J. Stuckey, Marìa Garcìa de la Banda, and Christian Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 90-104, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): semantics, implementation.
  92. Tom Schrijvers and David S. Warren. Constraint Handling Rules and tabled execution. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 120-136, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation.
  93. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. The Chameleon System. In Th. Frühwirth and M. Meister, editors, CHR04l, pages 13-32, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, type systems, CHR 2004, CHR 2004.
  94. Gregory J. Duck, Peter J. Stuckey, Marìa Garcìa de la Banda, and Christian Holzbaur. Extending arbitrary solvers with Constraint Handling Rules. In PPDP03, pages 79-90, 2003. ACM. ISBN: 1-58113-705-2. Keyword(s): implementation.
  95. Sandra Alves and Mario Florido. Type Inference using Constraint Handling Rules. In M. Hanus, editor, WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of ENTCS, pages 56-72, November 2002. Elsevier. Keyword(s): type systems.
  96. Liviu Badea and Doina Tilivea. Intelligent Information Integration as a Constraint Handling Problem. In FQAS '02: Proc. 5th Intl. Conf. on Flexible Query Answer Systems, volume 2522 of LNCS, October 2002. SV. [doi:10.1007/3-540-36109-X_2]
  97. Aykut Firat, Stuart Madnick, and Benjamin Grosof. Financial information integration in the presence of equational ontological conflicts. In Proc. 12th Workshop Information Technologies and Systems, 2002.
  98. Thom Frühwirth, Alessandra Di Pierro, and Herbert Wiklicky. Probabilistic Constraint Handling Rules. In M. Comini and M. Falaschi, editors, WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 76 of ENTCS, June 2002. Elsevier. Keyword(s): probabilistic CHR, extensions.
  99. Christian Seitz, Bernhard Bauer, and Michael Berger. Planning and Scheduling in Multi Agent Systems using Constraint Handling Rules. In IC-AI '02: Proc. Intl. Conf. Artificial Intelligence, June 2002. CSREA Press.
  100. Slim Abdennadher and Matthias Saft. A visualization tool for Constraint Handling Rules. In A. Kusalik, editor, WLPE01, December 2001.
  101. Armin Wolf. Adaptive Constraint Handling with CHR in Java. In T. Walsh, editor, CP01, volume 2239 of LNCS, pages 256-270, 2001. SV. ISBN: 3-540-42863-1. Keyword(s): Java, extensions.
  102. Gerald Penn. Applying Constraint Handling Rules to HPSG. In T. Frühwirth and others, editors, RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000.
  103. Armin Wolf. Projection in Adaptive Constraint Handling. In K.R. Apt, A.C. Kakas, E. Monfroy, and F. Rossi, editors, New Trends in Constraints, Joint ERCIM/Compulog Net Workshop, October 1999, Selected papers, volume 1865 of LNCS, pages 318-338, 2000. SV. ISBN: 3-540-67885-9.
  104. Christian Holzbaur and Thom Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In G. Nadathur, editor, PPDP99, volume 1702 of LNCS, pages 117-133, 1999. SV. Keyword(s): implementation.
  105. Slim Abdennadher and Thom Frühwirth. On Completion of Constraint Handling Rules. In M. J. Maher and J.-F. Puget, editors, CP98l, volume 1520 of LNCS, pages 25-39, October 1998. SV. ISBN: 3-540-65224-8. Keyword(s): program generation.
  106. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. On confluence of Constraint Handling Rules. In CP '96: Proc. Second Intl. Conf. Principles and Practice of Constraint Programming, volume 1118 of LNCS, pages 1-15, August 1996. SV. [doi:10.1007/3-540-61551-2_62] Keyword(s): confluence.
  107. Thom Frühwirth. Constraint Handling Rules. In A. Podelski, editor, Constraint Programming: Basic and Trends --- Selected Papers of the 22nd Spring School in Theoretical Computer Sciences, May 16--20, 1994, volume 910 of LNCS, pages 90-107, 1995. SV. ISBN: 3-540-59155-9. Keyword(s): tutorial.

Internal reports

  1. Alejandro Serrano and Jurriaan Hage. From Attribute Grammars to Constraint Handling Rules. Technical report, Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, 2016. ISSN: 0924-3275. [PDF]
  2. Hariolf Betz, Frank Raiser, and Thom Frühwirth. A complete and terminating execution model for Constraint Handling Rules. Ulmer Informatik Berichte 2010-01, Ulm University, Germany, January 2010. [WWW] Keyword(s): semantics, termination.
  3. Pierre Deransart and Rafael Oliveira. Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning. Technical report 7165, INRIA, Paris -- Rocquenfourt, December 2010. [WWW] Keyword(s): applications.
  4. Paolo Pilozzi and Danny De Schreye. Scaling termination proofs by a characterization of cycles in CHR. Technical report CW 541, KULCW, Leuven, Belgium, April 2009. [WWW] Keyword(s): termination .
  5. Peter Van Weert. Compiling Constraint Handling Rules to Java: A Reconstruction. Technical report CW 521, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): Java.
  6. Peter Van Weert. Optimization of CHR Propagation Rules: Extended report. Technical report CW 519, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): implementation, optimizing compilation.
  7. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of CHR. Technical report CW 506, KULCW, Leuven, Belgium, January 2008. [WWW] Keyword(s): termination.
  8. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. CHR$^\mathrm{rp}$: Constraint Handling Rules with rule priorties. Technical report CW 479, KULCW, Leuven, Belgium, March 2007. [WWW] Keyword(s): priorities.
  9. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. The Correspondence Between the Logical Algorithms Language and CHR. Technical report CW 480, KULCW, Leuven, Belgium, March 2007. [WWW] Keyword(s): related formalisms, priorities.
  10. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimized compilation of CHR$^\mathrm{rp}$. Technical report CW 499, KULCW, Leuven, Belgium, August 2007. [WWW] Keyword(s): implementation, optimizing compilation, priorities.
  11. Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. Technical report CW 487, KULCW, Leuven, Belgium, April 2007. [WWW] Keyword(s): termination.
  12. Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Bart Demoen. Aggregates in CHR. Technical report CW 481, KULCW, Leuven, Belgium, March 2007. [WWW] Keyword(s): extensions.
  13. Tom Schrijvers and Bart Demoen. Antimonotony-based Delay Avoidance for CHR. Technical report CW 385, KULCW, Leuven, Belgium, July 2004. [WWW] Keyword(s): implementation, optimizing compilation.
  14. Christian Holzbaur and Thom Frühwirth. Constraint Handling Rules reference manual, Release 2.2. Technical report TR-98-01, Österreichisches Forschungsinstitut für Artificial Intelligence, Wien, 1998.
  15. Thom Frühwirth and Pascal Brisset. High-Level Implementations of Constraint Handling Rules. Technical report ECRC-95-20, European Computer-Industry Research Centre, Munchen, Germany, 1995.
  16. Thom Frühwirth. Temporal Reasoning with Constraint Handling Rules. Technical report ECRC-94-5, European Computer-Industry Research Centre, Munchen, Germany, 1994.

Miscellaneous

  1. Falco Nogatz. CHR.js: Compiling Constraint Handling Rules to JavaScript. Master's thesis, University of Ulm, 2015. [PDF]
  2. T.W.D. Jongstra. Inequality Reasoning for Qualitative Models using Constraint Handling Rules. Bachelor thesis, University of Amsterdam, December 2011.
  3. Eric Monfroy. Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009, 2010. Note: Book review (to appear in Theory and Practice of Logic Programming). [doi:10.1017/S1471068410000074]
  4. Marcos Aurélio de Almeida Silva. Constraint Handling Object-oriented Rules with Disjunction (CHORD). Master's thesis, Federal University of Pernambuco, Recife, Brazil, February 2009. [WWW] Keyword(s): disjunction, search.
  5. Cleyton Mário de Oliveira Rodrigues. Components and Theorem Proving with Constraint Handling Rules. Master's thesis, Federal University of Pernambuco, Recife, Brazil, 2009.
  6. Mathias Wasserthal. An extensible platform for the analysis of graph transformation systems using Constraint Handling Rules. Diploma thesis, Ulm University, February 2009. Keyword(s): Graph Transformation Systems, related formalisms.
  7. Ersha Rahimikia. Detecting non-termination in Constraint Handling Rules. Master's thesis, Dept. Computing and Software, McMaster University, 2007. Keyword(s): termination, termination.
  8. Atze Dijkstra, Gerrit van den Geest, Bastiaan Heeren, and S. Doaitse Swierstra. Modelling Scoped Instances with Constraint Handling Rules. Note: Rejected by ICFP '07, 2007.
  9. Maryam Bavarian. Design and analysis of biological sequences using Constraint Handling Rules. Master's thesis, Simon Fraser University, Burnaby, Canada, 2006. [WWW] Keyword(s): applications.
  10. Wei-Ngan Chin, Martin Sulzmann, and Meng Wang. A Type-Safe Embedding of Constraint Handling Rules into Haskell. Honors Thesis, School of Computing, National University of Singapore, 2003. Keyword(s): type systems, implementation.

BACK TO INDEX