Student Supervision

Selected scientific publications, presentations, 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

• 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.
• Claudia Drobel, Efficient Reasoning in OWL and F-Logic - Steps Towards Distribution. Diplomarbeit, University of Mannheim, April 2008. (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, 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.

Selected Presentations by undergraduate students (defenses of theses excluded)

• Sebastian Bader, From Logic Programs to Iterated Function Systems. Poster at the Interdisciplinary College, Günne, Germany, March 2003.
• Matthias Wendt, On Relationships between Semantic Operators in Logic Programming. 4th Slovakian Conference in Applied Mathematics for Undergraduate and Graduate Students, SCAM 2002, April 2002, Bratislava, Slovak Republic.
• Matthias Wendt, No models?! A pointless approach to disjunctive paraclassical logics. Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, June 2003.