(April 1998 at the University of Bahia Blanca, Argentine)

- The course starts on Thursday, April 2 at 10 am and ends on Friday, April 17 at 3 pm. There will be regular lectures as well as additional class room courses.
- The precise dates will be fixed during the first meeting.

1. Lecture: | General Nonmonotonic Logics We will first discuss the main nonmonotonic logics like Default Logic, Circumscription and Autoepistemic Logic and put them in a perspective for Knowledge Representation. Get Slides |

2. Lecture: | Automating Nonmonotonic Logics We show how the usually infinite objects in nonmonotonic logics can be cut down to finitary ones and thus are available for further handling. We illustrate that there are two orthogonal sources of complexity that have to be considered for the design of efficient implementations. Get Slides |

3. Lecture: | Nonmonotonic Semantics of LP: I Starting from Relational Databases and definite logic programs, we will discuss negation-as-finite-failure and the need for introducing nonmonotonic negation. We also investigate bottom-up vs top-down techniques and the influence of the underlying Herbrand domain. Get Slides |

4. Lecture: | Nonmonotonic Semantics of LP: II Here we introduce the stable and the wellfounded semantics and illustrate their relationship and various extensions. These semantics are then extended to arbitrary disjunctive programs with negation. Get Slides |

5. Lecture: | Complexity, Expressibility and Implementation We discuss the various complexity and expressibility classes that can be captured by the different semantics and also by general nonmonotonic logics. We also give some hints for successful implementations and point to systems currently developed. Get Slides |

6. Lecture: | Applications,
Benchmarks and Systems Here we present some applications of nonmonotonic reasoning and stable models, eg. to planning and diagnosis. This leads to interesting benchmarks. We also give an overview of the systems currently deloped and available. Get Slides |

- Lectures 1, 2 and 6 are based on Overview on NMR: Lecture 1 is essentially Chapter , Lecture 2 corresponds to Chapter 2, Lecture 6 to Chapter 6.
- Lectures 3, 4 and 5 are based on Overview on LP: Lecture 3 covers Chapter 2 and 3.1 of Chapter 3. Lecture 4 is based on Chapter 3 and Chapter 6. Lecture 5 handles Chapter 7 and 8.
- Lecture 5 uses also material from DisLoP.

Juergen Dix Last modified: Fri Mar 3 16:26:48 MET 2000