Sciweavers

CORR
2008
Springer

Justifications for Logic Programs under Answer Set Semantics

13 years 10 months ago
Justifications for Logic Programs under Answer Set Semantics
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a given answer set. The notion of justification accounts for the specifics of answer set semantics. The paper extends also this notion to provide justification of atoms during the computation of an answer set (on-line justification), and presents an integration of on-line justifications within the computation model of SMODELS. Justifications offer a basic data structure to support methodologies and tools for debugging answer set programs. A preliminary implementation has been developed in ASP - PROLOG.
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Enrico Pontelli, Tran Cao Son, Omar El-Khatib
Comments (0)