Uni-Logo

Seminar: Logik in der KI - Zeitplan

Das Seminar findet am Donnerstag, dem 31. Juli 2008, in Seminarraum 101-01-018 statt.

Vorläufiger Zeitplan:

Zeit Thema Vortragender Kurzkommentar
9:15-10:00 Modellprüfung in dichter Realzeit Dimitris Kyriakidis Florian Pommerening
10:00-10:45 Wissen und gemeinsames Wissen in einer verteilten Umgebung Jet Hoe Tang Dimitris Kyriakidis
10:45-11:15 Kaffeepause
11:15-11:45 Einführung in Beschreibungslogiken, Formalismen Jan-Georg Smaus
11:45-12:30 Einführung in Beschreibungslogiken, Schließen Tilman Thiry Jet Hoe Tang
12:30-13:15 Situationskalkül und GOLOG Florian Pommerening Tilman Thiry

Für jedes Thema sind 45 Minuten eingeplant, von denen 30 Minuten für den Vortrag, 5 Minuten für den anschließenden Kurzkommentar und 10 Minuten für inhaltliche Diskussion und Feedback vorgesehen sind.