1. Henning Christiansen and Jon Sneyers, editors. CHR '13: Proc. 10th Workshop on Constraint Handling Rules, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): CHR 2013. [bibtex-entry]



2. T. Andreasen, H. Christiansen, and H.L. Larsen, editors. FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of Lecture Notes in Artificial Intelligence, May 1998. Springer-Verlag. [bibtex-entry]

1. 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. [bibtex-entry]



2. 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. [bibtex-entry]



3. 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 Lecture Notes in Artificial Intelligence, pages 85-118. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_5] Keyword(s): abduction, probabilistic CHR. [bibtex-entry]



4. 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. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002395] Keyword(s): applications, linguistics. [bibtex-entry]



5. 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. [bibtex-entry]



6. 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] [bibtex-entry]

1. Henning Christiansen. An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 1-15, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



2. Henning Christiansen and Amr Hany Saleh. Modeling Dependent Events with CHRiSM for Probabilistic Abduction. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 48-63, September 2011. GUC, Technical report. [PDF] Keyword(s): abduction, probabilistic CHR, CHRiSM, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]



3. 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, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]



4. Henning Christiansen. Prioritized Abduction with CHR. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, 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. [Abstract] [bibtex-entry]



5. 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. [bibtex-entry]



6. 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 Lecture Notes in Computer Science, pages 226-245, May 2006. Springer-Verlag. Keyword(s): abduction. [bibtex-entry]



7. 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. [bibtex-entry]



8. Henning Christiansen. Reasoning about passive declarations in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 93-108, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, optimizing compilation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]



9. Henning Christiansen and Verónica Dahl. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. In M. Gabbrielli and G. Gupta, editors, ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, pages 159-173, October 2005. Springer-Verlag. Keyword(s): abduction. [bibtex-entry]



10. 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 Lecture Notes in Artificial Intelligence, pages 97-111, 2005. Springer-Verlag. [bibtex-entry]



11. Henning Christiansen. CHR Grammars with multiple constraint stores. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 1-7, May 2004. [PDF] Keyword(s): CHR 2004, linguistics, applications, CHR 2004, CHR 2004. [bibtex-entry]



12. 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. Springer-Verlag. Keyword(s): abduction. [bibtex-entry]

1. Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011. [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html