Current courses
- Logic for Artificial Intelligence – bachelor
- Foundations of Agents – master
Previous courses
- Introduction to Knowledge Engineering – bachelor
- Intelligent Systems – bachelor
- Logic – bachelor
- Semantic Web – bachelor
- Multi-Agent Systems – master
- Constraint Satisfaction Problems – master
- Foundations of Knowledge Representation and Reasoning – master
- Ontology Engineering and Semantic Web – master
- Ontology Engineering – master