Operator-based semantics for logic programs

Dr. Pascal Hitzler

Lecture (2/0/0), WS 2004/2005

Held at the Department of Computer Science, Dresden University of Technology

The question how knowledge can be represented by means of logic programs with negation has been a driving force for the field of non-monotonic reasoning. Implemented systems, known as answer set programming systems, have emerged recently and are currently being used in various application domains like the semantic web.

Intuitively, logic programs are being used for encoding commonsense resoning, in particular the phenomenon that human reasoning tends to "jump to conclusions" under incomplete knowledge. Formally, this kind of reaoning is described by interpreting the first-order syntax of logic programs in a more sophisticated way. This, in turn, is most easily done by means of fixed points of semantic operators.

The study of different semantic operators and their relationships gives rise to a rich theory. In this lecture, we will undertake a thorough formal study of these issues as a foundation for the study of advanced topics in theoretical or applied non-mononotonic reasoning. Particular emphasis will be on basic paradigms and on the supported, Kripke-Kleene, stable, and well-founded semantics for logic programs and their rich relationships.


Passed exam in ICL and FLCP.


By oral exam. The contents of the exam include the exercises.
Exams will be 20 minutes each and take place on February 11th, 2005 between 14:00 and 17:00 hrs.
If you want to take the exam, you must send me an email with your name, Semester and Matrikelnummer before February 3rd 2005!

Module for CL Master Programme

KRAI, TCSL, advanced unit.

Organization and Dates

The following is a preliminary planning.
We meet on Fridays, 16:00 to 19:20 hrs, on the following dates:
October 22nd, 2004
November 5th, 2004
November 12th, 2004
December 10th, 2004
January 7th, 2005
January 21st, 2005
January 28th, 2005
February 4th, 2005 (16:00 to 17:30 hrs only)
February 11th, 2005 Exams between 13:00 and 16:00 hrs. The exact times will be announced in the lecure on February 4th.

Lecture material

Manuscript with exercises (pdf) (final version)

From Student to Student (inofficial material)

Eight queens program: solution 1 solution 2 (by Matthias Knorr)


dlv Answer Set Programming System


Just send me an email under hitzler [at] aifb [dot] uni-karlsruhe [dot] de.

Back to my home page.