Justification and debugging of answer set programs in ASP

  title={Justification and debugging of answer set programs in ASP},
  author={Omar El-Khatib and Enrico Pontelli and Tran Cao Son},
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… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

A System for Reasoning about ASP in Prolog

O. Elkhatib
PADL, Springer, • 2004
View 18 Excerpts
Highly Influenced

Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence • 1999
View 20 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…