Lehrstuhl KI, Institut für Informatik, Universität Freiburg

Das Seminar findet am 6. und 7. Oktober als ein zweitägiges Blockseminar im Uni-Haus Schauinsland statt.

Die Abstrakte der Vorträge sind als eine PDF Datei erhältlich.

40 Minuten pro Vortrag, inklusive 5 bis 10 Minuten Diskussion. Doktoranden geben einen kurzen Ausblick auf ihre geplanten Doktorarbeiten.

Zeit Vortragender Titel des Vortrags 1. Tag 11:00-11:40 Christian Köhler Qualitative spatio-temporal queries on trajectory data from model-based tracking 11:40-12:20 Dr. Jan-Georg Smaus Termination of logic programs using various dynamic selection rules 12:20-13:00 Sebastian Kupferschmid An introduction to timed automata and model-checking 13.00-14:40 das Mittagessen 14:40-15:05 Dr. Stefan Wölfl Branching Allen - Reasoning with intervals in branching time (1) 15:05-15:40 Marco Ragni Branching Allen - Reasoning with intervals in branching time (2) 15:40-16:15 Alexander Scivos 16.15-16:40 die Kaffeepause 16:40-17:20 Malte Helmert Dialectic strategy search: Hegel meets Mehdorn 17:20-18:00 Thilo Weigel KiRo - A table soccer robot ready for the market 2. Tag 9:10- 9:50 Jürgen Müller Learning by imitation 9:50-10:30 Dr. Sven Behnke Humanoide Roboter 10:30-11:10 Alexander Kleiner Active search and rescue within simulated disaster areas 11:10-11:40 die Kaffeepause 11:40-12:20 Mehmet Giritli Logics of vector spaces 12:20-13:00 Dr. Markus Büttner Application of partial-order reduction in planning 13.00-14:30 das Mittagessen 14:30-15:10 Michael Brenner Continuous planning in dynamic partially-observable environments 15:10-15:50 Dr. Jussi Rintanen Planning as satisfiability

Bei Fragen bitte eine Nachricht an Dr. Jussi Rintanen.