Prospectus

nl en

Programming systems in artificial intelligence

Course 2015-2016

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