Teaching
I'm currently responsible for the following courses:
Model-Based AI, Open Universiteit (Ma Artificial intelligence)
Logica en Informatica, Open Universiteit (Bachelor Computer Science)
Ontology Engineering, Open Universiteit (Bachelor Computer Science)
Answer Set Programming, University of Cape Town (Ma Computer Science)
Supervision
I supervised theses on the following topics:
L. Slater: Knowledge Compilation for Ranking-Based Defeasible Reasoning (Ma-Thesis, University of Cape Town)
M. Vandecasteele: Enhancing Reinforcement Learning Through a Neurosymbolic Approach: Learning Through ASP-guided Decision-making (Ma-Thesis, Open Universiteit).
D. Ottevangers: The Symbolic Feedback Loop: A Neurosymbolic Framework for Super Mario Deep Reinforcement Learning, (Ma-Thesis, Open Universiteit).
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).
Open Thesis topics
Currently, the following topics for a thesis under my supervision are open:
Autoformalisation of Answer Set programs using LLMs (based on https://ceur-ws.org/Vol-4071/paper12.pdf)
Applying and implementing Conditional Independence in AFT-based formalisms (e.g. logic programming, abstract dialectical frameworks)
Extending the metaft-library for AFT-based semantics for logic programming (extending e.g. to disjunctive logic programs, choice rules, or aggregates)