Toegangseis
The students are expected to be familiar with the basics of artificial intelligence and concepts of programming languages.
Onderwijsvorm
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.
Evaluation
The grade is based on an evaluation of presentations and reports during the semester.
Leerdoelen
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.
Timetable
The most recent timetable can be found at the LIACS website
Registration
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