8 citations · 32 across the 14 of their papers we have counts for
14 papers
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…
Answer Set Planning: A Survey
Tran Cao Son, Enrico Pontelli, Marcello Balduccini +1
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, i.e., solutions to planning problems, that transform a given state of the world to another s…
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son +3
This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST).…
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…
Action-Centered Information Retrieval
Marcello Balduccini, Emily LeBlanc
Information Retrieval (IR) aims at retrieving documents that are most relevant to a query provided by a user. Traditional techniques rely mostly on syntactic methods. In some cases…