Advancements in xASP, an XAI System for Answer Set Programming

Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini. Advancements in xASP, an XAI System for Answer Set Programming. In Agostino Dovier, Andrea Formisano 0001, editors, Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

Abstract

Abstract is missing.