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)".

Driving Directions (only in English)

By cable car with Italian speaking guide (probably applies to people from Rome)

You will meet in the morning of the 7th of April apl. Prof. Dr. Marco Ragni who will take with you the tram and cable car for reaching the place.

UPDATE! Please meet apl. Prof. Dr. Marco Ragni at the "Bertoldsbrunnen" (in front of the drugstore dm) on Monday, 12:25 (sharp!). Costs per person: 13-50 € (one-way). Please be in time since missing the tram might lead to unforeseen consequences.

By car coming from Freiburg (probably applies to people from Groningen and Freiburg)

Route plan

Map with relevant locations

Please klick on one of the three items in order to learn about the locations. Alternatively, you can enlarge the map by the link below.

Enlarge view

Abstracts (only in Englisch)

Program and Abstracts (PDF)


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 apl. 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 Prof. 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 Prof. Dr. Alexander Kleiner.