Group Seminar Foundations of Artificial Intelligence
In this seminar researchers, students, and guests of the AI group report on their current research.
Time and place
The "Oberseminar" will take place from 7th of April till 10th of April in the "Fachschaftshaus" at the "Schauinsland" mountain. It will be held jointly with two research groups from the University of Groningen (The Netherlands), and the Università di Roma "La Sapienza" (Italy)".
Schedule
| Time | Speaker | Title of the talk |
|---|---|---|
| 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.