Joint lecture by David Pearce and Axel Polleres.

In this course we will cover various reasoning methods for classical and non classical logics.

Every Wednesday, **2pm - 4pm**

For some of the PDF/PPT files to be displayed correctly, you need either theses fonts (download the zip file 127KB) or TexPoint installed.

- 2006-10-11: Lecture 1 (PDF) (Axel Polleres)
- 2006-10-18: Lecture 2 (PDF), Exercise Sheet (PDF) (Axel Polleres)
- 2006-10-25: Lecture 3 (PDF), Exercise Sheet (PDF) (Axel Polleres)

Natural Deduction. (Don't be shocked by the number of slides, it is less than it looks! ;-) )

We will use the slides available at this site. (with friendly permission of Prof. Aart Middeldorp, University of Innsruck).

Particularly, the following parts are interesting for us:- slides from propositional Natural Deduction
- slides from propositional Natural Deduction, soundness
- slides from propositional Natural Deduction, completeness
- slides from wrap-up first-order logic (this is basically what we did last lecture, but just to have the same notation!)
- slides from first-order Natural Deduction
- slides from Some more details on First-order logic (soundness, completeness of natural deduction, undecidability, ... let's see if we get that far)

- 2006-11-08: Lecture 4 (PDF) (David Pearce)
- 2006-11-21: Lecture 5 (PDF), Exercise Sheet (PDF) (Axel Polleres)
- 2006-11-22: Lecture 6 (PDF), continuation of Lecture 4 (David Pearce)
- 2006-11-29: Exercises for Lectures 4 and 6 (PDF) (David Pearce)
- 2006-12-12: Exercises for lectures 3 and 5 (PDF) (Axel Polleres)
- 2006-12-13: Lecture 8 (PDF), PROLOG (Axel Polleres), some examples, Exercise Sheet (PDF)
- 2006-12-20: Lecture 9 (PDF), Negation in PROLOG, and alternative semantics for negation: Perfect, Well-founded and Stable Models (Axel Polleres)
- 2007-01-10: Lecture 10: In this and the next lecture, I will cover the Answer Set Programming paradigm extending "traditional" logic programming in a declarative wayand show you applications thereof. Material will be taken from a tutorial held at ESWC 2006 in Budva, Montenegro, where we will start with parts taken from the first two Units. The full tutorial, with a web-interface to the Answer Set Programming Engine DLV is available at: asptut.gibbi.com. Slides for all Units:
- Unit 1 (PDF)
- Unit 2 (PDF), plus a picture, illustrating the Travelling Salesperson example.
- Unit 3 (PDF)
- Unit 4 (PDF)
- Unit 5 (PDF)
- Unit 6 (PDF)

- 2007-01-17 + 2007-01-24: Lectures 11+12 (PDF): Logical foundations of Answer Set Programming: Default Logic, Autoepistemic Logic, Equilibrium Logic (David Pearce)