MiG

Künstliche Intelligenz

Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik und ihre Mechanisierung, Resolution und Theorembeweise, Wissensbasierte- und Expertensysteme, Diffuse Logik, Mensch-Maschinen-Schnittstellen, Mustererkennung insbesondere für interaktive Anwendungen.

(19303701 / 19303702)

Typ

VL/Ü

Dozent/in

Raúl Rojas

Anmeldemodalität

Zeit

Blockveranstaltung vor bzw. nach SS17:

Vorlesungszeiten:

  • 05.04.-13.04., T9.006, Dozent: R. Rojas
  • 07.08.-15.08., T9.006, Dozent: C. Benzmüller

Am 07.04. und 10.04. findet die Veranstaltung im SR049 der Takustr. 9 statt.

Links auf Kursbeschreibung