*Result*: ASP Essentials: Modelling and Efficient Solving (Invited Paper)

Title:
ASP Essentials: Modelling and Efficient Solving (Invited Paper)
Contributors:
Giuseppe Mazzotta and Francesco Ricca
Publisher Information:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Publication Year:
2025
Collection:
DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics )
Document Type:
*Academic Journal* article in journal/newspaper<br />conference object
File Description:
application/pdf
Language:
English
Relation:
Is Part Of OASIcs, Volume 138, Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.RW.2024/2025.8
DOI:
10.4230/OASIcs.RW.2024/2025.8
Accession Number:
edsbas.CA02E3B1
Database:
BASE

*Further Information*

*Answer Set Programming (ASP) is a logic-based Knowledge Representation and Reasoning (KRR) paradigm that facilitates rapid prototyping of solutions for complex problems. It is particularly effective for tackling Deep Reasoning tasks involving exponentially large search spaces, such as combinatorial search and optimization. While getting started with ASP is relatively easy, mastering its advanced constructs and scaling solutions to real-world problem sizes can be challenging. This paper provides an introduction to ASP, guiding the reader from the fundamentals of the language to the application of programming methodologies and the computation of answer sets. Beyond the core framework, the paper also examines selected extensions of ASP that enable the modeling of complex problems, as well as compilation techniques designed to enhance solving efficiency. Furthermore, it mentions some recent tools that combine ASP with LLMs.*