Uni-Logo

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.