Principles of Knowledge Representation and Reasoning - Lectures
| No. | Date | Topic | Slides | Last Update |
|---|---|---|---|---|
| 1. | Tue, 22 April 2008 | Introduction | (screen) (printer) (printer; 4 on 1) | |
| 2. | Tue, 22 April 2008 Fri, 25 April 2008 |
Propositional Logic | (screen) (printer) (printer; 4 on 1) | Fri, 25 April 2008 |
| 3. | Fri, 25 April 2008 Tue, 29 April 2008 |
Predicate Logic | (screen) (printer) (printer; 4 on 1) | |
| 4. | Tue, 29 April 2008 Fri, 2 May 2008 |
Complexity Theory | (screen) (printer) (printer; 4 on 1) | Fri, 30 May 2008 |
| 5. | Fri, 2 May 2008 Tue, 6 May 2008 Fri, 9 May 2008 Tue, 20 May 2008 |
Modal Logics | (screen) (printer) (printer; 4 on 1) | |
| 6. | Tue, 20 May 2008 | Nonmonotonic Reasoning I: Default Logic | (screen) (printer) (printer; 4 on 1) | |
| 7. | Tue, 20 May 2008 Fri, 30 May 2008 Tue, 3 June 2008 |
Nonmonotonic Reasoning II: NMLP | (screen) (printer) (printer; 4 on 1) | |
| 8. | Tue, 3 June 2008 Fri, 6 June 2008 Tue, 10 June 2008 Fri, 13 June 2008 Tue, 17 June 2008 |
Nonmonotonic Reasoning III: Cumulative Logics | (screen) (printer) (printer; 4 on 1) | Tue, 17 June 2008 |
| 9. | Tue, 17 June 2008 Fri, 20 June 2008 Tue, 24 June 2008 |
Qualitative Representation and Reasoning: Introduction | (screen) (printer) (printer; 4 on 1) | Tue, 24 June 2008 |
| 10. | Tue, 24 June 2008 Fri, 27 June 2008 Tue, 1 July 2008 |
Qualitative Representation and Reasoning II: Allen's Interval Calculus | (screen) (printer) (printer; 4 on 1) | Mon, 30 June 2008 |
| 11. | Tue, 8 July 2008 Fri, 11 July 2008 |
Semantic Networks and Description Logics I: Simple, Strict Inheritance Networks | (screen) (printer) (printer; 4 on 1) | |
| 12. | Fri, 11 July 2008 | Semantic Networks and Description Logics II: Description Logics – Terminology and Notation | (screen) (printer) (printer; 4 on 1) | |
| 13. | Tue, 15 July 2008 | Semantic Networks and Description Logics III: Description Logics – Reasoning Services and Reductions | (screen) (printer) (printer; 4 on 1) | |
| 14. | Tue, 22 July 2008 | Semantic Networks and Description Logics IV: Algorithms | (screen) (printer) (printer; 4 on 1) | |
| 15. | Tue, 22 July 2008 | Semantic Networks and Description Logics V: Decidability and Complexity | (screen) (printer) (printer; 4 on 1) |