Wintersemester 2014/2015
- Advanced Problem Solving Techniques
- Agent Technology
- Cognitive Robotics Project
- Current Topics in Computational Intelligence 1
- Declarative Modelling
- Declarative Problem Solving and Optimization
- Knowledge-based Gaming
- Knowledge-based Systems
- Solver Construction Project II
- Wissensrepräsentation und -verarbeitung