Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Reasoning and language processing with Constraint Handling Rules
Reasoning and language processing with Constraint Handling Rules
Expect last moment changes and updates
A PhD course in the FIRST Research school arranged by
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
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!