Advanced Programming and Applications - L3 course Introduction to Artificial Intelligence - L3 course Mind, Machine and Morality - L2 course Algorithmic Complexity - M1 course Knowledge Representation and Reasoning - M1 course Automated Negotiation - M2 course Non-Monotonic Reasoning - M1 course