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) |