Knowledge Representation and Reasoning - Lectures
| Nr. | Date | Title | Slides | Other remarks |
|---|---|---|---|---|
| 1. | Tue, 17.04.2018 | Introduction | (Screen) (Printer) (Printer; 4 on 1) | |
| 2. | Tue, 17.04.2018; Thu, 19.4.2018 |
Propositional logic | (Screen) (Printer) (Printer; 4 on 1) | |
| 3. | Tue, 24.4.2018 | Predicate logic | (Screen) (Printer) (Printer; 4 on 1) | |
| 4. | Tue, 24.04.2018; Thu, 26.04.2018 |
Complexity theory | (Screen) (Printer) (Printer; 4 on 1) | |
| 5. | Thu, 26.04.2018; Thu, 03.05.2018 |
Modal logic | (Screen) (Printer) (Printer; 4 on 1) | |
| 6. | Tue, 8.05.2018 | Inheritance networks | (Screen) (Printer) (Printer; 4 on 1) | |
| 7. | Thu, 17.05.2018 | Description logics: Terminology and notation | (Screen) (Printer) (Printer; 4 on 1) | |
| 8. | Tue, 29.05.2018; Tue, 5.06.2018 |
Description logics: Reasoning services and reductions | (Screen) (Printer) (Printer; 4 on 1) | |
| 9. | Tue, 5.06.2018; Thu, 7.06.2018 |
Description logics: Algorithms | (Screen) (Printer) (Printer; 4 on 1) | |
| 10. | Tue, 12.06.2018 | Description logics: Complexity | (Screen) (Printer) (Printer; 4 on 1) | |
| 11. | Thu, 14.06.2018; Tue, 19.06.2018; Thu, 21.06.2018 | Nonmonotonic reasoning -- Default logic | (Screen) (Printer) (Printer; 4 on 1) | |
| 12. | Thu, 21.06.2018; Thu, 28.06.2018 | Nonmonotonic reasoning -- ASP | (Screen) (Printer) (Printer; 4 on 1) | |
| 13. | Thu, 5.7.2018 | Belief Revision | (Screen) (Printer) (Printer; 4 on 1) | |
| 14. | Tue, 10.7.2018 | Causal reasoning -- Intro | (Screen) (Printer) (Printer; 4 on 1) | 11.7.2018: Added Slide 12 |
| 15. | Thu, 12.7.2018 | Causal reasoning -- HP definitions and normality | (Screen) (Printer) (Printer; 4 on 1) | 14.7.2018: Corrections on Slides 11/12 |
| 16. | Tue, 17.07.2018; Thu, 19.07.2018 | Causal reasoning -- Responsibility and Blame | (Screen) (Printer) (Printer; 4 on 1) |