Oberseminar Grundlagen der Künstlichen Intelligenz
In diesem Seminar tragen Mitarbeiter, Doktoranden, Studenten und Gäste der Abteilung KI über aktuellen Forschungsthemen vor.
Das Oberseminar findet im Wintersemester 2006/2007 als Blockveranstaltung vom 26.3. bis zum 29.3.2007 in Rom statt.
| 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 |
Bei Fragen wenden Sie sich bitte an Prof. Dr. Marco Ragni.