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:

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