\texttt{xASP}: an explanation generation system for answer set programming

DOI10.1007/978-3-031-15707-3_28OpenAlexW4293179518MaRDI QIDQ2694588

Ly Ly Trieu, Tran Cao Son, Marcello Balduccini

Publication date: 4 April 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_28

zbMATH Keywords

logic programminganswer set programmingexplainable AI

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Related Items (1)

xASP

Uses Software

• sCASP
• DiscASP
• xclingo

Cites Work

• Justifications for logic programs under answer set semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \texttt{xASP}: an explanation generation system for answer set programming