Teaching
I have been or am involved or responsible for the following courses:
Model-Based AI, first quarter 2022, Open Universiteit (Ma Artificial intelligence)
Argumentation in künstlicher Intelligenz, WT 2021-2022, TU Dortmund (Ma Informatik).
Commonsense Reasoning, ST 2021, TU Dortmund (Ma Informatik, TA).
Fortgeschrittene Themen der Wissensrepräsentation, ST 2021, TU Dortmund (Ma Informatik, TA).
Formale und Komputationale Modelle für Argumentation, WT 2020-2021, TU Dortmund (Ma Informatik).
Investigations into the Logical Foundations of Defeasible Reasoning: an Argumentative Perspective, tutorial in the Doctoral School in Philosophy and Human Sciences, University of Milan (January 2019).
Logic Boot Camp 2018: two day intensive course for Ba and Ma students in Philosophy and Cognitive Science (organised together with Daniel Skurt), Ruhr-University, Bochum.
Formal Argumentation, ST 2017, RU Bochum (Ba and Ma Philosophy and Cognitive Science).
Argumentation Based on Classical Logic: a short course given at the Logic Boot Camp 2017 RU Bochum.
Default logic: A Formal Account for Reasoning with Exception, WT 2016-2017, RU Bochum (Ba and Ma Philosophy and Cognitive Science).
Logic Boot Camp 2016: a two day intensive course for Ba and Ma students (organised together with Christian Straßer and Daniel Skurt), RU Bochum.
Exercises for Logic 1, WT 2015-2016, RU, Bochum (Ba Philosophy).
Supervision
I supervised theses on the following topics:
Ein Vergleich zwischen DeLP und wohlfundierten Semantiken für priorisierte logische Programme (Bachelor-Thesis, TU Dortmund).
Hybride Wissensänderungen auf der Basis von Rangfunktionen (Bachelor-Thesis, TU Dortmund).
Ein Vergleich zwischen Single-State Semantiken für Default-Logiken (Bachelor-Thesis, TU Dortmund).
Ein Vergleich zwischen ASPIC und wohl-fundierten Semantiken für priorisierte logische Programmen (Bachelor-Thesis, TU Dortmund).
Ein Vergleich zwischen abstrakter dialektischer Argumentation und OCF-Netzwerken (Bachelor-Thesis, TU Dortmund).
Lexikographische Inferenzen im Vergleich mit c-Repräsentationen (Bachelor-Thesis, TU Dortmund).