Pills of Answer Set Programming

author: Francesco Ricca, University of Calabria
author: Mario Alviano, University of Calabria
published: Sept. 1, 2023,   recorded: August 2023,   views: 1

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.
  Delicious Bibliography

 Watch videos:   (click on thumbnail to launch)

Watch Part 1
Part 1 1:18:52
!NOW PLAYING
Watch Part 2
Part 2 1:37:13
!NOW PLAYING
Watch Part 3
Part 3 1:31:08
!NOW PLAYING
Watch Part 4
Part 4 1:33:04
!NOW PLAYING
Watch Part 5
Part 5 1:44:06
!NOW PLAYING

Description

Answer Set Programming (ASP) is a logic-based Knowledge Representation and Reasoning (KRR) paradigm easing the fast prototyping of algorithms for complex problems. Indeed, ASP finds a natural application in solving problems characterized by search spaces of exponential size, which is the typical case for combinatorial search and combinatorial optimization. However, while moving the first steps in ASP is easy, being proficient with the most advanced linguistic constructs and scaling over realistic size instances is not necessarily a walk in the park. In this course we will show how to use ASP at several levels, from the basic use of ASP systems for computing answer sets of an ASP program, to more sophisticated use cases in which ASP itself is just one (even if of crucial importance) wheel in broader and more complex gears. We will give space to ASP internals, secure coding and explainability concerns (XAI).

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Write your own review or comment:

make sure you have javascript enabled or clear this field: