Uni-Logo

Knowledge Representation and Reasoning - Lectures

, "Mon, 19.10.2015", "Introduction")
Nr. Date Title Slides Other remarks
2. Wed, 21.10.2015 Propositional logic (Screen) (Printer) (Printer; 4 on 1)
3. Mon, 26.10.2015; Wed, 28.10.2015 Predicate logic (Screen) (Printer) (Printer; 4 on 1)
4. Wed, 28.10.2015; Mon, 2.11.2015 Complexity theory (Screen) (Printer) (Printer; 4 on 1)
5. Mon, 9.11.2015; Wed, 11.11.2015; Mon, 16.11.2015 Modal logic (Screen) (Printer) (Printer; 4 on 1)
6. Wed, 18.11.2015 Inheritance networks (Screen) (Printer) (Printer; 4 on 1)
7. Mon, 23.11.2015 Description logics: Terminology and notation (Screen) (Printer) (Printer; 4 on 1)
8. Wed, 25.11.2015; Mon, 30.11.2015 Description logics: Reasoning services and reductions (Screen) (Printer) (Printer; 4 on 1)
9. Wed, 2.12.2015 Description logics: Algorithms (Screen) (Printer) (Printer; 4 on 1)
10. Mon, 7.12.2015; Wed, 9.12.2015 Description logics: Complexity (Screen) (Printer) (Printer; 4 on 1)
11. Mon, 14.12.2015; Wed, 16.12.2015; Mon, 21.12.2015; Wed, 23.12.2015 Nonmonotonic reasoning -- Default logic (Screen) (Printer) (Printer; 4 on 1)
12. Mon, 11.1.2016; Wed, 13.1.2016i; Mon, 18.1.2016 Nonmonotonic reasoning -- Cumulative Logics (Screen) (Printer) (Printer; 4 on 1)
13. Wed, 20.1.2016; Mon, 25.1.2016 Nonmonotonic reasoning -- ASP (Screen) (Printer) (Printer; 4 on 1)
14. Mon, 25.1.2016; Wed, 27.1.2016 Belief Revision (Screen) (Printer) (Printer; 4 on 1)
15. Mon, 01.02.2016; Wed, 03.02.2016 Qualitative Reasoning - An introduction (Screen) (Printer) (Printer; 4 on 1)
16. Mon, 08.02.2016; Wed, 10.02.2016 Qualitative Reasoning - Allen's Interval Algebra (Screen) (Printer) (Printer; 4 on 1)