Uni-Logo

Habilitationen

Jan-Georg Smaus
Logik und Abstraktion, Verifikation und Falsifikation
November 2008
Download: (PDF)
Jussi Rintanen
Automated Planning: Algorithms and Complexity
Dezember 2005
Jana Koehler
IPP: A Planning System for ADL and Resource-Constrained Planning Problems
Januar 2000