Universität Ulm
,
Fakultät für Informatik
,
Abtl. Künstliche Intelligenz
up:
Abtl. KI
Lehrveranstaltungen der Abtl. KI im SS 2000
Vorlesungen
Planen und Scheduling
(3V / 1Ü)
S. Biundo-Stephan, B. Schattenberg, N. N.
Modellierung und Analyse eingebetteter Systeme
(3V / 1Ü)
F.W. von Henke, M. Luther, E. Canver
Kategorientheorie für Informatiker
(2V)
F.W. von Henke
Seminare
Hauptseminar
Adaptive und Intelligente Workflow-Management-Systeme
(2 S)
S. Biundo-Stephan, P. Dadam, N. N.
(in Zusammenarbeit mit der Abteilung DBIS)
Hauptseminar Intelligente Informationsagenten (2 S)
S. Biundo-Stephan, N. N.
Proseminar
Maschinelles Beweisen - oder: Software-Inspektoren jagen abhängige Typen
(2 S)
F.W. von Henke, M. Luther, H. Pfeifer
Proseminar
Computergestütztes Lernen
(2 S)
F.W. von Henke, A. Martens, A. Seitz
Praktika
Praktikum im Hauptstudium:
Planen
S. Biundo-Stephan, B. Schattenberg, N. N.
Praktikum im Hauptstudium:
Modellierung und Simulation automomer Agenten
F.W. von Henke, T. Liebig
Arbeitsgemeinschaften
AG Künstliche Intelligenz
F.W. von Henke, S. Biundo-Stephan
Abtl. KI Startseite
Hilfe
Mail an Webmaster
Holger Pfeifer - geändert: 13. April 2000