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.