Uni-Logo

Ph.D. theses

Note: This list is currently being revised and does not claim to be complete.

Patrick Eyerich
Beyond Classical Planning: Temporal and Probabilistic Extensions
FreiDok Freiburg, October 2013
Download: (FreiDok)
Sebastian Kupferschmid
Directed Model Checking for Timed Automata
FreiDok Freiburg, December 2009
Download: (FreiDok)
Marco Ragni
Spatial Representation, Complexity and Deduction: A Cognitive Complexity Theory
Akademische Verlagsgesellschaft Berlin, March 2008
Alexander Kleiner
Mapping and Exploration for Search and Rescue with Humans and Mobile Robots
FreiDok Freiburg, February 2008
Download: (FreiDok)
Malte Helmert
Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition
Springer-Verlag Heidelberg, January 2008

Note: The title of the thesis was changed upon publication in the Springer LNAI series. The original title of the thesis was Solving Planning Tasks in Theory and Practice.

Thilo Weigel
Roboter-Fußball: Perzeption, Deliberation und Aktion autonomer Systeme in dynamischen Umgebungen
FreiDok Freiburg, June 2006
Download: (FreiDok)
Jörg Hoffmann
Utilizing Problem Structure in Planning: A Local Search Approach
Springer-Verlag Heidelberg, July 2003
Markus Jäger
Kooperierende Roboter: Gemeinsame Erledigung einer Reinigungsaufgabe
Shaker Verlag Aachen, September 2002
Christoph Dornheim
Einbettung planarer Graphen unter topologischen Constraints: Algorithmen und Komplexität
Shaker Verlag Aachen, September 2002
Jochen Renz
Qualitative Spatial Reasoning with Topological Information
Springer-Verlag Heidelberg, January 2002
Jens-Steffen Gutmann
Robuste Navigation autonomer mobiler Systeme
Akademische Verlagsgesellschaft Berlin, October 2000
Download: (PS.GZ)
Hanno Walischewski
Lernen und Interpretieren strukturierter Dokumente - Ein qualitativer Ansatz
FreiDok Freiburg, February 2000
Download: (FreiDok)
Stefan Jäger
Recovering Dynamic Information from Static, Handwritten Word Images
Fölbach Koblenz, July 1998