Uni-Logo

Habilitation theses

Jan-Georg Smaus
Logic and Abstraction, Verification and Falsification
November 2008
Download: (PDF)
Jussi Rintanen
Automated Planning: Algorithms and Complexity
December 2005
Jana Koehler
IPP: A Planning System for ADL and Resource-Constrained Planning Problems
January 2000