Uni-Logo

This page is only available in German.

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

Abstracts (PDF)

Zeitplan

Zeit Vortragender Vortragstitel
Donnerstag, 18. Oktober
12:00-13:00 Mittagessen
13:10-13:50 Prof. 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 apl. 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.