Uni-Logo

Oberseminar Grundlagen der Künstlichen Intelligenz

In diesem Seminar tragen Mitarbeiter, Doktoranden, Studenten und Gäste der Abteilung KI über aktuellen Forschungsthemen vor.

Das Oberseminar findet im Sommersemester 2009 als Blockveranstaltung vom 14. Oktober bis zum 15. Oktober 2009 in der Fachschaftshütte auf dem Schauinsland statt.

Abstracts (PDF)

Zeit Vortragender Vortragstitel
Mittwoch, 14. Oktober
-12:10 Anreise
12:20-12:50 Prof. Dr. Jens Witkowski Eliciting Non-Common Prior Beliefs in Peer Prediction
13:00-14:30 Mittagessen
14:30-15:30 Prof. Dr. Malte Helmert Planen als heuristische Suche: Theoretische Grenzen und praktische Algorithmen
15:30-16:00 Dr. Gabriele Röger Combining Heuristic Estimators for Satisficing Planning
16:00-16:40 Kaffeepause
16:40-17:10 Dr. Dapeng Zhang A Life-long Learning Method for Conditional Random Fields
17:10-17:40 Dr. Christian Dornhege Integration of Symbolic and Geometric Planning
17:40-18:10 Dr. Patrick Eyerich und Dr. Thomas Keller Task Planning for Autonomous Robots
18:30-19:30 Abendessen
Donnerstag, 15. Oktober
8:30-9:30 Frühstück
9:30-10:00 Michael Brenner und Moritz Göbelbecker Continual Planning in the CogX Project
10:00-10:30 Dr. Alexander Kleiner und Dr. Dali Sun On Pirates Supporting Business Tasks
10:30-11:10 Kaffeepause
11:10-11:40 Dr. Robert Mattmüller Component-based Abstraction Refinement for Timed Controller Synthesis
11:40-12:10 Dr. Sebastian Kupferschmid Interference Pruning
12:10-12:40 Prof. Dr. Jan-Georg Smaus Finding Errors of Hybrid Systems by Optimising an Abstraction-based Quality Estimate
13:00-14:00 Mittagessen

Bei Fragen wenden Sie sich bitte an Dr. Gabriele Röger.