19329501
Vorlesung
SoSe 19: Künstliche Intelligenz - Blockveranstaltung
Christoph Benzmüller
Kommentar
Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und Theorembeweisen; Wissensbasierte- und Expertensysteme; Mensch-Maschinen-Schnittstellen; Mustererkennung insbesondere für interaktive Anwendungen; Data Science, Machine Learning, Neural Architectures, Knowledge Discovery, Maschinenethik, normatives Schließen.
Schließen14 Termine
Zusätzliche Termine
Fr, 20.09.2019 10:00 - 12:00Klausur
Regelmäßige Termine der Lehrveranstaltung
Mo, 02.09.2019 10:00 - 12:00
Di, 03.09.2019 10:00 - 12:00
Mi, 04.09.2019 10:00 - 12:00
Do, 05.09.2019 10:00 - 12:00
Fr, 06.09.2019 10:00 - 12:00
Mo, 09.09.2019 10:00 - 12:00
Di, 10.09.2019 10:00 - 12:00
Mi, 11.09.2019 10:00 - 12:00
Do, 12.09.2019 10:00 - 12:00
Fr, 13.09.2019 10:00 - 12:00
Mo, 16.09.2019 10:00 - 12:00
Di, 17.09.2019 10:00 - 12:00
Mi, 18.09.2019 10:00 - 12:00
Do, 19.09.2019 10:00 - 12:00