Oberseminar Grundlagen der Künstlichen Intelligenz
In diesem Seminar tragen Mitarbeiter, Doktoranden, Studenten und Gäste der Abteilung KI über aktuelle Forschungsthemen vor.
Ort und Termin
Das Oberseminar findet im Sommersemester 2007 als Blockveranstaltung vom 18. bis 19. Oktober 2007 in der Jugendherberge Titisee-Veltishof statt.
Anfahrt
Mit dem Auto
Auf der B31 Richtung Titisee, erste Abfahrt Titisee, durch den Ort am Kurhaus vorbei Richtung Schluchsee. Am Ende vom Titisee ist auf der linken Seite die Jugendherberge.
Mit öffentlichen Verkehrsmitteln
Mit der Regionalbahn Freiburg-Donaueschingen von Freiburg Hbf. bis Bahnhof Titisee, von dort entweder mit Bus Linie 7300 Titisee-Todtnau bis Haltestelle Feuerwehrheim/Jugendherberge (ca. 5 Minuten) oder zu Fuß (ca. 30 Minuten).
Hinfahrt
Regionalbahn Freiburg Hbf. nach Titisee Bahnhof: 10:10-10:48 (ex. passender Anschlussbus),
10:40-11:18, 11:10-11:48 (Anschlussfußmarsch);
Linie 7300 Titisee Bahnhof bis Feuerwehrheim/Jugendherberge: 11:00-11:04
(nächster Bus erst um 13:00)
Rückfahrt
Linie 7300 Feuerwehrheim/Jugendherberge bis Titisee Bahnhof: 15:47-15:56,
16:47-16:56, 17:47-17:56;
Regionalbahn Titisee Bahnhof nach Freiburg Hbf.: 15:38-16:18, 16:08-16:48,
16:38-17:18, 17:08-17:48, 17:38-18:18, 18:08-18:48, ...
Programm
Abstracts
Zeitplan
| Zeit | Vortragender | Vortragstitel |
|---|---|---|
| Donnerstag, 18. Oktober | ||
| 12:00-13:00 | Mittagessen | |
| 13:10-13:50 | Dr. Alexander Kleiner | Genetic MRF model optimization for real-time victim detection in Search and Rescue |
| 13:50-14:30 | Dr. Christian Dornhege | Probabilistic Roadmap Planners for Robot Motion Planning |
| 14:30-14:55 | Kaffeepause | |
| 14:55-15:35 | Prof. Dr. Maren Bennewitz (Juniorprof.) | Intuitive Multimodal Interaction with Communication Robot Fritz |
| 15:35-16:15 | Michael Brenner | Mixed-Initiative Dialogue as Continual Collaborative Planning |
| 16:15-16:40 | Kaffeepause | |
| 16:40-17:20 | Prof. Dr. Marco Ragni | Formalizing Baddeleys Working Memory - Some Insights |
| 17:20-18:00 | Dr. Dapeng Zhang | Table Soccer Robot and Skill Science |
| 18:00-19:00 | Abendessen | |
| Freitag, 19. Oktober | ||
| 7:30-8:30 | Frühstück | |
| 9:00-9:40 | Dr. Robert Mattmüller | Accuracy of Admissible Heuristic Functions in Selected Planning Domains |
| 9:40-10:20 | Dr. Gabriele Röger | How Good is Almost Perfect? |
| 10:20-10:40 | Kaffeepause | |
| 10:40-11:20 | Prof. Dr. Malte Helmert | Flexible Abstraction Heuristics for Optimal Sequential Planning |
| 11:20-12:00 | Dr. Stefan Wölfl | 2, n, ω: A tour de force into the algebraic approach to constraint satisfaction problems |
| 12:00-13:00 | Mittagessen | |
| 13:10-13:50 | Dr. Patrick Eyerich | Planning for Earth Observation Satellites |
| 13:50-14:30 | Dr. Sebastian Kupferschmid | Automatic Abstraction Refinement for Timed Automata |
| 14:30-15:10 | Prof. Dr. Jan-Georg Smaus | Computing Counterexamples of Hybrid Systems by Heuristic Search/Optimization |
Bei Fragen wenden Sie sich bitte an Dr. Robert Mattmüller.