# Generating explanations for answer set programming applications

arXiv: https://arxiv.org/abs/2104.08963 · HTML: https://mlsanity.com/paper/2104.08963/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 2 of its 10 references that are in the map.
- First posted on arXiv 18 Apr 2021.

## Builds on (most cited first, 2 of 2)

- [Justifying Answer Sets using Argumentation](https://mlsanity.com/paper/1411.5635/) (2014)
- [An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario](https://mlsanity.com/paper/2008.01253/) (2020)

## Built on by (most cited first, 1 of 1)

- [exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules](https://mlsanity.com/paper/2109.08292/) (2021)

## Abstract (arXiv)

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 generates all explanation graphs of a which help explain why a is true (or false) given the program P and the answer set A. We illustrate the functionality of the system using some examples from the literature.