Diese Seite ist nur auf Englisch verfügbar.
Knowledge Representation and Reasoning - Lectures
| Nr. | Date | Title | Slides | Other remarks | , "Mon, 19.10.2015", "Introduction")
|---|---|---|---|---|
| 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) |