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.


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.