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).