Answer Set Programming Tutorial
Abstract
This tutorial introduces declarative problem solving using Answer Set Programming (ASP) and the clingo ASP system. Participants will learn ASP fundamentals, exploring its syntax and semantics through hands-on examples. The session features the Tower of Hanoi as a case study, demonstrating how to model and solve problems declaratively.
Date
May 22, 2023
Event
Invited Lecture for the course Formal Methods for Strategic Reasoning, University of Naples Federico II.
Location
Naples, Italy
