The XAI system for answer set programming xASP2

DOI10.1093/LOGCOM/EXAE036MaRDI QIDQ7004085zbMATH OpenFDO

Authors M. Alviano, Ly Ly Trieu, Tran Cao Son, Marcello Balduccini

Publication date 3 April 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

zbMATH Keywords

knowledge representationreasoninganswer-set programmingexplainable artificial intelligence

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30) Logic programming (68N17)

Cites work

• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 7455706 (Why is no real title available?)
• scientific article; zbMATH DE number 7455713 (Why is no real title available?)
• scientific article; zbMATH DE number 7121940 (Why is no real title available?)
• A framework for compiling preferences in logic programs
• ASP-Core-2 input language format
• Advances in WASP
• Debugging non-ground ASP programs: technique and graphical tools
• How to build your own ASP-based system?!
• Justifications for logic programming
• Justifications for logic programs under answer set semantics
• Justifying answer sets using argumentation
• Logic programs with stable model semantics as a constraint programming paradigm
• On Nested Justification Systems
• Well-founded and stable semantics of logic programs with aggregates
• \texttt{xASP}: an explanation generation system for answer set programming

This page was built for publication: The XAI system for answer set programming xASP2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7004085)