of Henning Christiansen

Books and proceedings

  1. Philippe Blache, Henning Christiansen, and Verónica Dahl. Constraints and Language. Cambridge Scholars Publishing, 2014.
  2. Henning Christiansen and Jon Sneyers, editors. CHR13l, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): CHR 2013.
  3. T. Andreasen, H. Christiansen, and H.L. Larsen, editors. FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of LNAI, May 1998. SV.

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. Maja H. Kirkeby and Henning Christiansen. Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. International Journal of Approximate Reasoning, 105:217-228, 2019.
  3. Henning Christiansen and Maja H. Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, 29(1):57-95, 2017.
  4. Maja H. Kirkeby and Henning Christiansen. Confluence and Convergence in Probabilistically Terminating Reduction Systems. arXiv preprint arXiv:1709.05123, 2017.
  5. 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]
  6. Henning Christiansen. Constraint Logic Programming for Resolution of Relative Time Expressions, pages 93-102. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-08019-2. [WWW] [doi:10.1007/978-3-319-08019-2_10]
  7. Henning Christiansen. Constraint Programming for Context Comprehension, pages 401-418. Springer New York, New York, NY, 2014. ISBN: 978-1-4939-1887-4. [WWW] [doi:10.1007/978-1-4939-1887-4_25]
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. Henning Christiansen and Verónica Dahl. Logic Grammars for Diagnosis and Repair. Intl. J. Artificial Intelligence Tools, 12(3):227-248, 2003. Keyword(s): applications, abduction.
  13. Henning Christiansen and Davide Martinenghi. Symbolic constraints for meta-logic programming. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 345-367. Taylor & Francis, April 2000. [doi:10.1080/088395100117034]

Conference articles

  1. 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.
  2. Leonor Becerra-Bonache, Henning Christiansen, and M. Dolores Jiménez-López. A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model. In Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing, pages 1-9, 2018.
  3. Henning Christiansen and Maja H. Kirkeby. Confluence in Constraint Handling Rules: A retrospective overview. In 7th International Workshop on Confluence, 2018.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. Henning Christiansen and Christian Theil Have. From Use Cases to UML Class Diagrams using Logic Grammars and Constraints. In RANLP '07: Proc. Intl. Conf. Recent Adv. Nat. Lang. Processing, pages 128-132, September 2007. Keyword(s): applications, linguistics.
  9. Henning Christiansen. On the Implementation of Global Abduction. In Katsumi Inoue, Ken Satoh, and Francesca Toni, editors, CLIMA '06: 7th Intl. Workshop on Computational Logic in Multi-Agent Systems -- Revised, Selected and Invited Papers, volume 4371 of LNCS, pages 226-245, May 2006. SV. Keyword(s): abduction.
  10. 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.
  11. 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.
  12. Henning Christiansen and Verónica Dahl. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. In M. Gabbrielli and G. Gupta, editors, ICLP05l, volume 3668 of LNCS, pages 159-173, October 2005. SV. Keyword(s): abduction.
  13. Henning Christiansen and Verónica Dahl. Meaning in Context. In A. Dey, B. Kokinov, and R. Turner, editors, CONTEXT '05: Proc. 4th Intl. and Interdisciplinary Conf. Modeling and Using Context, volume 3554 of LNAI, pages 97-111, 2005. SV.
  14. 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.
  15. Slim Abdennadher and Henning Christiansen. An Experimental CLP Platform for Integrity Constraints and Abduction. In FQAS '00: Proc. 4th Intl. Conf. Flexible Query Answering Systems, pages 141-152, October 2000. SV. Keyword(s): abduction.


  1. Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011.