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 Oberseminar wird als Blockseminar am 10. und 11. März 2005 in Jugendherberge Titisee-Veltishof stattfinden. (Die Jugendherberge liegt am Südufer des Titisees, am Europäischen Fernwanderweg "Westweg" oberhalb der Campingplätze.)
| Zeit | Vortragender | Vortragstitel und Abstract |
|---|---|---|
| Donnerstag 10. März | ||
| 8:40-9:18 | Zug Freiburg(Breisgau) Hbf -- Titisee Bahnhof, anschliessend Bergwanderung zu Jugendherberge Titisee-Veltishof ca. 30 Minuten | |
| 9:10-9:48 | Zug Freiburg(Breisgau) Hbf -- Titisee Bahnhof | |
| 10:00-10:04 | Bus 7300 (Titisee-Todtnau-Basel) bis Feuerwehrheim/Jugendherberge | |
| 10:20-10:55 | Prof. Dr. Maren Bennewitz (Juniorprof.) | Enabling a humanoid robot to interact with multiple persons |
| 10:55-11:30 | Dr. Sven Behnke | Soccer playing humanoid robots |
| 11:30-11:55 | Dr. Thilo Weigel | On commercializing a table soccer robot |
| 12:00-13:00 | Mittagessen | |
| 13:00-13:30 | Dapeng Zhang | Action selection and action control for playing table soccer using Markov decision processes |
| 13:30-14:05 | Jürgen Müller | ISO-Learning: learning to avoid reflexes |
| 14:05-14:40 | Dr. Alexander Kleiner | Active search and rescue within real disaster areas |
| 14:40-15:10 | Uwe Zeisberger | Pfadplanung unter Unsicherheit -- Das Canadian Traveller's Problem |
| 15:10-15:30 | Kaffeepause | |
| 15:30-16:05 | Prof. Dr. Sanjiang Li | RCC8 binary constraint network can be consistently extended |
| 16:05-16:40 | Dr. Mehmet Giritli | Logics of polygonal shapes |
| 16:40-17:15 | Prof. Dr. Marco Ragni | Extensions of Qualitative Spatial Reasoning |
| 17:15-17:50 | Alexander Scivos | A relation algebra for reasoning about dependencies |
| 18:00- | Abendessen | |
| Freitag 11. März | ||
| 7:30-8:30 | Frühstück | |
| 8:35-9:10 | Dr. Stefan Wölfl | CASL specifications of qualitative calculi |
| 9:10-9:45 | Prof. Dr. Jan-Georg Smaus | The monotonicity relaxation heuristics in bounded model checking |
| 9:45-10:20 | Dr. Sebastian Kupferschmid | Enhancing UPPAAL with automatically generated heuristic functions: first results |
| 10:20-10:40 | Kaffeepause | |
| 10:40-11:15 | Dr. Markus Büttner | Reducing the size of search trees in partially observable domains |
| 11:15-11:50 | Michael Brenner | Multiagent plans: from individual perception to synchronized plan execution |
| 12:00-12:50 | Mittagessen | |
| 12:50-13:05 | Mathias Exner | A new earthquake simulator for RoboCup Rescue |
| 13:05-13:40 | Prof. Dr. Malte Helmert | On maintainable websites, with an application to the Abteilungsseitenproblem |
| 13:40-13:55 | Bolormaa Tseden | Kognitive Präferenzen im RCC-8-Kalkül |
| 13:55-14:25 | Markus Degen | Übertragen gelernter Klauseln im Kontext von Planen als Erfüllbarkeit |
| 14:25-15:00 | Christian Köhler | Multi-level consistency in cognitive vision systems |
| 15:00-15:30 | Wanderung von Jugendherberge Titisee-Veltishof zu Titisee Bahnhof | |
| 15:38-16:18 | Zug Titisee-Freiburg | |
| 15:47-15:56 | Bus 7300 (Basel-Todtnau-Titisee) ab Feuerwehrheim/Jugendherberge | |
| 16:08-16:48 | Zug Titisee-Freiburg | |
Bei Fragen bitte eine Nachricht an Prof. Dr. Malte Helmert.