Dozenten: Ralf Möller
Ort: TUHH, Harburger Schloßstraße 20, Raum 206
Zeit: Donnerstags, 14.15Uhr
Ort: HS20, 226
Thema des Seminars ist das Buch: "Reasoning about Knowledge", MIT Press, 1995.
Materialien zur Vorbereitung der Vorträge werden bereitgestellt. Die Studierenden erstellen zu jedem Vortrag bis zum Ende des Semesters eine Ausarbeitung (ca. 5-6 Seiten).
Inhalt:
| Termin | Themen | Name |
| 20.4.05 | Introduction and Overview | Porgwald, Gao, Miao |
| 27.4.05 | A Model for Knowledge | Näth, Patel, Sabelmann |
| 4.5.05 | Completeness and Complexity | Messaoudi, Benzed, Kim |
| 11.5.05 | Knowledge in Multi-Agent Systems | Chen, Wang, Mao |
| 18.5.05 | Pfingstferien | -- |
| 25.5.05 | Protocols and Programs | Lambek, von Cube, Weigel |
| 1.6.05 | Common Knowledge and Agreement | Radev, Yalnazov, Delon |
| 8.6.05 | Knowledge-based Programming | Su, Wei, Bier |
| 15.6.05 | Evolving Knowledge | Nangue, Demo, Wiebrach |
| 22.6.05 | Logical Omniscience | Heins, Günay, Piske, Uhlig |
| 29.6.05 | Knowledge and Computation | Ye, Wu, Gaitu |
| 6.7.05 | Common Knowledge Revisited | Byankova, Oral |
Ralf Möller