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)