C. Drescher:
"Symmetry Breaking for Answer Set Programming";
Betreuer/in(nen): T. Eiter, M. Fink, T. Krennwallner, T. Walsh; Institut für Informationssysteme, 2010.
Projektleitung Thomas Eiter:
Modulare HEX-Programme
Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems