Oberseminar Grundlagen der Künstlichen Intelligenz
In der Seminarreihe tragen Gäste, Doktoranden und Studenten der Abteilung KI über aktuellen Forschungsthemen vor. Alle Interessenten sind herzlichst zu den Vorträgen eingeladen!
Das Seminar findet am 6. und 7. Oktober 2004 als ein zweitägiges Blockseminar ausserhalb von Freiburg statt.
| Zeit | Vortragender | Titel des Vortrags |
|---|---|---|
| 1. Tag | ||
| Prof. Dr. Marco Ragni | Branching Allen - Reasoning with intervals in branching time | |
| Dr. Stefan Wölfl | Branching Allen - Reasoning with intervals in branching time | |
| Christian Köhler | Qualitative spatio-temporal queries on trajectory data from model-based tracking | |
| Dr. Sebastian Kupferschmid | An introduction to timed automata and model-checking | |
| Prof. Dr. Malte Helmert | Why planning is easy: Some new complexity results | |
| ... | ... | |
| 2. Tag | ||
| ... | ... | |
Bei Fragen bitte eine Nachricht an Prof. Dr. Jussi Rintanen.