Teaching page

Current Teaching

I have interesting topics for theses on all levels, ranging over many topics related to my research interests. Simply make an appointment and talk with me about your interests, and we can try find a suitable topic for you.

Knowledge Representation for the Semantic Web, Winter 2010. Based on the textbook Foundations of Semantic Web Technologies.

Past Teaching

Complete list up to 2006

AIFB, University of Karlsruhe

Lecture Semantic Web Technologies II. Summer Semester 2009.
Seminar Game Theory and the Semantic Web. Summer Semester 2009. (internal link only)
Seminar Cognitive Information Processing. Summer Semester 2009. (internal link only)
Lecture Semantic Web Technologies I. Winter Semester 2008/2009.
Seminar Game Playing Computers and Artificial Intelligence. Winter Semester 2008/2009. (internal link only)
Lecture Semantic Web Technologies II. Summer Semester 2008.
Seminar Social Choice Theory and Artificial Intelligence. Summer Semester 2008.
Lecture Semantic Web Technologies I. Winter Semester 2007/2008.
Lecture Angewandte Informatik I. Winter Semester 2007/2008.
Seminar Wissensverarbeitung mit Neuronalen Netzen. Winter Semester 2007/2008.
Lecture Intelligente Systeme im World Wide Web. Summer Semester 2007.
Lecture Angewandte Informatik I. Winter Semester 2006/2007 at University of Karlsruhe.
Lecture Intelligente Systeme im World Wide Web. Summer Semester 2006.
Lecture Angewandte Informatik I. Winter Semester 2005/2006 at University of Karlsruhe.
Seminar Semantische Technologien: Advanced Topics. Winter Semester 2005/2006 at University of Karlsruhe.
Lecture Intelligente Systeme im World Wide Web. Summer Semester 2005.
Seminar Semantische Technologien: Methoden und Anwendungen. Summer Semester 2005.

International Master Programme in Computational Logic at TU Dresden

Seminar Knowledge Representation and Reasoning for the Semantic Web. Winter Semester 2005/2006 at TU Dresden.
Lecture Operator-based semantics for logic programs. Winter Semester 2004/2005.
Seminar Game Playing Computers and Artificial Intelligence. Summer Semester 2004.
Lecture by Prof. Hölldobler on Computational Logic and Connectionist Systems. Summer Semester 2004
Seminar Theoretical Aspects of Logic Programming and Nonmonotonic Reasoning. Winter Semester 2003/2004.
Seminar Logic and Connectionist Systems. Summer Semester 2002.

Student Supervision

Some old info on enhancement programmes for high-school students with high mathematical abilities I was involved in.