Diploma and Master Theses (authored and supervised):

C. Redl:
"Development of a Belief Merging Framework for dlvhex";
Supervisor: T. Eiter, T. Krennwallner; 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.