Principles of Knowledge Representation and Reasoning - Lectures
| Nr. | Datum | Thema | Folien |
|---|---|---|---|
| 1. | Mo, 19. April 2010 | Einführung | (screen) (printer) (printer; 4 on 1) |
| 2. | Mi, 21. April 2010 | Aussagenlogik | (screen) (printer) (printer; 4 on 1) |
| 3. | Mo, 26. April 2010 | Prädikatenlogik | (screen) (printer) (printer; 4 on 1) |
| 4. | Mo, 26. April 2010 Mi, 28. April 2010 |
Komplexitätstheorie | (screen) (printer) (printer; 4 on 1) |
| 5. | Mo, 3. Mai 2010 Mi, 5. Mai 2010 |
Modallogiken | (screen) (printer) (printer; 4 on 1) |
| 6. | Mo, 10. Mai 2010 Mi, 12. Mai 2010 Mo, 17. Mai 2010 |
Nichtmonotones Schließen I | (screen) (printer) (printer; 4 on 1) |
| 7. | Mi, 19. Mai 2010 Mo, 31. Mai 2010 |
Nichtmonotones Schließen II: Minimale Modelle und NMLP | (screen) (printer) (printer; 4 on 1) |
| 8. | Mo, 31. Mai 2010 Mi, 2. Juni 2010 Mi, 9. Juni 2010 Mo, 14. Juni 2010 |
Nichtmonotones Schließen III: Kumulative Logiken | (screen) (printer) (printer; 4 on 1) |
| 9. | Mo, 14. Juni 2010 Mi, 16. Juni 2010 |
Wissensrevision | (screen) (printer) (printer; 4 on 1) |
| 10. | Mo, 21. Juni 2010 | Qualitative Kalküle und Constraint-Satisfaction-Probleme I: Einführung | (screen) (printer) (printer; 4 on 1) |
| 11. | Mi, 23. Juni 2010 Mo, 28. Juni 2010 Mi, 30. Juni 2010 |
Qualitative Kalküle und Constraint-Satisfaction-Probleme II: Allens Intervallkalkül | (screen) (printer) (printer; 4 on 1) |
| 12. | Mi, 30. Juni 2010 Mo, 5. Juli 2010 |
Semantische Netze und Beschreibungslogiken I: Einfache strikte Vererbungsnetze | (screen) (printer) (printer; 4 on 1) |
| 13. | Mo, 5. Juli 2010 Mi, 7. Juli 2010 Mo, 12. Juli 2010 |
Semantische Netze und Beschreibungslogiken II: Beschreibungslogiken -- Terminologie und Notation | (screen) (printer) (printer; 4 on 1) |
| 14. | Mo, 12. Juli 2010 | Semantische Netze und Beschreibungslogiken III: Beschreibungslogiken -- Schlussfolgerungsprobleme und Reduktionen | (screen) (printer) (printer; 4 on 1) |
| 15. | Mi, 14. Juli 2010 Mo, 19. Juli 2010 |
Semantische Netze und Beschreibungslogiken IV: Beschreibungslogiken -- Algorithmen | (screen) (printer) (printer; 4 on 1) |
| 16. | Mo, 19. Juli 2010 Mi, 21. Juli 2010 |
Semantische Netze und Beschreibungslogiken V: Beschreibungslogiken -- Entscheidbarkeit und Komplexität | (screen) (printer) (printer; 4 on 1) |