I am usually involved in the following courses (more information on Blackboard):
- IN4010TU Artificial Intelligence Techniques
- TI1906 Logic Based Artificial Intelligence
In the past I have (co)-taught many courses on topics such as multi-agent systems, non-monotonic logics, temporal logics, artificial intelligence, and negotiation.