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.