Uni-Logo

Prinzipien der Wissensrepräsentation - Vorlesungen

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)

Sonstiges