Uni-Logo

Oberseminar Grundlagen der Künstlichen Intelligenz

In der Seminarreihe tragen Gäste, Doktoranden und Studenten der Abteilung KI über aktuellen Forschungsthemen vor. Alle Interessenten sind herzlichst zu den Vorträgen eingeladen!

Das Oberseminar findet dienstags um 15.15 Uhr in Gebäude 052, Raum 00-016 statt. Im Allgemeinen dauert ein Vortrag 45 Minute inklusive 10 Minuten für Fragen und Diskussion.

Datum Vortragender Vortragstitel und Abstract
12. April Prof. Dr. Sanjiang Li RCC8 binary constraint network can be consistently extended
26. April Dr. Jussi Rintanen Complexity of AI planning: nondeterminism, partial observability, and plans with an infinite horizon
3. Mai Dr. Maren Bennewitz Enabling a humanoid robot to interact with multiple persons
10. Mai Michael Brenner Multiagent plans: from individual perception to synchronized plan execution
17. Mai Pfingsten
24. Mai Dr. Markus Büttner Satisfiability planning with constraints on the number of actions
31. Mai Prof. Dr. Malte Helmert Approximation algorithms for planning benchmarks
7. Juni Mehmet Giritli Logics for reasoning with non-numeric and comparative distances
14. Juni Alexander Scivos Relation Algebras with Preferences
21. Juni Prof. Dr. Alexander Kleiner Building Rescue Robots From Scratch
28. Juni Dr. Jussi Rintanen Part 1: Tutorial on state-space traversal techniques in planning
5. Juli Dr. Jussi Rintanen Part 2: Tutorial on state-space traversal techniques in planning
12. Juli Dr. Jussi Rintanen Part 3: Tutorial on state-space traversal techniques in planning
31. August, 16:15 Uhr Jochen Eisinger Deciding First-Order Logic with Real and Integer Addition: An Automata-Based Approach
8. September 14:00 Uhr Dr. Dapeng Zhang Imitation for Dynamic Game Competitions in Noisy Unpredictable Environment

Bei Fragen bitte eine Nachricht an Dr. Jussi Rintanen.