nl en

Programming systems in artificial intelligence



The students are expected to be familiar with the basics of artificial intelligence and concepts of programming languages.


The course consists of a series of lectures, followed by a seminar series in which students present programming systems and their use of these systems in exercises.


The grade is based on an evaluation of presentations and reports during the semester.


This course will discuss the state-of-the-art of programming languages in artificial intelligence. It will make the student familiar with high performance tools for solving discrete constraint satisfaction and optimization problems, as well as systems for learning and reasoning under uncertainty. The student will understand the uses of these tools in data science, robotics, bioinformatics, gaming, and scheduling. Both programming languages for artificial intelligence and the underlying solvers for these languages will be discussed. Topics include constraint programming systems, SAT solvers, SMT solvers, and probabilistic programming systems.


The most recent timetable can be found at the LIACS website


You have to sign up for classes and examinations (including resits) in uSis. Check this link for more information and activity codes.

Contact information

Study coordinator Computer Science, Riet Derogee