19329501
Lecture
SoSe 19: Art. Intelligence - Block course
Christoph Benzmüller
Comments
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.
close14 Class schedule
Additional appointments
Fri, 2019-09-20 10:00 - 12:00Klausur
Regular appointments
Mon, 2019-09-02 10:00 - 12:00
Tue, 2019-09-03 10:00 - 12:00
Wed, 2019-09-04 10:00 - 12:00
Thu, 2019-09-05 10:00 - 12:00
Fri, 2019-09-06 10:00 - 12:00
Mon, 2019-09-09 10:00 - 12:00
Tue, 2019-09-10 10:00 - 12:00
Wed, 2019-09-11 10:00 - 12:00
Thu, 2019-09-12 10:00 - 12:00
Fri, 2019-09-13 10:00 - 12:00
Mon, 2019-09-16 10:00 - 12:00
Tue, 2019-09-17 10:00 - 12:00
Wed, 2019-09-18 10:00 - 12:00
Thu, 2019-09-19 10:00 - 12:00