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