The course runs on Tuesdays, 9.30-12.00 and 13.00-15.30, Room 43-2.43;
First course day 6-sep-2005.
Study council's official description of the course.
However, due to late re-assignment of teacher, the description does not exactly match the actual course given.
... which will be revised during the course. Reading, exercises, references, slides, etc., will be made available as pdf or html.
[HC1] Henning Christiansen: Introduction to Prolog as a database language, RUC, 2003
Available as pdf
[HC2] Henning Christiansen: A short introduction to CHR and its
application for rule-based expert systems, RUC, 2005
Available as pdf. NB: New edition added 12-sep-2005, 16:35.
Source files: leq, expert0, my_kb0, my_kb1.
[HC3] Henning Christiansen:
Abductive reasoning in Prolog and CHR, RUC, 2005
Available as pdf
Source files: wetGrass, db, diagnosisPeriodic, diagnosisConsistent.
[HC4] Henning Christiansen:
Examples and exercises for conditional probabilities
and Bayesian reasoning,
Available as pdf
[HC-VD1] Henning Christiansen and Veronica Dahl,
Meaning in Context, In:
the Fourth International and Interdisciplinary Conference
on Modeling and Using Context, Paris, France, 5-8 July 2005.
Dey, A., Kokinov, B., Leake, D., Turner, R. (eds.),
Lecture Notes in Artificial Intelligence 3554.
[HC-VD2] Henning Christiansen and Veronica Dahl,
HYPROLOG: A New Logic Programming
Language with Assumptions and Abduction, In:
International Conference on Logic Programming, ICLP'05,
M. Gabbrielli and G. Gupta (Eds.), pp. 159-173, 2005.
Lecture Notes in Computer Science 3668.
[AT] Alan Turing: Computing machinery and intelligence, 1950
Available at http://links.jstor.org/...
[WLRZA] K.S. Wai, A. Latif, B.A. Rahman, H.F. Zaiyadi, A.A. Aziz: Expert System in Real World Applications. online paper
[BNW] Peter Bauer, Stephan Nouak, Roman Winkler: A brief course in Fuzzy Logic and Fuzzy Control . Web pages, 1996. (NB: Status of this link unclear)
John R. Koza, Martin A. Keane, Matthew J. Streeter:
Scientific American, Feb 2003, Vol. 288, Issue 2 (pp. unknown).
online when you search via http://www.rub.ruc.dk (works only from RUC or VPN to RUC).
More to come...
[BBS] Patrick Blackburn, Johan Bos and Kristina Striegnitz:
Learn Prolog Now!
A popular online introduction to Prolog (including DCG).
Available at http://www.coli.uni-saarland.de/~kris/learn-prolog-now/.
Also available as one pdf document.
[NM] Ulf Nilsson and Jan Maluszynski:
Logic, Programming and Prolog (2ed)
A good and rather formal introduction to the subject (notice the important comma in the title).
Available at http://www.ida.liu.se/~ulfni/lpp/.
[RAK] Robert A. Kowalski:
Logic for Problem Solving.
The classic and most influential book from 1979. Still worth reading.
Available electronically at the author's homepage.
Fernando C. N. Pereira, Stuart M. Shieber:
Prolog and Natural-Language Analysis.
A modern classic recommended for those who want to learn more about Prolog and language analysis (anno 1987!). NOT COMPULSORY READING. Available electronically.
[CHR1] Manual for CHR; section of the above; try
Everything worth knowing about CHR: CHR web
[DCG] Manual for DCG; section of the above; try
NB: Ignore the strange section title and everything about term_expansion and companions. Be aware that the examples are very misleading (but not incorrect). Text is indicated as strings in double quotes, e.g. "text"; strings in Prolog are weird: a quoted text is considered an abbreviation for a list (in the strict Prolog sense), so "text" is just a convenient way of writing [116,101,120,116] (sic!).
[SWI] SWI Prolog includes also CHR and is free. It is available for a variety of platforms, but it has the peculiarity that it does not print out the final constraint store. (Link provided by Pawel Pruszkowski)