The lecture on Non-monotonic reasoning covers chapters on

• Introduction and preliminaries
• Default Logic
• Autoepistemic Logic
• Cirumscription
• Nonmonotonic inference relations and
• Belief Revision

The lecture is accompanied by weekly tutorials also held by Anni-Yasmin Turhan. The lectures and tutorials take place in room APB-E005, unless announced otherwise in the table below. The lecture takes place on

• Tuesdays 14:50–16:20 (5. DS),
• Wednesdays 09:20–10:50 (2. DS), and
• Fridays 13:00–14:30 (4. DS).

The exact distribution of lectures and tutorials need to be fixed. The current plan can be found in the table below.

Exercise sheets will be made available on this page approximately one week before each tutorial. During the tutorials, the students can present and discuss their solutions to the exercises, and ask questions about the content of the lecture.

Week	Tuesday	Wednesday	Friday
9 Oct to 13 Oct		Lecture	Lecture
16 Oct to 20 Oct		Tutorial	Lecture
23 Oct to 27 Oct			Tutorial
30 Oct to 3 Nov	Public holiday (Reformationstag)	Lecture	Tutorial
6 Nov to 10 Nov
13 Nov to 17 Nov
20 Nov to 24 Nov		Public holiday (Buß- und Bettag)	Lecture
27 Nov to 1 Dec	Tutorial	Lecture	Tutorial
4 Dec to 8 Dec	Lecture	Lecture	Lecture
11 Dec to 15 Dec		Tutorial	Lecture
18 Dec to 22 Dec	Lecture	Tutorial	—
1 Jan to 5 Jan	—	—	Lecture
8 Jan to 12 Jan	Lecture	Tutorial	Lecture
15 Jan to 19 Jan	Tutorial	Lecture	Tutorial
22 Jan to 26 Jan		Lecture	Tutorial
29 Jan to 2 Feb		Lecture	Tutorial

Schedule might be subject to revision.

SWS: 2/2/-

Modules:

• Bachelor Informatik: INF-B-510 (Vertiefung in der Informatik), INF-B-520 (Spezialisierung in der Informatik)
• Master Informatik, Diplom Informatik: INF-BAS6 (Theoretische Informatik), INF-VERT6 (Vertiefung Theoretische Informatik)
• Master Computational Logic, European Master in Computational Logic: MCL-TCSL / EMCL-A-TCSL (Theoretical Computer Science and Logic), MCL-KR / EMCL-A-KR (Knowledge Representation)

Students are strongly recommended to copy what is written on the blackboard. Slides are used for the lectures and are made available here:

• Introduction and preliminaries
• Default Logic
• Autoepistemic Logic
• Cirumscription
• Nonmonotonic inference relations and
• Belief Revision

• This lecture is mainly based on the book Nonmonotonic Reasoning by Grigoris Antoniou
• Nonmonotonic Reasoning by G. Brewka, J. Dix and K. Konolige
• Chapters "Nonmonotonic Reasoning" and "Belief Revision" in the Handbook of Knowledge Representation.