research
∙
08/30/2023
Explanations for Answer Set Programming
The paper presents an enhancement of xASP, a system that generates expla...
research
∙
09/17/2021
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
We present an enhancement of exp(ASP), a system that generates explanati...
research
∙
04/18/2021