Uni-Logo

Diese Seite ist nur auf Englisch verfügbar.

Principles of Knowledge Representation and Reasoning - Lectures

No. Date Topic Slides Last Update
1. Tue, 22 April 2008 Introduction (screen) (printer) (printer; 4 on 1)
2. Tue, 22 April 2008
Fri, 25 April 2008
Propositional Logic (screen) (printer) (printer; 4 on 1) Fri, 25 April 2008
3. Fri, 25 April 2008
Tue, 29 April 2008
Predicate Logic (screen) (printer) (printer; 4 on 1)
4. Tue, 29 April 2008
Fri, 2 May 2008
Complexity Theory (screen) (printer) (printer; 4 on 1) Fri, 30 May 2008
5. Fri, 2 May 2008
Tue, 6 May 2008
Fri, 9 May 2008
Tue, 20 May 2008
Modal Logics (screen) (printer) (printer; 4 on 1)
6. Tue, 20 May 2008 Nonmonotonic Reasoning I: Default Logic (screen) (printer) (printer; 4 on 1)
7. Tue, 20 May 2008
Fri, 30 May 2008
Tue, 3 June 2008
Nonmonotonic Reasoning II: NMLP (screen) (printer) (printer; 4 on 1)
8. Tue, 3 June 2008
Fri, 6 June 2008
Tue, 10 June 2008
Fri, 13 June 2008
Tue, 17 June 2008
Nonmonotonic Reasoning III: Cumulative Logics (screen) (printer) (printer; 4 on 1) Tue, 17 June 2008
9. Tue, 17 June 2008
Fri, 20 June 2008
Tue, 24 June 2008
Qualitative Representation and Reasoning: Introduction (screen) (printer) (printer; 4 on 1) Tue, 24 June 2008
10. Tue, 24 June 2008
Fri, 27 June 2008
Tue, 1 July 2008
Qualitative Representation and Reasoning II: Allen's Interval Calculus (screen) (printer) (printer; 4 on 1) Mon, 30 June 2008
11. Tue, 8 July 2008
Fri, 11 July 2008
Semantic Networks and Description Logics I: Simple, Strict Inheritance Networks (screen) (printer) (printer; 4 on 1)
12. Fri, 11 July 2008 Semantic Networks and Description Logics II: Description Logics – Terminology and Notation (screen) (printer) (printer; 4 on 1)
13. Tue, 15 July 2008 Semantic Networks and Description Logics III: Description Logics – Reasoning Services and Reductions (screen) (printer) (printer; 4 on 1)
14. Tue, 22 July 2008 Semantic Networks and Description Logics IV: Algorithms (screen) (printer) (printer; 4 on 1)
15. Tue, 22 July 2008 Semantic Networks and Description Logics V: Decidability and Complexity (screen) (printer) (printer; 4 on 1)