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