Teaching (selection)

Department of Computer Science, Kansas State University

Knowledge Graphs, Spring 2024.
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.

International Master Programme in Computational Logic at TU Dresden

Lecture Operator-based semantics for logic programs. Winter Semester 2004/2005.