1.5k citations
- Centre National de la Recherche ScientifiqueFR91 papers
- Pennsylvania State UniversityUS78 papers
- Instituto de Astrofísica de CanariasES77 papers
- Lomonosov Moscow State UniversityRU75 papers
- University of ArizonaUS73 papers
- Universidad de La LagunaES72 papers
- University of VirginiaUS69 papers
- The University of TokyoJP67 papers
- Vanderbilt UniversityUS66 papers
- Los Alamos National LaboratoryUS62 papers
- Space Telescope Science InstituteUS62 papers
- The University of Texas at AustinUS60 papers
14 papers · 1 filter
Explanations for Answer Set Programming
Mario Alviano, Ly Ly Trieu, Tran Cao Son +1
The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports differe…
Proceedings 39th International Conference on Logic Programming
Enrico Pontelli, Stefania Costantini, Carmine Dodaro +7
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 t…
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
Ly Ly Trieu, Tran Cao Son, Marcello Balduccini
We present an enhancement of exp(ASP), a system that generates explanation graphs for a literal l - an atom a or its default negation ~a - given an answer set A of a normal logic p…
Planning with Incomplete Information in Quantified Answer Set Programming
Jorge Fandinno, François Laferrière, Javier Romero +2
We present a general approach to planning with incomplete information in Answer Set Programming (ASP). More precisely, we consider the problems of conformant and conditional planni…
Generating explanations for answer set programming applications
Ly Ly Trieu, Tran Cao Son, Enrico Pontelli +1
We present an explanation system for applications that leverage Answer Set Programming (ASP). Given a program P, an answer set A of P, and an atom a in the program P, our system ge…
On the Relationship Between KR Approaches for Explainable Planning
Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son
In this paper, we build upon notions from knowledge representation and reasoning (KR) to expand a preliminary logic-based framework that characterizes the model reconciliation prob…