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.
| Zeit | Vortragender | Vortragstitel |
|---|---|---|
| Montag 26. März | ||
| 11:00-11:40 | 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 Prof. Dr. Marco Ragni.