mlsanityData to 14 Oct 2026

Generating explanations for answer set programming applications

arXiv 2104.08963 ↗First posted 18 Apr 2021cs.AIcited by 1

Not on the map. Why?

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.

Key facts. Cited by 1 paper 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

2 of 10 references.

References · 2

  1. 2014Justifying Answer Sets using Argumentationcited by 12
  2. 2020An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenariocited by 2

Built on by

Cited by year

Citing papers per year: 2021: 1.

1 paper.

  1. 2021exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rulescited by 3