Answer Set Programming

Course Type

Bachelor’s Lab Course (SPP)

Study Programs

Content

In this lab course, students will be introduced to Answer Set Programming (ASP), a form of declarative programming rooted in logic programming and nonmonotonic reasoning. ASP is a powerful tool for solving complex combinatorial problems, widely used in AI and knowledge representation. The course focuses on a hands-on approach: students will learn the basic syntax and semantics of ASP, work with modern ASP solvers, and develop their own solutions to real-world problems. Through a series of guided exercises and projects, students will gain practical experience in modeling problems declaratively and understanding the underlying solving techniques. No prior knowledge of ASP is required — all necessary concepts will be introduced step-by-step. By the end of the course, students will be able to independently design and implement ASP-based solutions.

Registration

Please register via the SUPRA platform offered by the department of CS. If you have any questions, please contact Francesco Chiariello.