Abteilung
Grundlagen der Künstlichen Intelligenz,
Institut
für Informatik,
Universität Freiburg
Das Blockseminar beginnt offiziell am Mittwoch, dem 8. Oktober 2003 um
10:30 Uhr im Uni-Haus Schauinsland.
Offizielles Ende ist am Freitag, dem 10. Oktober um 12:00 Uhr.
| Zeit | Programmpunkt | |
|---|---|---|
| 11:00-11:45 | Einführung in die Spieltheorie (Patrick Pfaff) | |
| 11:45-12:30 | Kombinatorische Spieltheorie (Uwe Zeisberger) | |
| 12:30-14:00 | Mittagspause (Essen um 13:00 Uhr) | |
| 14:00-14:45 | Aktionslogiken am Beispiel der Alternating Time Temporal Logic (ATL) (Thomas Marchwinski) | |
| 14:45-15:30 | Gemeinsames Wissen (Inna Janssen) | |
| 15:30-16:00 | Kaffeepause | |
| 16:00-16:45 | Multiagentensuche (Manuel Metzger) | |
| 16:45-17:30 | Distributed Constraint Satisfaction Problems -- DCSPs (Thorsten Seddig) | |
| 18:00 | Abendessen | |
| Zeit | Programmpunkt | |
|---|---|---|
| 8:00-9:00 | Frühstück | |
| 9:45-10:30 | Verteilte Entscheidungsfindung (Tarik Gasmi) | |
| 10:30-11:00 | Kaffeepause | |
| 11:00-11:45 | Stand der Technik bei Zwei-Personen-Spielen (Cedric Bürfent) | |
| 11:45-12:30 | Suchalgorithmen für Spielbäume (Anja Jaenecke) | |
| 12:30-14:00 | Mittagspause (Essen um 13:00 Uhr) | |
| 14:00-14:45 | Lernen von Merkmalen bei Zwei-Personen-Spielen (Silvia Richter) | |
| 14:45-15:30 | Temporal Difference Learning bei Zwei-Personen-Spielen (Mathias Exner) | |
| 15:30-16:00 | Kaffeepause | |
| 16:00-16:45 | Computer-Go (Markus Degen) | |
| 16:45-17:30 | Computer-Skat (Sebastian Kupferschmid) | |
| 18:00 | Abendessen | |
| Zeit | Programmpunkt | |
|---|---|---|
| 8:00-9:00 | Frühstück | |
| 9:00-9:45 | Probleme und Techniken beim Roboterfußball (Minh Phan) | |
| 9:45-10:30 | Teamspiel beim Roboterfußball (Christian Schröter) | |
| 10:30-11:00 | Kaffeepause | |
| 11:00-11:45 | Lernen im Roboterfußball (Nikolaus Ehrenfeuchter) | |