Student Supervision

Selected scientific publications and theses by students working under my guidance

Publications by undergraduate students under my supervision

• Markus Krötzsch, Generalized Ultrametric Spaces in Quantitative Domain Theory. Theoretical Computer Science 368 (1-2): 30-49, 2006.
• Matthias Wendt, Unfolding the Well-founded Semantics. Proceedings of the 4th Slovakian Student Conference in Applied Mathematics, Bratislava, April 2002. Journal of Electrical Engineering 53(12/s) 2002, 56-59, Slovak Academy of Sciences.

Theses supervised, co-supervised, or refereed

• Sebastian Bader, From Logic Programs to Iterated Function Systems. Master's Thesis, Department of Computer Science, Dresden University of Technology, 2003.
• Boris Bauer, Neuro-symbolisches Lernen von Ontologien. Diplomarbeit, AIFB, Universität Karlsruhe (TH), Karlsruhe, Germany, October 2007.
• Natalia Cherchago, Decidability of Reasoning Under the Well-founded Semantics. Master thesis, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2010.
• Natalia Cherchago, Semi-Decidable Query Evaluation under the Well-Founded Semantics. Project thesis, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2007.
• Claudia Drobel, Efficient Reasoning in OWL and F-Logic - Steps Towards Distribution. Diplomarbeit, University of Mannheim, April 2008. (external referee)
• Qian Han, Mining Shared Decision Trees between Datasets. Master thesis, Department of Computer Science and Engineering, Wright State University, 2010. (external referee)
• Gudrun Kappel, Study on the Semantics of Disjunctive Logic Programs on Bilattices. Diplomarbeit, AIFB, Universität Karlsruhe (TH), Karlsruhe, Germany, October 2007.
• Matthias Knorr, Level mapping characterizations for quantitative and disjunctive logic programs. Bachelor's Thesis, Department of Computer Science, Dresden University of Technology, 2003.
• Matthias Knorr, A Comparative Study of Disjunctive Well-Founded Semantics. Master Thesis, Departamento de Informatica, Universidade Nova de Lisboa, Portugal, and Fakultät Informatik, TU Dresden, Germany, 2006.
• Markus Krötzsch, Generalized Ultrametric Spaces in Quantitative Domain Theory. Project Thesis, Project Thesis, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2004.
• Markus Krötzsch, Description Logic Rules. Dissertation, University of Karlsruhe, Germany, 2010. (co-supervisor and member of dissertation committee)
• Markus Krötzsch, Morphisms in Logic, Topology, and Formal Concept Analysis. Master's Thesis, Department of Computer Science, Dresden University of Technology, 2005. Received the Georg-Helm-Preis for Best Master Thesis 2005
• Andreas Christian Lang, Four-valued Logics for Paraconsistent Reasoning. Diplomarbeit, Department of Computer Science, Dresden University of Technology, 2006.
• Jens Lehmann, Extracting Logic Programs from Artificial Neural Networks. Project Thesis, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2005.
• Jens Lehmann, Concept Learning in Description Logics. Diplomarbeit, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2006.
• Tobias Matzner, Die Jede-Welt-Annahme in der Logikprogrammierung als Pradigma zur Wissensverarbeitung für das Semantic Web. Diplomarbeit, AIFB, University of Karlsruhe, 2006.
• Daniel Oberle, Semantic Management of Middleware. PhD thesis, AIFB, University of Karlsruhe, 2005.
• Steffen Stadtmüller, Behandlung von inkonsistenten Wissensbasen durch das NeOn-Toolkit. Bachelorarbeit, AIFB, Universität Karlsruhe (TH), Karlsruhe, Germany. November 2008.
• Qingli Wang, Abbildung und Implementierung von Steuervalidierung und -berechnung in einem regelbasierten Rahmenkonzept für das SAP Tax & Revenue Management. Diplomarbeit, AIFB, Universität Karlsruhe (TH), Karlsruhe, Germany (in cooperation with SAP Walldorf). August 2005.
• Zhuoyao Wang, Semantischer Zugriff auf OWL von F-Logik. Diplomarbeit, AIFB, Universität Karlsruhe (TH), Karlsruhe, Germany, 2008.
• Matthias Wendt, Geometry and Axiomatics of Commonsense: Fragments. Master's Thesis, Department of Computer Science, Dresden University of Technology, 2004.
• Matthias Wendt, Towards a unified view of the hierarchy of logic program classes. Project Thesis, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2002.
• Maren Wilberscheid, Semantische Beschreibung elektronischer Marktplätze mit nichtmonotonen Beschreibungslogiken. AIFB, Universität Karlsruhe (TH), Karlsruhe, Germany, October 2007.
• Yining Wu, Implementation of Transforming Fuzzy Description Logics into Classical Description Logics. Project thesis, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2006.
• Yining Wu, Transforming Fuzzy Description Logic ALC_FL into Classical Description Logic ALCH. Master thesis, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2007.
• Andreas Witzel, Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach. Project thesis, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, 2005.