- Constraint Programming +1NOPT042 | Faculty of Mathematics and Physics
- Planning and SchedulingNAIL071 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence 1NAIL004 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence 2NAIL052 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence INAIX004 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence IINAIX052 | Faculty of Mathematics and Physics
- Artificial Intelligence 1NAIL069 | Faculty of Mathematics and Physics
- Artificial Intelligence INAIX069 | Faculty of Mathematics and Physics
- Introduction to Artificial Intelligence +1NAIL113 | Faculty of Mathematics and Physics
- Advanced Model TheoryNLTM011 | Faculty of Mathematics and Physics
- Introduction to Mathematical LogicNMAG162 | Faculty of Mathematics and Physics