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 wird als Blockseminar am 10. und 11. März 2005 in Jugendherberge Titisee-Veltishof stattfinden. (Die Jugendherberge liegt am Südufer des Titisees, am Europäischen Fernwanderweg "Westweg" oberhalb der Campingplätze.)

Zeit Vortragender Vortragstitel und Abstract
Donnerstag 10. März
8:40-9:18 Zug Freiburg(Breisgau) Hbf -- Titisee Bahnhof, anschliessend Bergwanderung zu Jugendherberge Titisee-Veltishof ca. 30 Minuten
9:10-9:48 Zug Freiburg(Breisgau) Hbf -- Titisee Bahnhof
10:00-10:04 Bus 7300 (Titisee-Todtnau-Basel) bis Feuerwehrheim/Jugendherberge
10:20-10:55 Prof. Dr. Maren Bennewitz (Juniorprof.) Enabling a humanoid robot to interact with multiple persons
10:55-11:30 Dr. Sven Behnke Soccer playing humanoid robots
11:30-11:55 Dr. Thilo Weigel On commercializing a table soccer robot
12:00-13:00 Mittagessen
13:00-13:30 Dapeng Zhang Action selection and action control for playing table soccer using Markov decision processes
13:30-14:05 Jürgen Müller ISO-Learning: learning to avoid reflexes
14:05-14:40 Dr. Alexander Kleiner Active search and rescue within real disaster areas
14:40-15:10 Uwe Zeisberger Pfadplanung unter Unsicherheit -- Das Canadian Traveller's Problem
15:10-15:30 Kaffeepause
15:30-16:05 Prof. Dr. Sanjiang Li RCC8 binary constraint network can be consistently extended
16:05-16:40 Dr. Mehmet Giritli Logics of polygonal shapes
16:40-17:15 Prof. Dr. Marco Ragni Extensions of Qualitative Spatial Reasoning
17:15-17:50 Alexander Scivos A relation algebra for reasoning about dependencies
18:00- Abendessen
Freitag 11. März
7:30-8:30 Frühstück
8:35-9:10 Dr. Stefan Wölfl CASL specifications of qualitative calculi
9:10-9:45 Prof. Dr. Jan-Georg Smaus The monotonicity relaxation heuristics in bounded model checking
9:45-10:20 Dr. Sebastian Kupferschmid Enhancing UPPAAL with automatically generated heuristic functions: first results
10:20-10:40 Kaffeepause
10:40-11:15 Dr. Markus Büttner Reducing the size of search trees in partially observable domains
11:15-11:50 Michael Brenner Multiagent plans: from individual perception to synchronized plan execution
12:00-12:50 Mittagessen
12:50-13:05 Mathias Exner A new earthquake simulator for RoboCup Rescue
13:05-13:40 Prof. Dr. Malte Helmert On maintainable websites, with an application to the Abteilungsseitenproblem
13:40-13:55 Bolormaa Tseden Kognitive Präferenzen im RCC-8-Kalkül
13:55-14:25 Markus Degen Übertragen gelernter Klauseln im Kontext von Planen als Erfüllbarkeit
14:25-15:00 Christian Köhler Multi-level consistency in cognitive vision systems
15:00-15:30 Wanderung von Jugendherberge Titisee-Veltishof zu Titisee Bahnhof
15:38-16:18 Zug Titisee-Freiburg
15:47-15:56 Bus 7300 (Basel-Todtnau-Titisee) ab Feuerwehrheim/Jugendherberge
16:08-16:48 Zug Titisee-Freiburg

Bei Fragen bitte eine Nachricht an Prof. Dr. Malte Helmert.