justification and debugging of answer set programs in asp
The paper extends the concept of justification to the context of Answer Set Programming ---a recent paradigm that builds on the foundations of logic programming, answer set semantics, and non-monotonic reasoning. A justification describes the support for the truth value of each atom in an answer set of a logic program, and it can be employed as a tool for reasoning and debugging of answer set programs. The paper describes the implementation of the notion of justification in the ASP system along with some examples of its applications.
justifications logic programming small answer set programming