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.