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.

Current and Past Teaching

Department of Computer Science, Kansas State University

Explainable Deep Learning, Fall 2023.
Neural-Symbolic Integration: Deep Learning and Knowledge Representation in Artificial Intelligence, Spring 2023.
Knowledge Representation for the Semantic Web, Fall 2022.
Knowledge Graphs, Spring 2022.
Knowledge Representation for the Semantic Web, Fall 2021.
Neural-Symbolic Integration: Deep Learning and Knowledge Representation in Artificial Intelligence, Spring 2021.
Knowledge Representation for the Semantic Web, Fall 2020.
Knowledge Representation and Reasoning, Spring 2020.
Knowledge Representation for the Semantic Web, Fall 2019.

Department of Computer Science, Wright State University

Logic for Computer Scientists (CS2210), Spring 2019.
Logic for Computer Scientists (CS2210), Fall 2018.
Logic for Computer Scientists (CS2210), Spring 2018.
Logic for Computer Scientists (CS2210), Fall 2017.
Computability and Complexity (CS7220), Spring 2016.
Logic for Computer Scientists (CS2210), Fall 2015.
Logic for Computer Scientists (CS2210), Spring 2015.
Logic for Computer Scientists (CS2210), Fall 2014.
Knowledge Representation, Spring 2014.
Logic for Computer Scientists (CS2210), Fall 2013.
Discrete Structures and their Algorithms (CS 2200), Spring 2013.
Logic for Computer Scientists (CS 2210), Fall 2012.
Introduction to Discrete Structures (CS 1200), Fall 2012.
Knowledge Representation: Advanced Topics (CS 790), Spring 2012.
Computational Complexity and Algorithm Analysis (CS740), Spring 2012.
Knowledge Representation for the Semantic Web (CS790), Winter 2012. Based on the textbook Foundations of Semantic Web Technologies.
Logic for Computer Scientists (CS499/699), Winter 2012.
Introduction to Discrete Structures for Computer Scientists, Fall 2011.
Computational Complexity and Algorithm Analysis (CS740), Spring 2011.
Knowledge Representation for the Semantic Web (CS790), Winter 2011. Based on the textbook Foundations of Semantic Web Technologies.
Logic for Computer Scientists (CS499/699), Winter 2011.
Theoretical Foundations of Computing (CS410/610, MTH410/610), Fall 2010.
Computational Complexity and Algorithm Analysis (CS740), Spring 2010.
Logic for Computer Scientists (CS499/699), Spring 2010.
Knowledge Representation for the Semantic Web (CS799), Winter 2010. Based on the textbook Foundations of Semantic Web Technologies.

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.

Past Teaching

Complete list up to 2006

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