Justifications for logic programs under answer set semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4079 LNCS, Issue , 2006, Pages 196-210

  Pontelli, Enrico ^a   Son, Tran Cao ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA STRUCTURES; GRAPH THEORY; SEMANTICS; SET THEORY;

ANSWER SET PROGRAMMING (ASP); LOGIC PROGRAMS; ONLINE JUSTIFICATIONS; SET SEMANTICS;

LOGIC PROGRAMMING;

EID: 33749332737     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11799573_16     Document Type: Conference Paper

References (20)

1. C. Anger et al. The nomore++ Approach to Answer Set Solving. LPAR, Springer, 2005.
2. K. Apt, R. Bol. Logic Programming and Negation: A Survey. J. Log. Program. 19/20, 1994.
3. M. Auguston. Assertion Checker for the C Programming Language. AADEBUG, 2000.
4. C. Baral. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, 2003.
5. S. Brass et al. Transformation-based bottom-up computation of the well-founded model. TPLP, 1(5):497-538, 2001.
6. S. Costantini et al. On the Equivalence and Range of Applicability of Graph-based Representations of Logic Programs. Information Processing Letters, 84(5):241-249, 2002.
7. M. Ducassé. Opium: an Extendable Trace Analyzer for Prolog. J. Logic Progr., 39, 1999.
8. O. Elkhatib et al. A System for Reasoning about ASP in Prolog. PADL, Springer, 2004.
9. M. Gelfond, V. Lifschitz. The Stable Model Semantics for Logic Programs. ILPS, 1988.
10. E. Giunchiglia and M. Maratea. On the Relation between Answer Set and SAT Procedures. In ICLP, Springer Verlag, 2005.
11. N. Leone et al. The DLV System. In JELIA, Springer Verlag, 2002.
12. S. Mallet, M. Ducasse. Generating Deductive Database Explanations. ICLP, MIT, 1999.
13. V.W. Marek and M. Truszczyński. Stable Models and an Alternative Logic Programming Paradigm. The Logic Programming Paradigm, Springer Verlag, 1999.
14. G. Pemmasani et al. Online Justification for Tabled Logic Programs. FLOPS, 2004.
15. A. Pineda. Object-oriented programming library O'Ciao. TR 6/99.0, UPM Madrid, 1999.
16. G. Puebla, F. Bueno, M.V. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming. In LOPSTR, Springer Verlag, 1999.
17. A. Roychoudhury et al. Justifying Proofs Using Memo Tables. PPDP, ACM Press, 2000.
18. E. Shapiro. Algorithmic Program Diagnosis. In POPL, ACM Press, 1982.
19. P. Simons et al. Extending and Implementing the Stable Model Semantics. Artif. Intell., 138(1-2), 2002.
20. G. Specht. Generating Explanation Trees even for Negation in Deductive Databases. Workshop on Logic Programming Environments, 8-13, Vancouver, 1993.