Note: This list is currently being revised and does not claim to be complete.
Diploma thesis
Terminologies, defaults, and probabilities:
an integrated approach for knowledge representation and reasoning
Author: Oliver Pier (November 2007)
Diploma thesis
Translating PLC Automata into Timed Automata
Author: Diana Dragojevic (July 2007)
This diploma thesis deals with the translation of PLC automata into timed automata. Such a translation is of interest, because currently there is no model checker which accepts PLC automata directly as input. The existing translation is part of Moby/RT, a CASE tool for PLC automata. Moby/RT verifies PLC automata by first translating them into Uppaal's input language and using Uppaal for verification afterwards. However, Moby/RT uses only a small fraction of Uppaal's input language; this leads to an unnecessary blow up of the resulting automata.
This thesis describes a translation which makes use of contemporary features of the input language. The resulting timed automata are more natural as the ones produced by Moby/RT. This is because one transition of the PLC automata is represented by one transition in the translation.
Diploma thesis
An automata-theoretic heuristic for classical AI
planning
Author: Dennis Jung (July 2007)
Download: (PDF)Verification of invariants in model checking is a problem that is closely related to classical AI planning. It is thus often possible to successfully apply ideas from one of these areas to the other. In this thesis, an automata-theoretic heuristic from the model checking area is applied to classical AI planning tasks and compared to other well-known planning heuristics such as the FF heuristic.
Diploma thesis
Basic Action Theories with the same expressive power as ADL with arithmetic functions
Author: Mathias Exner (June 2007)
The integration of action formalisms like Golog and planning techniques, which usually use PDDL as description language, would provide great advantages. First endeavours have been made by identifying a subset of the situation calculus, which is the basis of Golog, with the same expressive power as the ADL fragment of PDDL.
In this thesis this framework shall be enlarged to include the arithmetic functions of PDDL. For this, requirements on the situation calculus must be identified that lead to the same expressivity. This property shall be proven by means of compilation techniques which also directly provide a method to translate problems of one formalism into the other. This translation shall be implemented. Furthermore, for some of the requirements shall be proven that they are necessary, or it shall be shown to what extent they can be eased.
Diploma thesis
Multi-agent action planning by model checking in ATL
Author: Micha Altmeyer (May 2007)
Diploma thesis
Identification of phase transitions in AI Planning
benchmarks
Author: Paul Dischinger (May 2007)
Download: (PDF)In many NP-complete decision problems, one can observe so called phase transitions between regions of underconstrained positive and overconstrained negative instances. These transitions can usually be characterized by a problem dependent order parameter. Instances far away from the phase boundary can often be easily shown to be positive or negative instances, respectively. Many of the really hard instances are located near the phase boundary.
In this thesis, phase transitions in planning benchmark problems are investigated and described empirically, as knowledge about phase transitions potentially permits the automatic generation of particularly hard benchmark instances.
Diploma thesis
Planning and learning of autonomous robot behaviour
in difficult terrain
Author: Christian Dornhege (April 2007)
Download: (PDF)Diploma thesis
Subsumption deterministischer Aktionsschemata
Author: Patrick Eyerich (April 2007)
Download: (PDF)Diploma thesis
Algorithms for partial satisfaction planning
Author: Benjamin Lempp (March 2007)
Download: (PDF)Partial satisfaction planning or over-subscription planning is an extension of the classical planning problem where the agent has the option of only partially satisfying a given goal. To estimate plan quality, the utility provided by the satisfied subgoals is compared to the cost of the plan.
In this thesis, algorithms for partial satisfaction planning are implemented, focusing on the problem of selecting an appropriate set of subgoals. For planning the actual sequence of actions for a given set of subgoals, a classical planner is used as a black box. Several new approaches to partial satisfaction planning are evaluated against each other and against techniques from the literature.
Diploma thesis
Modellierung und Implementierung eines Online-Beraters auf
Basis eines hybriden Recommendersystems am Beispiel Mode
Author: Viara Halatcheva (September 2006)
Diploma thesis
Ein wissensbasierter Benutzermodellierungs-Service für
Sprachdialogsysteme im Automobilbereich
Author: Julia Peltason (July 2006)
Download: (PDF)Diploma thesis
Learning Road Traffic Control: Towards Practical Traffic
Control Using Policy Gradients
Author: Silvia Richter (July 2006)
Download: (PDF)Diploma thesis
Codierungen paralleler Pläne im Kontext
erfüllbarkeitsbasierter Handlungsplanung
Author: Martin Wehrle (May 2006)
Download: (PDF)Diploma thesis
Erfüllbarkeitsbasierte Handlungsplanung mit temporal erweiterten Zielen
Author: Robert Mattmüller (March 2006)
Download: (PS.GZ)Diploma thesis
An integration of manipulation and action planning
Author: Sebastian Trüg (February 2006)
Download: (PDF)Diploma thesis
Approximationseigenschaften von Transportproblemen in der
Handlungsplanung
Author: Michael Drescher (January 2006)
Download: (PS.GZ)Diploma thesis
Verkehrsflussoptimierung durch Abflugplanung von
Kurzstreckenflügen
Author: Philipp Jarvers (January 2006)
Download: (PDF)Diploma thesis
Pfadplanung unter Unsicherheit
Author: Uwe Zeisberger (April 2005)
Download: (PS.GZ)Diploma thesis
Entwicklung eines Double-Dummy Skat Solvers mit einer Anwendung
für verdeckte Skatspiele
Author: Sebastian Kupferschmid (July 2003)
Download: (PS.GZ)Diploma thesis
MITRA: Aktionsauswahl im Tischfußball
Author: Moritz Tacke (June 2003)
Download: (PS.GZ)Diploma thesis
Selbstlokalisierung im Roboter-Fußball unter Verwendung
einer omnidirektionalen Kamera
Author: Erik Schulenburg (February 2003)
Download: (PS.GZ)Diploma thesis
Robuste Positionsschätzung mittels Monte-Carlo-Lokalisierung in der
RoboCup-Umgebung
Author: Björn Fischer (July 2002)
Download: (PS.GZ)Diploma thesis
Reinforcement-Lernen beim Roboterfußball
Author: Markus Dietl (April 2002)
Download: (PS.GZ)Diploma thesis
On the Complexity of Planning in Transportation and
Manipulation Domains
Author: Malte Helmert (March 2001)
Download: (PS.GZ)Diploma thesis
Roboterfußball: Multiagentensystem CS Freiburg
Author: Klaus Müller (February 2001)
Download: (PS.GZ)Diploma thesis
Einführung in eine Theorie der ternären RST-Kalküle für
qualitatives räumliches Schließen
Author: Alexander Scivos (October 2000)
Download: (PS.GZ)Diploma thesis
Roboter-Fußball: Pfadplanung in dynamischer Umgebung
Author: Augustinus Topor (April 2000)
Download: (PS.GZ)Diploma thesis
Roboter-Fußball: Zuverlässige Ballerkennung und
Positionsschätzung
Author: Maximilian Thiel (April 2000)
Download: (PS.GZ)Diploma thesis
Aktionsauswahl in dynamischen Umgebungen am Beispiel
Roboter-Fußball
Author: Christian Reetz (April 2000)
Download: (PS.GZ)Diploma thesis
Effiziente Navigation im Lösungsraum eines graphischen
Layout-Problems
Author: Ronny Fehling (April 2000)
Diploma thesis
Synthese von Aufzugssteuerungen mit Hilfe von
constraintbasierten Suchververfahren
Author: Bernhard Seckinger (December 1999)
Download: (PS.GZ)Diploma thesis
Ein Überdeckungsproblem für beliebig dimensionierte
Hyperquader
Author: Jörg Hoffmann (June 1999)
Download: (PS.GZ)Diploma thesis
Roboter-Fußball: Selbstlokalisierung, Weltmodellierung,
Pfadplanung und verhaltensbasierte Kontrolle
Author: Thilo Weigel (April 1999)
Download: (PS.GZ)
