Uni-Logo

Diese Seite ist nur auf Englisch verfügbar.

Knowledge Representation and Reasoning - Lectures

Nr. Date Title Slides Other remarks
1. Mon, 21.10.2013 Introduction (Screen) (Printer) (Printer; 4 on 1)
2. Mon, 21.10.2013; Wed, 23.10.2013 Propositional logic (Screen) (Printer) (Printer; 4 on 1)
3. Mon, 28.10.2013 Predicate logic (Screen) (Printer) (Printer; 4 on 1)
4. Wed, 30.10.2013; Mon, 4.11.2013 Complexity theory (Screen) (Printer) (Printer; 4 on 1)
5. Mon, 4.11.2013; Wed, 6.11.2013; Mon, 11.11.2013 Modal logic (Screen) (Printer) (Printer; 4 on 1)
6. Wed, 13.11.2013; Mon, 18.11.2013; Wed, 20.11.2013 Nonmonotonic reasoning -- Default logic (Screen) (Printer) (Printer; 4 on 1)
7. Mon, 25.11.2013; Wed, 27.11.2013; Mon, 2.12.2013 Nonmonotonic reasoning -- ASP (Screen) (Printer) (Printer; 4 on 1)
8. Wed, 4.12.2013; Mon, 9.12.2013; Wed, 11.12.2013 Nonmonotonic reasoning -- Cumulative Logics (Screen) (Printer) (Printer; 4 on 1)
9. Mon, 16.12.2013; Wed, 18.12.2013 Belief Revision and Update (Screen) (Printer) (Printer; 4 on 1)
10. Wed, 08.01.2014; Mon, 13.01.2014 Qualitative Reasoning - An introduction (Screen) (Printer) (Printer; 4 on 1)
11. Mon, 13.01.2014; Wed, 15.01.2014 Qualitative Reasoning - Allen's Interval Algebra (Screen) (Printer) (Printer; 4 on 1)
12. Mon, 20.01.2014; Wed, 22.01.2014 Qualitative Reasoning - RCC8 (Screen) (Printer) (Printer; 4 on 1)
13. Mon, 27.01.2014 Inheritance Networks (Screen) (Printer) (Printer; 4 on 1)
14. Wed, 29.01.2014 Description logics: Terminology and Notation (Screen) (Printer) (Printer; 4 on 1)
15. Mon, 3.02.2014 Description logics: Reasoning services and reductions (Screen) (Printer) (Printer; 4 on 1)
16. Wed, 5.02.2014; Mon, 10.02.2014 Description logics: Algorithms (Screen) (Printer) (Printer; 4 on 1)