Diese Seite ist nur auf Englisch verfügbar.
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) |