5 citations · 8 across the 5 of their papers we have counts for
5 papers
xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming
Ly Ly Trieu, Tran Cao Son
Explainable artificial intelligence (xAI) has gained significant attention in recent years. Among other things, explainablility for deep neural networks has been a topic of intensi…
Explanations for Answer Set Programming
Mario Alviano, Ly Ly Trieu, Tran Cao Son +1
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 differe…
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
Ly Ly Trieu, Tran Cao Son, Marcello Balduccini
We present an enhancement of exp(ASP), a system that generates explanation graphs for a literal l - an atom a or its default negation ~a - given an answer set A of a normal logic p…
Generating explanations for answer set programming applications
Ly Ly Trieu, Tran Cao Son, Enrico Pontelli +1
We present an explanation system for applications that leverage Answer Set Programming (ASP). Given a program P, an answer set A of P, and an atom a in the program P, our system ge…
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
B. N. Hanna, L. T. Trieu, T. C. Son +1
The paper describes an ongoing effort in developing a declarative system for supporting operators in the Nuclear Power Plant (NPP) control room. The focus is on two modules: diagno…