Answer Set Programming

November 15th, 2022. 13:15 - 15:00

Answer Set Programming (ASP) is a logic-based formalism developed in the field of Knowledge Representation and Reasoning. It allows users to model and solve complex computational problems in a declarative way; indeed, they only need to design a set of ASP rules (a program) that describe the desired features of a solution; then, an ASP system is in charge of computing the intended models (called Answer Sets) of the logic program, that correspond one-to-one to the solutions of the problem at hand. This seminar provides an introduction to the ASP basic concepts.

Location: Zoom