Diploma and Master Theses (authored and supervised):
M. Simkus:
"Deciding Description Logics around SHIQ by Translation into Decidable Disjunctive Logic Programs";
Supervisor: T. Eiter;
Institut fuer Informationssysteme, Abteilung Wissensbasierte Systeme 184/3,
2006;
final examination: 2006-06-23.