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