5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.AI2021★ 5 cited
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…
cs.AI2021
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…
cs.AI2020★ 1 cited
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…