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 Prof. Dr. Jussi Rintanen Complexity of AI planning: nondeterminism, partial observability, and plans with an infinite horizon
3. Mai Prof. Dr. Maren Bennewitz (Juniorprof.) 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 Dr. Mehmet Giritli Logics for reasoning with non-numeric and comparative distances
14. Juni Alexander Scivos Relation Algebras with Preferences
21. Juni Dr. Alexander Kleiner Building Rescue Robots From Scratch
28. Juni Prof. Dr. Jussi Rintanen Part 1: Tutorial on state-space traversal techniques in planning
5. Juli Prof. Dr. Jussi Rintanen Part 2: Tutorial on state-space traversal techniques in planning
12. Juli Prof. 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 Prof. Dr. Jussi Rintanen.