Publications

about 'CHR'

Books and proceedings

  1. Henning Christiansen and Jon Sneyers, editors. CHR13l, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): CHR 2013.
  2. Jon Sneyers and Thom Frühwirth, editors. CHR12l, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): CHR 2012.
  3. Jon Sneyers, editor. CHR11l, September 2011. GUC, Technical report. [PDF] Keyword(s): CHR 2011.
  4. P. Van Weert and L. De Koninck, editors. CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010.
  5. F. Raiser and J. Sneyers, editors. CHR09l, July 2009. KULCW, Technical report CW 555. Keyword(s): CHR 2009.
  6. T. Schrijvers, F. Raiser, and T. Frühwirth, editors. CHR08l, 2008. RISC Report Series 08-10, University of Linz, Austria. Keyword(s): CHR 2008.
  7. K. Djelloul, G. J. Duck, and M. Sulzmann, editors. CHR07l, September 2007. Keyword(s): CHR 2007.
  8. T. Schrijvers and Th. Frühwirth, editors. CHR06l, July 2006. KULCW, Technical report CW 452. Keyword(s): CHR 2006.
  9. T. Schrijvers and Th. Frühwirth, editors. CHR05l, 2005. KULCW, Technical report CW 421. Keyword(s): CHR 2005.
  10. Th. Frühwirth and M. Meister, editors. CHR04l, May 2004. Keyword(s): CHR 2004.

Thesis

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Paolo Tacchella. Constraint Handling Rules --- Compositional Semantics and Program Transformation. PhD thesis, deptcw, University of Bologna, Italy, March 2008. [WWW] [PDF] Keyword(s): semantics.

Articles in journal, book chapters

  1. Henning Christiansen and Maja H. Kirkeby. Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. pp 112-130, 2019.
  2. Allan Blanchard, Nikolai Kosmatov, and Frédéric Loulergue. MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models. Computer Languages, Systems & Structures, 53:121-142, 2018.
  3. Thomas F. Gordon, Horst Friedrich, and Douglas Walton. Representing argumentation schemes with Constraint Handling Rules (CHR). Argument & Computation, 9(2):91-119, 2018.
  4. Ahmed Elsawy, Amira Zaki, and Slim Abdennadher. Exhaustive Execution of CHR Through Source-to-Source Transformation, pages 59-73. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_4]
  5. 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]
  6. 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]
  7. Gregory J. Duck, Rémy Haemmerlé, and Martin Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. Theory and Practice of Logic Programming, 14:619-632, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000246]
  8. Falco Nogatz and Thom Frühwirth. From XML Schema to JSON Schema: Translation with CHR. Proceedings of the 11th International Workshop on Constraint Handling Rules, 2014. [WWW]
  9. Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. Fundam. Inform., 124(4):365-381, 2013.
  10. Maurizio Gabbrielli, Jacopo Mauro, and Maria Chiara Meo. The expressive power of CHR with priorities. Inf. Comput., 228:62-82, 2013.
  11. Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, and Herbert Wiklicky. Unfolding for CHR programs. TPLP, 2013. Note: To appear. [PDF]
  12. Jon Sneyers, Danny De Schreye, and Thom Frühwirth. Probabilistic legal reasoning in CHRiSM. In Evelina Lamma and Terrance Swift, editors, ICLP13l, volume 13(4--5) of TPLP, pages 769-781. CUP, August 2013. [PDF]
  13. 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.
  14. 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.
  15. 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.
  16. Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, and Jon Sneyers. Decidability properties for fragments of CHR. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 611-626. CUP, July 2010. [doi:10.1017/S1471068410000311] Keyword(s): computability.
  17. Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, and Taisuke Sato. CHR(PRISM)-based Probabilistic Logic Learning. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 433-447. CUP, July 2010. [doi:10.1017/S1471068410000207] Keyword(s): probabilistic CHR, CHRiSM, extensions.
  18. 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.
  19. 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.
  20. Edmund S.L. Lam and Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. TPLP, 11:841-879, 2009. [POSTSCRIPT] Keyword(s): parallelism.
  21. 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]
  22. 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.
  23. 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.
  24. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. A Flexible Search Framework for CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 16-47. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_2] Keyword(s): disjunction, search.
  25. Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A Compositional Semantics for CHR with Propagation Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 119-160. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_6] Keyword(s): semantics.
  26. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 213-244. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_8] Keyword(s): implementation, optimizing compilation.
  27. Peter Van Weert, Pieter Wuille, Tom Schrijvers, and Bart Demoen. CHR for Imperative Host Languages. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 161-212. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_7] Keyword(s): implementation, Java.
  28. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^\vee$: An Extended Refined Operational Semantics for CHR$^\vee$ Based on Justifications. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 48-69. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_3] Keyword(s): disjunction, search, semantics.
  29. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1):1-13, March 2007.
  30. Maryam Bavarian and Verónica Dahl. Constraint Based Methods for Biological Sequence Analysis. j-jucs, 12(11):1500-1520, 2006. [WWW] Keyword(s): applications.
  31. Slim Abdennadher and Christophe Rigotti. Automatic generation of CHR constraint solvers. 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 403-418. CUP, July 2005. [doi:10.1017/S1471068405002371] Keyword(s): program generation.
  32. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano. A CHR-based implementation of known arc-consistency. 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 419-440. CUP, July 2005. [doi:10.1017/S147106840500236X]
  33. Henning Christiansen. CHR grammars. 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 467-501. CUP, July 2005. [doi:10.1017/S1471068405002395] Keyword(s): applications, linguistics.
  34. Christian Holzbaur and Thom Frühwirth. Selected recent project descriptions involving CHR. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 417-420. Taylor & Francis, April 2000. [doi:10.1080/088395100117061]
  35. Armin Wolf, Thomas Gruenhagen, and Ulrich Geske. On Incremental Adaptation of CHR Derivations. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 389-416. Taylor & Francis, April 2000. [doi:10.1080/088395100117052]
  36. Marìa Teresa Escrig and Francisco Toledo. A Framework Based on CLP Extended with CHRs for Reasoning with Qualitative Orientation and Positional Information. J. Visual Languages and Computing, 9(1):81-101, 1998.

Conference articles

  1. Igor Stéphan. First-order ASP programs as CHR programs. In SAC '21: Proc. 36th ACM Symp. Applied Computing, pages 881-888, 2021.
  2. Henning Christiansen and Maja H. Kirkeby. Confluence of CHR Revisited: Invariants and Modulo Equivalence. In Logic-Based Program Synthesis and Transformation, pages 94-111, 2019. Springer. ISBN: 978-3-030-13838-7.
  3. Falco Nogatz, Thom Frühwirth, and Dietmar Seipel. CHR.js: A CHR Implementation in JavaScript. In Rules and Reasoning, volume 11092, pages 131-146, 2018. Springer.
  4. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR vis: Syntax and Semantics. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
  5. Igor Stéphan. A New Proof-Theoretical Linear Semantics for CHR. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
  6. Osvaldo Luiz De Oliveira and Ricardo José Martins. Computational Modeling of Abductive Reasoning: an experimental study employing the CHR language in an educational context. In IEEE Frontiers in Education Conference (FIE), pages 1-8, 2017. IEEE. [doi:10.1109/FIE.2017.8190684]
  7. Vincent Nys and Danny De Schreye. Transforming Coroutining Logic Programs into Equivalent CHR Programs. In Fifth International Workshop on Verification and Program Transformation (VPT 2017), April 2017.
  8. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR-Graph: A Platform for Animating Tree and Graph Algorithms. In 21st International Conference Information Visualisation, IV, pages 11-14, July 2017.
  9. Blanchard Allan, Nikolai Kosmatov, and Frédéric Loulergue. A CHR-Based Solver for Weak Memory Behaviors. In 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA), 2016.
  10. Francesco Santini. Argument-based constraint logic-programming in satisfiability modulo CHR. In 12th International Workshop on Argumentation in Multi-Agent Systems. Informal Proceedings, 2015. [PDF]
  11. Maged Shalaby, Slim Abdennadher, Nada Sharaf, and Ghada Fakhry. Learning Instance-Level Constraints in Folksonomies for Semi-supervised Clustering using CHR. In 29nd Workshop on (Constraint) Logic Programming (WLP 2015), pages 79-88, 2015. [PDF]
  12. 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.
  13. Rémy Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, PPDP '14, New York, NY, USA, pages 213-224, 2014. ACM. ISBN: 978-1-4503-2947-7. [WWW] [doi:10.1145/2643135.2643144] Keyword(s): CHR, CLP, backward & forward chaining, confluence.
  14. Slim Abdennadher, Ghada Fakhry, and Nada Sharaf. Implementation of the Operational Semantics for CHR with User-defined Rule Priorities. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 1-12, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): implementation, priorities, CHR 2013, CHR 2013.
  15. Slim Abdennadher, Ghada Fakhry, and Nada Sharaf. Towards The Implementation of Source-to-Source Transformation Tool for CHR Operational Semantics. In Gopal Gupta, editor, LOPSTR13prel, 2013.
  16. Verónica Dahl, Sinan Egilmez, Joao Martins, and Emilio Miralles. On Failure-Driven Constraint-Based Parsing through CHRG. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 13-24, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): linguistics, CHR 2013, CHR 2013.
  17. Amr Osman, Amira Zaki, and Slim Abdennadher. CHR Meets MapReduce. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 25-38, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): applications, CHR 2013, CHR 2013.
  18. Nada Sharaf, Injy Hamed, and Slim Abdennadher. Tagging Reasoning System using CHR. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 61-69, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): applications, CHR 2013, CHR 2013.
  19. Jon Sneyers, Daniel De Schreye, and Thom Frühwirth. CHRiSM and Probabilistic Argumentation Logic. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 39-52, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): CHRiSM, applications, CHR 2013, CHR 2013.
  20. 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.
  21. Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 109-118, 2012. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.109]
  22. 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.
  23. 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.
  24. 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.
  25. Verónica Dahl, Bradley Coleman, J. Emilio Miralles, and Erez Maharshak. CHR for Social Responsibility. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 370-380, 2012. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.370]
  26. Verónica Dahl and Juan Emilio Miralles. Womb Grammars: Constraint Solving for Grammar Induction. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 32-40, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): linguistics, CHR 2012, CHR 2012.
  27. Verónica Dahl, Emilio Miralles, and Leonor Becerra-Bonache. On Language Acquisition through Womb Grammars. In Proceedings of the 7th International Workshop on Constraint Solving and Language Processing, France, pages 99-105, 2012. [WWW] [PDF]
  28. Rémy Haemmerlé. Coinductive Proof over Streams as CHR Confluence Proofs. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 51-65, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): confluence, CHR 2012, CHR 2012.
  29. Ester Martìnez-Martin, M. Teresa Escrig, and Angel P. Del Pobil. Qualitative Velocity Model: Representation, Reasoning and Application. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 66-81, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012.
  30. Colin Nicholson and Danny De Schreye. Relevancy analysis as a basis for improved tabling in CHRiSM. In Elvira Albert, editor, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation,, pages 100-114, September 2012. [WWW]
  31. Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, and Thom Frühwirth. Compiling CHR to parallel hardware. In Proceedings of the 14th symposium on Principles and Practice of declarative programming, pages 173-184, 2012. ACM.
  32. 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.
  33. Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. In Proc. 26th CILC: 26-esimo Convegno Italiano di Logica Computazionale, August-September 2011.
  34. 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.
  35. Verónica Dahl. CHR for Spoken and other Biological Languages. In Jon Sneyers, editor, CHR11l, pages 4-18, September 2011. GUC, Technical report. Note: Invited talk. [PDF] Keyword(s): abduction, linguistics, applications, CHR 2011, CHR 2011.
  36. 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.
  37. Armando Gonçalves, Marcos Aurélio Almeida da Silva, Pierre Deransart, and Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning. In Jon Sneyers, editor, CHR11l, pages 32-47, September 2011. GUC, Technical report. [PDF] Keyword(s): debugging, CHR 2011, CHR 2011.
  38. 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.
  39. Thierry Martinez. Angelic CHR. In Jon Sneyers, editor, CHR11l, pages 19-31, September 2011. GUC, Technical report. [PDF] Keyword(s): semantics, CHR 2011, CHR 2011.
  40. Paolo Pilozzi and Danny De Schreye. Improved termination analysis of CHR using self-sustainability analysis. In German Vidal, editor, LOPSTR11l, LNCS, 2011. Keyword(s): termination.
  41. Jon Sneyers and Danny De Schreye. Probabilistic Termination of CHRiSM Programs. In German Vidal, editor, LOPSTR11prel, 2011. Keyword(s): termination, CHRiSM, probabilistic CHR.
  42. 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.
  43. 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.
  44. Florian Geiselhart, Frank Raiser, Jon Sneyers, and Thom Frühwirth. MTSeq -- Multi-touch-enabled music generation and manipulation based on CHR. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, CHRiSM, applications, CHR 2010, CHR 2010.
  45. Ralf Gerlich. Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, testing, CHR 2010, CHR 2010.
  46. Johannes Langbein, Frank Raiser, and Thom Frühwirth. A State Equivalence and Confluence Checker for CHR. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): confluence, semantics, CHR 2010, CHR 2010, CHR 2010.
  47. 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.
  48. 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.
  49. Paolo Pilozzi and Danny De Schreye. Scaling termination proofs by a characterization of cycles in CHR. In Peter Schneider-Kamp, editor, 11th International Workshop on Termination, Edinburgh, United Kingdom, July 2010. Keyword(s): termination.
  50. 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.
  51. Jon Sneyers. Result-directed CHR Execution. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, CHRiSM, probabilistic CHR, CHR 2010, CHR 2010.
  52. Jon Sneyers and Danny De Schreye. APOPCALEAPS: Automatic Music Generation with CHRiSM. In G. Danoy and others, editors, 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010), Luxembourg, October 2010. Keyword(s): CHRiSM, applications.
  53. 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.
  54. 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.
  55. François Degrave, Tom Schrijvers, and Wim Vanhoof. Automatic generation of test inputs for Mercury. In M. Hanus, editor, LOPSTR08l, volume 5438 of LNCS, 2009. SV. [doi:10.1007/978-3-642-00515-2] Keyword(s): applications, testing.
  56. 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.
  57. Thom Frühwirth. First steps towards a lingua franca for computer science: Rule-based Approaches in CHR. In F. Raiser and J. Sneyers, editors, CHR09l, pages 1, July 2009. KULCW, Technical report CW 555. Note: Invited talk. [PDF] Keyword(s): CHR 2009, related formalisms, CHR 2009, CHR 2009.
  58. 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.
  59. Thierry Martinez. On connections between CHR and LCC. In F. Raiser and J. Sneyers, editors, CHR09l, pages 18-32, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, linear logic, related formalisms, CHR 2009, CHR 2009.
  60. Paolo Pilozzi. Automating termination proofs for CHR. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 504-508, July 2009. SV. [doi:10.1007/978-3-642-02846-5_43] Keyword(s): termination.
  61. Paolo Pilozzi. Research Summary: Termination of CHR. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 534-535, July 2009. SV. [doi:10.1007/978-3-642-02846-5_51] Keyword(s): termination.
  62. Frank Raiser, Hariolf Betz, and Thom Frühwirth. Equivalence of CHR States Revisited. In F. Raiser and J. Sneyers, editors, CHR09l, pages 33-48, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, semantics, CHR 2009, CHR 2009.
  63. 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.
  64. Frank Raiser and Thom Frühwirth. Strong joinability analysis for graph transformation systems in CHR. In TERMGRAPH '09: Proc. 5th Intl. Workshop on Computing with Terms and Graphs, pages 97-112, March 2009. Keyword(s): Graph Transformation Systems, related formalisms.
  65. Beata Sarna-Starosta and Tom Schrijvers. Attributed Data for CHR Indexing. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 357-371, July 2009. SV. [doi:10.1007/978-3-642-02846-5_30] Keyword(s): implementation, optimizing compilation.
  66. Jon Sneyers, Wannes Meert, and Joost Vennekens. CHRiSM: Chance Rules induce Statistical Models. In F. Raiser and J. Sneyers, editors, CHR09l, pages 62-76, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, probabilistic CHR, CHRiSM, extensions , CHR 2009, CHR 2009.
  67. Peter Van Weert, Leslie De Koninck, and Jon Sneyers. A Proposal for a Next Generation of CHR. In F. Raiser and J. Sneyers, editors, CHR09l, pages 77-93, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, semantics, priorities, extensions, CHR 2009, CHR 2009.
  68. 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.
  69. Marcos Aurélio, François Fages, and Jacques Robin. Default Reasoning in CHR$^\vee$. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 111-126, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, disjunction, CHR 2008, CHR 2008.
  70. Henning Christiansen. Prioritized Abduction with CHR. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 159-173, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, abduction, priorities, probabilistic CHR, CHR 2008, CHR 2008.
  71. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of CHR with rule priorities. In J. Garrigue and M. Hermenegildo, editors, Proc. 9th Intl. Symp. Functional and Logic Programming, volume 4989 of LNCS, pages 32-47, April 2008. SV. Keyword(s): priorities, optimizing compilation.
  72. 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.
  73. Thom Frühwirth. Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. In Recent Advances in Constraints --- CSCLP '07: 12th ERCIM Intl. Workshop on Constraint Solving and Constraint Logic Programming, Revised Selected Papers, pages 91-118, November 2008. [doi:10.1007/978-3-540-89812-2_7] Keyword(s): algorithms.
  74. 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.
  75. 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.
  76. Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR Revisited. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 501-515, December 2008. SV. [doi:10.1007/978-3-540-89982-2_43] Keyword(s): termination.
  77. Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR revisited. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 35-50, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, termination, CHR 2008, CHR 2008.
  78. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. In Peter J. Stuckey, editor, CP08l, volume 5202 of LNCS, pages 588-592, September 2008. SV. [doi:10.1007/978-3-540-85958-1_47] Keyword(s): program generation.
  79. 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.
  80. Beata Sarna-Starosta and Tom Schrijvers. An efficient term representation for CHR indexing. In M. Carro and B. Demoen, editors, CICLOPS '08: Proc. 8th Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 172-186, 2008. Keyword(s): implementation, optimizing compilation.
  81. 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.
  82. 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.
  83. 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.
  84. 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.
  85. Jon Sneyers. Turing-complete Subclasses of CHR. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 759-763, December 2008. SV. [doi:10.1007/978-3-540-89982-2_72] Keyword(s): computability.
  86. 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.
  87. 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.
  88. 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.
  89. 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.
  90. Peter Van Weert, Jon Sneyers, and Bart Demoen. Aggregates for CHR through Program Transformation. In A. King, editor, LOPSTR07l, volume 4915 of LNCS, pages 59-73, 2008. [doi:10.1007/978-3-540-78769-3_5] Keyword(s): extensions.
  91. 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.
  92. 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.
  93. 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.
  94. Verónica Dahl and Baohua Gu. A CHRG Analysis of ambiguity in Biological Texts. In CSLP '07: Proc. 4th Intl. Workshop on Constraints and Language Processing, August 2007. Note: Extended Abstract. Keyword(s): linguistics, applications.
  95. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. The Correspondence Between the Logical Algorithms Language and CHR. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 209-223, September 2007. SV. [doi:10.1007/978-3-540-74610-2_15] Keyword(s): related formalisms.
  96. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. User-definable Rule Priorities for CHR. In M. Leuschel and A. Podelski, editors, PPDP07l, pages 25-36, July 2007. ACM. ISBN: 978-1-59593-769-8. [doi:10.1145/1273920.1273924] Keyword(s): priorities.
  97. 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.
  98. Khalil Djelloul, Thi-Bich-Hanh Dao, and Thom Frühwirth. Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. In SAC '07: Proc. 22nd ACM Symp. Applied Computing, pages 58-64, 2007. ACM. ISBN: 1-59593-480-4.
  99. 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.
  100. 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.
  101. Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. In WST '07: 9th Intl. Workshop on Termination, June 2007. Keyword(s): termination.
  102. Frank Raiser. Graph Transformation Systems in CHR. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 240-254, September 2007. SV. [doi:10.1007/978-3-540-74610-2_17] Keyword(s): Graph Transformation Systems, related formalisms.
  103. Frank Raiser and Paolo Tacchella. On Confluence of Non-terminating CHR Programs. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 63-76, September 2007. [PDF] Keyword(s): CHR 2007, confluence, CHR 2007, CHR 2007.
  104. 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.
  105. 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.
  106. Paolo Tacchella, Maurizio Gabbrielli, and Maria Chiara Meo. Unfolding in CHR. In M. Leuschel and A. Podelski, editors, PPDP07l, pages 179-186, July 2007. ACM. ISBN: 978-1-59593-769-8.
  107. 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.
  108. 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.
  109. Pieter Wuille, Tom Schrijvers, and Bart Demoen. CCHR: the fastest CHR Implementation, in C. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 123-137, September 2007. [WWW] [PDF] Keyword(s): CHR 2007, implementation, CHR 2007, CHR 2007.
  110. Verónica Dahl and Baohua Gu. Semantic Property Grammars for Knowledge Extraction from Biomedical Text. In S. Etalle and M. Truszczynski, editors, ICLP06l, volume 4079 of LNCS, pages 442-443, August 2006. SV. Note: Poster Paper. [doi:10.1007/11799573_40] Keyword(s): applications, linguistics.
  111. 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.
  112. 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.
  113. Thom Frühwirth. Deriving Linear-Time Algorithms from Union-Find in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 49-60, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, algorithms, CHR 2006, CHR 2006.
  114. Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A compositional Semantics for CHR with propagation rules. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 93-107, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, semantics, CHR 2006, CHR 2006.
  115. Sandrine-Dominique Gouraud and Arnaud Gotlieb. Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. In P. Van Hentenryck, editor, PADL '06: Proc. 8th Intl. Symp. Practical Aspects of Declarative Languages, volume 3819 of LNCS, pages 1-15, January 2006. SV. [doi:10.1007/11603023_1] Keyword(s): applications, testing.
  116. 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.
  117. 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.
  118. Marc Meister. Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. 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 172-181, February 2006. Keyword(s): algorithms, parallelism.
  119. Marc Meister, Khalil Djelloul, and Thom Frühwirth. Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. In F. Azevedo and others, editors, CSCLP '06: Proc. 11th Annual ERCIM Workshop on Constraint Solving and Constraint Programming, volume 4651 of LNCS, pages 139-153, June 2006. SV. ISBN: 978-3-540-73816-9. [doi:10.1007/978-3-540-73817-6_9] Keyword(s): complexity, algorithms.
  120. 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.
  121. Jacques Robin and Jairson Vitorino. ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. 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 192-199, February 2006.
  122. Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, and Thom Frühwirth. Automatic implication checking for CHR constraints. In RULE '05: 6th Intl. Workshop on Rule-Based Programming, volume 147(1) of ENTCS, pages 93-111, January 2006. Elsevier.
  123. 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.
  124. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. 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 182-191, February 2006. Keyword(s): algorithms.
  125. 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.
  126. 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.
  127. Peter Van Weert, Jon Sneyers, Tom Schrijvers, and Bart Demoen. Extending CHR with Negation as Absence. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 125-140, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, extensions, CHR 2006, CHR 2006.
  128. Marco Alberti, Federico Chesani, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. 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, pages 111-122, February 2005. [WWW]
  129. 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.
  130. 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.
  131. Giorgio Delzanno, Maurizio Gabbrielli, and Maria Chiara Meo. A compositional semantics for CHR. In P. Barahona and A.P. Felty, editors, PPDP05l, pages 209-217, July 2005. ACM. ISBN: 1-59593-090-6. Keyword(s): semantics.
  132. 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.
  133. 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.
  134. 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.
  135. Tom Schrijvers and Thom Frühwirth. Analysing the CHR Implementation of Union-Find. 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, pages 135-146, February 2005. [WWW] Keyword(s): algorithms, complexity.
  136. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard and Continuation Optimization for Occurrence Representations of CHR. In M. Gabbrielli and G. Gupta, editors, ICLP05l, volume 3668 of LNCS, pages 83-97, October 2005. SV. Keyword(s): implementation, optimizing compilation.
  137. 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.
  138. 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.
  139. 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.
  140. 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.
  141. Henning Christiansen. CHR Grammars with multiple constraint stores. In Th. Frühwirth and M. Meister, editors, CHR04l, pages 1-7, May 2004. [PDF] Keyword(s): CHR 2004, linguistics, applications, CHR 2004, CHR 2004.
  142. Verónica Dahl. An Abductive Treatment of Long Distance Dependencies in CHR. In CSLP '04: Proc. First Intl. Workshop on Constraint Solving and Language Processing, volume 3438 of LNCS, pages 17-31, 2004. SV. Note: Invited Paper. Keyword(s): abduction.
  143. Tom Schrijvers. JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 475-476, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): applications.
  144. Tom Schrijvers and Bart Demoen. The K.U.Leuven CHR system: Implementation and application. In Th. Frühwirth and M. Meister, editors, CHR04l, pages 8-12, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, implementation, CHR 2004, CHR 2004.
  145. 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.
  146. Tom Schrijvers, David S. Warren, and Bart Demoen. CHR for XSB. In R. Lopes and M. Ferreira, editors, CICLOPS '03: Proc. 3rd Intl. Colloq. on Implementation of Constraint and Logic Programming Systems, University of Porto, Portugal, deptcw, Technical report DCC-2003-05, pages 7-20, December 2003. Keyword(s): implementation.
  147. 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.
  148. Michael Thielscher. Reasoning About Actions with CHRs and Finite Domain Constraints. In P. J. Stuckey, editor, ICLP02l, volume 2401 of LNCS, pages 70-84, jul/aug 2002. SV.
  149. 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.
  150. Georg Ringwelski and Hans Schlenker. Type Inference in CHR Programs for the Composition of Constraint Systems. In S. Abdennadher, U. Geske, and D. Seipel, editors, WLP '00: Proc. 15th Workshop on Logic Programming, pages 137-146, August 2000. Keyword(s): type systems.
  151. Georg Ringwelski and Hans Schlenker. Using typed interfaces to compose CHR programs. In T. Frühwirth and others, editors, RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000.
  152. Slim Abdennadher and Thom Frühwirth. Operational Equivalence of CHR Programs and Constraints. In J. Jaffar, editor, CP99l, volume 1713 of LNCS, pages 43-57, October 1999. SV. ISBN: 3-540-66626-5. Keyword(s): semantics.
  153. Slim Abdennadher and Heribert Schütz. CHR$^\vee$, A Flexible Query Language. In T. Andreasen, H. Christiansen, and H.L. Larsen, editors, FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of LNAI, pages 1-14, May 1998. SV. Keyword(s): disjunction.
  154. 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.

Internal reports

  1. 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.
  2. 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 .
  3. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. Ulmer Informatik Berichte 2008-03, Ulm University, Germany, February 2008. [WWW] Keyword(s): program generation.
  4. Peter Van Weert. Compiling Constraint Handling Rules to Java: A Reconstruction. Technical report CW 521, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): Java.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Beata Sarna-Starosta and Tom Schrijvers. Indexing techniques for CHR based on program transformation. Technical report CW 500, KULCW, Leuven, Belgium, August 2007. [WWW] Keyword(s): implementation, optimizing compilation.
  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. Peter Van Weert, Jon Sneyers, Tom Schrijvers, and Bart Demoen. To $\mathrm{CHR}^{\mbox{\large$\!\!\lnot$}}$ or not to $\mathrm{CHR}^{\mbox{\large$\!\!\lnot$}}$: Extending CHR with Negation as Absence. Technical report CW 446, KULCW, Leuven, Belgium, May 2006. [WWW] Keyword(s): extensions.
  14. 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.
  15. Martin Sulzmann. TIE: A CHR-based Type Inference Engine. Technical report TR2001/27, University of Melbourne, deptcw, 2001. Keyword(s): type systems.

Miscellaneous

  1. Falco Nogatz. CHR.js: Compiling Constraint Handling Rules to JavaScript. Master's thesis, University of Ulm, 2015. [PDF]
  2. Rafael Caballero, Yolanda Garcia-Ruiz, and Fernando Saenz-Perez. Debugging Datalog Programs Through CHRs, 2012.
  3. Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011.
  4. Olivier Bouissou. A CHR library for SiLCC. Diplomarbeit, Technical University of Berlin, Germany, January 2005.
  5. Hariolf Betz. A linear logic semantics for CHR. Diplomarbeit, University of Ulm, Germany, October 2004. [POSTSCRIPT] Keyword(s): semantics, linear logic.
  6. Thomas Hecksher, Sune T.B. Nielsen, and Alexis Pigeon. A CHRG model of the ancient Egyptian grammar. Note: Unpublished student project report, Roskilde University, Denmark, December 2002. Keyword(s): applications, linguistics.
  7. Frank Morawietz and Philippe Blache. Parsing Natural Languages with CHR. Note: Unpublished Draft, 2002. Keyword(s): applications, linguistics.
  8. Matthias Schmauss. An Implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, November 1999. Keyword(s): implementation, Java.
  9. M. Bjareland. Proving consistency in K-IA chronicles---An implemention of PMON. Master's thesis, Dept. of Information and Comp. Science, Linkoepings Universitet, 1996.

BACK TO INDEX