Reasoning and language processing with Constraint Handling Rules

Expect last moment changes and updates

A PhD course in the FIRST Research school arranged by

Henning Christiansen
Research group PLIS: Programming, Logic and Intelligent Systems
Department of Communication, Business and Information Technologies
Roskilde University, Denmark

Co-teacher:

Jon Sneyers
Dept. Computer Science
K.U.Leuven, Belgium

Dates and other practical information

November 12, 2010: Part I, Logic programming in Prolog
November 24-26, 2010: Part II: Introduction CHR, its semantics and applications + III: Abductive reasoning and language processing with CHR

For registration, location etc., look here.

Reading

Official curriculum (preliminary list)

Henning Christiansen: Artificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence. Roskilde University, 2006. Course note; available as pfd here.
Chapters 1-3, 5, 7-9.
Henning Christiansen: Artificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence. Addendum: Definite Clause Grammars Roskilde University, 2010.
Available here.
Papers:
- Slim Abdennadher, Henning Christiansen: An Experimental CLP Platform for Integrity Constraints and Abduction. Proc. FQAS2000, pp. 141--152, Advances in Soft Computing series, Springer, 2000. pdf
- Henning Christiansen, Teaching computer languages and elementary theory for mixed audiences at university level. Computer Science Education Journal, Volume 14, Number 3, September 2004. pp. 205-234. Available here.
- Henning Christiansen, Veronica Dahl: HYPROLOG: A New Logic Programming Language with Assumptions and Abduction, Proc. International Conference on Logic Programming, ICLP'05, pp. 159-173, 2005. Lecture Notes in Computer Science 3668. pdf
- Henning Christiansen: CHR grammars. International Journal on Theory and Practice of Logic Programming, vol. 4+5, special issue on Constraint Handling Rules, pp. 467-501, 2005. pdf
- Henning Christiansen: Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules, Constraint Handling Rules, Current Research Topics. T. Schrijvers, T. Frühwirth (eds.). Lecture Notes in Artificial Intelligence 5388, Springer 2008. pp. 85-118. pdf
- Henning Christiansen: Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules, Journal of Applied Logic, vol 7, 2009. pp. 341-362. pdf
Thom Frühwirth: Constraint Handling Rules, Cambridge University Press, ISBN 9780521877763, 2009:
Chapters 1-3; perhaps chapters 4-5.

Complementary and additional reading

Any good book on Prolog programming, e.g., the following that are also available online:

Patrick Blackburn, Johan Bos, and Kristina Striegnitz: Learn Prolog Now!
Ulf Nilsson and Jan Maluszynski: Logic, Programming and Prolog (2ed)

Easier (perhaps) accessible introduction to Prolog and CHR for NLP:
Henning Christiansen: Logic Programming for Linguistics: A short introduction to Prolog, and Logic Grammars with Constraints as an easy way to Syntax and Semantics, (2010).

Slides, exercises, source texts . . .

To appear.