Startseite › Lehre › Veranstaltungen
Veranstaltungen
Kurse
- Kurs 01601: Formale Grundlagen der Informatik
- Kurs 01695: Deduktions- und Inferenzsysteme
- Kurs 01696: Wissensbasierte Systeme
- Kurs 01816: Logisches und funktionales Programmieren
- Kurs 01843: Einführung in wissensbasierte Systeme
- Kurs 01845: Methoden der Wissensrepräsentation und -verarbeitung
- Kurs 01852: Fortgeschrittene Konzepte Funktionaler Programmierung
Seminare
- Seminar "Relationales Data Mining" (WS 2009/10)
- Seminar "Logikbasiertes und probabilistisches Modellieren, Inferieren und Lernen" (SS 2010)