1 code implementation • 30 Aug 2023 • Mario Alviano, Ly Ly Trieu, Tran Cao Son, Marcello Balduccini
Different from xASP, the new system, xASP2, supports different clingo constructs like the choice rules, the constraints, and the aggregates such as #sum, #min.
no code implementations • 17 Sep 2021 • 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 program P, which explain why l is true (or false) given A and P. The new system, exp(ASPc), differs from exp(ASP) in that it supports choice rules and utilizes constraint rules to provide explanation graphs that include information about choices and constraints.
no code implementations • 18 Apr 2021 • Ly Ly Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini
We present an explanation system for applications that leverage Answer Set Programming (ASP).