Uni-Logo

Knowledge Representation and Reasoning - Lectures

Nr. Date Title Slides Other remarks
1. Wednesday, 24.10.2012 Introduction to knowledge representation (Screen) (Printer) (Printer; 4 on 1)
2. Wednesday, 24.10.2012 Propositional logic (Screen) (Printer) (Printer; 4 on 1)
3. Friday, 26.10.2012 Predicate logic (Screen) (Printer) (Printer; 4 on 1)
4. Wednesday, 31.10.2012; Friday, 2.11.2012 Complexity theory (Screen) (Printer) (Printer; 4 on 1)
5. Wednesday, 7.11.2012; Friday, 9.11.2012; Wednesday, 14.11.2012; Friday, 16.11.2012 Modal logics (Screen) (Printer) (Printer; 4 on 1)
6. Wednesday, 21.11.2012; Friday, 23.11.2012; Wednesday, 28.11.2012 Nonmonotonic reasoning (Screen) (Printer) (Printer; 4 on 1)
7. Wednesday, 28.11.2012; Friday, 30.12.2012; Wednesday, 05.12.2012 Answer set programming (Screen) (Printer) (Printer; 4 on 1)
8. Friday, 7.12.2012; Wednesday, 12.12.2012 Cumulative logics (Screen) (Printer) (Printer; 4 on 1)
9. Wednesday, 19.12.2012; Friday, 21.12.2012; Wednesday, 9.1.2013 Belief revision and merging (Screen) (Printer) (Printer; 4 on 1)
10. Friday, 11.1.2013; Wednesday, 16.1.2013 Inheritance networks (Screen) (Printer) (Printer; 4 on 1)
11. Friday, 18.1.2013; Wednesday, 23.1.2013 Description logics: Terminology and Notation (Screen) (Printer) (Printer; 4 on 1)
12. Wednesday, 23.1.2013; Friday, 25.1.2013 Description logics: Reasoning services and reductions (Screen) (Printer) (Printer; 4 on 1)
13. Friday, 25.1.2013; Wednesday, 30.1.2013 Description logics: Algorithms (Screen) (Printer) (Printer; 4 on 1)
14. Friday, 1.2.2013; Wednesday, 6.2.2013 Description logics: Complexity (Screen) (Printer) (Printer; 4 on 1)
15. Wednesday, 6.2.2013; Friday, 8.2.2013 Qualitative reasoning: CSP (Screen) (Printer) (Printer; 4 on 1)
16. Wednesday, 13.2.2013; Friday, 15.2.2013 Qualitative reasoning: Allen's interval algebra (Screen) (Printer) (Printer; 4 on 1)