Künstliche Intelligenz

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.

(19303701 / 19303702)

TypVL/Ü
Dozent/inRaúl Rojas
Anmeldemodalität

Module zu dieser LV

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