Diploma and Master Theses (authored and supervised):

C. Drescher:
"Symmetry Breaking for Answer Set Programming";
Supervisor: T. Eiter, M. Fink, T. Krennwallner, T. Walsh; Institut für Informationssysteme, 2010.

Related Projects:
Project Head Thomas Eiter:
Modulare HEX-Programme

Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems

Created from the Publication Database of the Vienna University of Technology.