mlsanityData to 7 Oct 2026

Explanations for Answer Set Programming

arXiv 2308.15879 ↗First posted 30 Aug 2023cs.AIcited by 1

Not on the map. Why?

Abstract (arXiv)

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 different clingo constructs like the choice rules, the constraints, and the aggregates such as #sum, #min. This work formalizes and presents an explainable artificial intelligence system for a broad fragment of ASP, capable of shrinking as much as possible the set of assumptions and presenting explanations in terms of directed acyclic graphs.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 9 of its 31 references that are in the map. First posted on arXiv 30 Aug 2023.

Builds on

9 of 31 references.

References · 9

  1. 2019ASP-Core-2 Input Language Formatcited by 77
  2. 2020How to build your own ASP-based system?!cited by 20
  3. 2020Justifications for Goal-Directed Constraint Answer Set Programmingcited by 14
  4. 2014Justifying Answer Sets using Argumentationcited by 12
  5. 2020A System for Explainable Answer Set Programmingcited by 10
  6. 2018Debugging Non-Ground ASP Programs: Technique and Graphical Toolscited by 8
  7. 2021exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rulescited by 3
  8. 2021DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbotscited by 2
  9. 2022On Nested Justification Systems (full version)cited by 1

Built on by

Cited by year

Citing papers per year: 2024: 1.

1 paper.

  1. 2024Formal Explanations for Neuro-Symbolic AIcited by 5