P. Schüller: "Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation"; Supervisor, Reviewer: T. Eiter, G. Ianni; Institut für Informationssysteme, 2012; oral examination: 2012-08-31.