SS 19
Prof.
Dr. Gerhard Brewka
Übungen: Dr. Ringo Baumann,
Dr.Stefan Ellmauthaler
4. Was Sie von Logik (noch) wissen sollten pdf Folien (umfangreiches Hintergrundmaterial: pdf 1 pdf 2 R. Brachmann/H. Levesque)
5. Beschreibungslogiken - eine kurze Einführung (pdf 1 pdf 2(relevant 1-9) F. Baader)
6. a) Regelbasierte Systeme pdf ppt b) Einführung nichtmonotones Schließen: Überblick Folien Motivation: pdf Word,
7. Logikprogrammierung und Answer Sets - Einführung Folien
8. Berechnung von Answer Sets - Smodels - Kardinalitätsconstraints pdf Word
9. Probabilistisches Schließen: Grundlagen Folien
10. Probabilistisches Schließen: Bayes Netze (Folien siehe 9.)
12. Partial Order Planning, Graphplan, Heuristisches Planen (Folien siehe 11.)
13. Maschinelles Lernen - Entscheidungsbäume, Versionsräume, induktive Logikprogrammierung pdf ppt
14. Maschinelles Lernen - Instanzbasiertes Lernen; Data Mining (Folien siehe 13.)
15. Klausurvorbereitung