Oberseminar Grundlagen der Künstlichen Intelligenz
In diesem Seminar tragen Mitarbeiter, Doktoranden, Studenten und Gäste der Abteilung KI über aktuelle Forschungsthemen vor.
Zeit und Ort
Das Oberseminar findet vom 7. April bis 10. April im Fachschaftshaus beim Schauinsland statt. Es wird zusammen mit zwei Lehrstühlen der Universiät Groningen (Holland), und der Universität Roma "La Sapienza" (Italy)" abgehalten.
Zeitplan
| Zeit | Vortragende(r) | Vortragstitel |
|---|---|---|
| Monday, 7. April - Spatial Reasoning and Planning | ||
| 14:00-14:30 | Prof. Dr. Bernhard Nebel | Welcome! |
| 14:30-15:00 | Prof. Dr. Marco Ragni | What the eye tells about the working mind: Eye-movements in spatial reasoning |
| 15:00-15:30 | Alexander Scivos | Reasoning about direct and indirect successors in networks |
| 15:30-16:00 | Coffee break | |
| 16:00-16:30 | Prof. Dr. Malte Helmert | A Stochastic Local Search Approach to Vertex Cover |
| 16:30-17:00 | Prof. Dr. Bernhard Nebel | Spatio-Temporal Calendar Scheduling |
| 17:00-17:30 | Dr. Gabriele Röger | On the Relative Expressiveness of ADL and Golog: The Complete Picture |
| 17:30-18:00 | Michael Brenner | A Continual Multiagent Planning Approach to Situated Dialogue |
| 18:00-19:00 | Dinner | |
| Tuesday, 8. April - Robotics | ||
| 8:00-9:00 | Breakfast | |
| 9:00-9:30 | Prof. Dr. Daniele Nardi | Experiments on contextual reasoning in robotics |
| 9:30-10:00 | Dr. Luca Iocchi | Robot Learning: obtaining good results with a few experiments on the real robots |
| 10:00-10:30 | Daniele Calisi | Motion planning, obstacle avoidance and the use of clothoid curves |
| 10:30-11:00 | Coffee break | |
| 11:00-11:30 | Dr. Alexander Kleiner | SP-Freiburg TechX Challenge 2008 Entry |
| 11:30-12:00 | Dr. Christian Dornhege | Planning for a manipulator on a mobile robot |
| 12:00-13:00 | Lunch break | |
| 13:00-13:30 | Dr. Dapeng Zhang | Tracking the Game Ball of Table Soccer Using Multiple-Model Kalman Filters |
| 13:30-14:00 | Gian Diego Tipaldi | Situation based mapping |
| 14:00-14:30 | Luca Marchetti | Improving data fusion methods with reliability |
| 14:30-15:00 | Stefano Pellegrini | A Generalization of the ICP Algorithm for Articulated Bodies |
| 15:00-15:30 | Coffee break | |
| 15:30-16:00 | Alberto Valero | Pro-active Interaction for Semi-autonomous Mobile Robots |
| 16:00-16:30 | Matteo Leonetti | Survey on research issues in robocup legged league |
| 16:30-17:00 | Daniele Calisi | EXTRA TALK: Open-RDK |
| 18:00-19:00 | Dinner | |
| Wednesday, 9. April - Models, Logic, and Games | ||
| 8:00-9:00 | Breakfast | |
| 9:00-9:30 | Dr. Robert Mattmüller | An Introduction to Timed Games |
| 9:30-10:00 | Dr. Sebastian Kupferschmid | Fast Directed Model Checking via Russian Doll Abstraction |
| 10:00-10:30 | Prof. Dr. Jan-Georg Smaus | Logik und Abstraction, Verifikation und Falsifikation |
| 10:30-11:00 | Coffee break | |
| 11:00-18:30 | Downhill event | |
| 20:00-00:00 | Social dinner | |
| Thursday, 10. April - Distributed AI | ||
| 8:30-9:30 | Breakfast | |
| 9:30-10:00 | Prof. Dr. Marco Aiello | Service-Oriented Computing: Issues and Open Challenges |
| 10:00-10:30 | Elie EL Khoury | Transaction Management Integration into BPEL processes |
| 10:30-11:00 | Coffee break | |
| 11:00-11:30 | Eirini Kaldeli | A constraint-based approach to Web Service Composition |
| 11:30-12:00 | Dr. Vittorio Amos Ziparo | A Formal Model for Representation and Execution of Multi-Robot Plans |
| 12:00-13:00 | Farewell lunch | |
If you have any questions please do not hesitate to contact Dr. Alexander Kleiner.