Uni-Logo

Internationales Oberseminar

Organisatoren: Dr. Thomas Keller, Dr. Patrick Eyerich und Dr. Stefan Wölfl

Traditionell tragen in diesem Seminar Mitarbeiter, Doktoranden und Studenten der GKI Abteilung sowie anderer Universitäten über aktuelle Forschungsthemen vor.

Zeit und Ort

Dieses Jahr findet das Oberseminar vom 14. Mai bis 16. Mai in Dagstuhl statt. Es wird zusammen mit den vier Lehrstühlen der Universität Istanbul (Türkei), der Universiät Groningen (Niederlande), der Universität Roma "La Sapienza" (Italien), und der Universität Basel (Schweiz) abgehalten.

Das Programm sowie eine kurze Beschreibung der Vorträge ist hier erhältlich.

Zeitplan

Zeit Vortragender Vortragstitel
Montag, 14.Mai
09:00-09:10 Bernhard Nebel Begrüssung
Session I. Chair: Bernhard Nebel
09:10-09:35 Luca Iocchi Automated generation and learning of finite-state controllers
09:35-10:00 Moritz Göbelbecker Explaining Execution Failures in Continual Planning
10:00-10:25 Eirini Kaldeli Continual planning with sensing in dynamic service environments
10:25-10:55 Kaffeepause
Session II. Chair: Luca Iocchi
10:55-11:20 Patrick Eyerich Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal Planning
11:20-11:45 Ilche Georgievski An Overview of Hierarchical Task Network Planning
11:45-12:10 Florian Pommerening Optimal Planning for Delete-free Tasks with Incremental LM-cut
12:10-14:00 Mittagessen
Session III. Chair: Marco Aiello
14:00-14:25 Domenico Bloisi Camera based target recognition for maritime awareness
14:25-14:50 Johannes Löhr A Planning Based Framework for Controlling Hybrid Systems
14:50-15:15 Andreas Hertle und Christian Dornhege Tidyup Robot: Controlling Autonomous Robots using Symbolic Planning
15:15-15:45 Kaffeepause
15:45-18:00 Postersession I
Dienstag, 15.Mai
Session IV. Chair: Esra Erdem
09:00-09:25 Yusra Wahby Partial order reduction for automated planning
09:25-09:50 Martin Wehrle About Partial Order Reduction in Planning and Computer Aided Verification
09:50-10:15 Julien Hué An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning
10:15-10:45 Kaffeepause
10:45-12:10 Postersession II
12:10-14:00 Mittagessen
14:00-21.30 Ausflug nach Trier
Mittwoch, 16.Mai
Session V. Chair: Stefan Wölfl
09:00-09:25 Christian Becker-Asano Computational modeling of emotions
09:25-09:50 Andrea Pagani und Tuan Anh Nguyen Optimizing offices for the smart grid
09:50-10:15 Viktoriya Degeler Cost-Efficient Context-Aware Rule Maintenance
10:15-10:45 Kaffeepause
Session VI. Chair: Malte Helmert
10:45-11:10 Erdi Aker Housekeeping with Multiple Autonomous Robots: Revisited
11:10-11:35 Dali Sun Adaptive Task Allocation and Path Planning for Industrial Robot Teams
11:35-12:00 Vittorio Amos Ziparo MADMASS: the massively distributed multi-agent system simulator
12:10-14:00 Mittagessen

Sollten Sie Fragen haben, wenden Sie sich bitte an Dr. Thomas Keller oder Dr. Patrick Eyerich.