Foundations of AI - Group Seminar

In this seminar researchers, students, and guests of the AI group report on their current research.

In the winter term 2006/2007 the seminar takes place at Rome from March 26th until March 29th.

Abstracts (PDF)

Zeit Vortragender Vortragstitel
Montag 26. März
11:00-11:40 Prof. Dr. Alexander Kleiner Firemen won't loop
11:40-12:00 Dr. Dapeng Zhang Learning a New Action Sequence with a Table Soccer Robot by Observing and Imitating
12:00-13:30 Mittagessen
13:30-14:10 Dr. Robert Mattmüller Integrating Selective and Symbolic Approaches for ATL Model Checking
14:10-14:50 Dr. Gabriele Röger Basic Action Theories with the same Expressive Power as ADL
14:50-15:30 Prof. Dr. Malte Helmert Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning
15:30-16:00 Kaffeepause
16:00-16:40 Prof. Dr. Jan-Georg Smaus Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

If you have any questions, please contact apl. Prof. Dr. Marco Ragni.