Student Supervision

Selected scientific publications, presentations, and theses by students working under my guidance (overseeing supervision: Steffen Hölldobler)

Markus Krötzsch, Generalized Ultrametric Spaces in Quantitative Domain Theory. Technical Report WV-04-02, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2004.
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.

Sebastian Bader, From Logic Programs to Iterated Function Systems. Interdisciplinary College, Günne, Germany, March 2003.

Sebastian Bader, From Logic Programs to Iterated Function Systems. Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, February 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, Unfolding the Well-founded Semantics. Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, May 2002.
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.

Sebastian Bader, From Logic Programs to Iterated Function Systems. Master's Thesis, Department of Computer Science, Dresden University of Technology, 2003.
Matthias Knorr, Level mapping characterizations for quantitative and disjunctive logic programs. Bachelor's Thesis, Department of Computer Science, Dresden University of Technology, 2003.
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.
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.

Back to my home page.