Oberseminar Grundlagen der Künstlichen Intelligenz
In diesem Seminar tragen Gäste, Mitarbeiter, Doktoranden und Studenten der Abteilung KI über aktuellen Forschungsthemen vor.
Das Oberseminar findet im Wintersemester 05/06 als Blockveranstaltung am 30./31. März 2006 in der Jugendherberge Feldberg-Hebelhof statt.
| Zeit | Vortragender | Vortragstitel |
|---|---|---|
| Donnerstag 30. März | ||
| 11:00-11:40 | Dr. Stefan Wölfl | Heterogeneous Verification of Composition Tables |
| 11:40-12:00 | Micha Altmeyer | ATL-Modelchecking |
| 12:00-13:30 | Mittagessen | |
| 13:30-14:10 | Prof. Dr. Sanjiang Li | Combining Topological and Directional Information: First Results |
| 14:10-14:50 | Prof. Dr. Marco Ragni | A computational model for reasoning with spatial models |
| 14:50-15:30 | Alexander Scivos | Reasoning in Calculi for Networks |
| 15:30-16:00 | Kaffeepause | |
| 16:00-16:40 | Dr. Alexander Kleiner | Cheap, Mobile And Autonomous Rescue Robots |
| 16:40-17:00 | Rainer Kümmerle | Structure recognition within 3D data based on Markov Random Fields (MRFs) |
| 17:00-17:20 | Bastian Steder | Reinforcement Learning for action selection of a rescue robot |
| 17:20-17:40 | Christian Dornhege | Examination of different methods for Visual Odometry |
| 17:40-18:00 | Sebastian Trüg | An Integration of Manipulation and Action Planning |
| 18:00- | Abendessen | |
| Freitag 31. März | ||
| 7:30-8:30 | Frühstück | |
| 9:10-9:40 | Robert Mattmüller | Erfüllbarkeitsbasierte Handlungsplanung mit temporal erweiterten Zielen |
| 9:40-10:20 | Prof. Dr. Maren Bennewitz (Juniorprof.) | Metric Localization with SIFT Features using a Single Camera |
| 10:20-10:40 | Kaffeepause | |
| 10:40-11:20 | Dr. Vittorio Amos Ziparo | Goal Oriented Extensive Games |
| 11:20-12:00 | Dr. Dapeng Zhang | Learning Methods for the Table Soccer Robots |
| 12:00-13:00 | Mittagessen | |
| 13:00-13:40 | Michael Brenner | Continual Planning and Acting in Dynamic Multiagent Environments |
| 13:40-14:20 | Prof. Dr. Malte Helmert | Approximation Properties of Planning Benchmarks |
| 14:20-15:00 | Prof. Dr. Jan-Georg Smaus | Representing a Propositional Formula as one Linear Pseudo-Boolean Constraint |
Bei Fragen wenden Sie sich bitte an Prof. Dr. Jan-Georg Smaus.