Ly Ly Trieu (New Mexico State University) |
Tran Cao Son (New Mexico State University) |
Marcello Balduccini (Saint Joseph's University) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.345.28 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |