Justification and debugging of answer set programs in ASP - PROLOG

Proceedings of the 6th International Symposium on Automated and Analysis-Driven Debugging, AADEBUG 2005

Volumn , Issue , 2005, Pages 49-58

  Ei Khatib, Omar ^a   Pontelli, Enrico ^a   Son, Tran Cao ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

Answer Set Programming; Justifications; Logic Programming

Indexed keywords

ANSWER SET PROGRAMMING; JUSTIFICATIONS;

PROGRAM DEBUGGING; SEMANTICS;

LOGIC PROGRAMMING;

EID: 29844457073     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. C. Baral. Knowledge Representation, Reasoning, and Declarative Problem Solving, Cambridge Press, 2003.
2. J. Boye et al. Declarative Diagnosis of Constraint Programs. AADEBUG, 1997.
3. M. Comini et al. Abstract Debugging of Logic Programs. LOPSTR, Springer, 1994.
4. P. Deransart, Proof Methods of Declarative Properties of Definite Programs. TCS, 118, 1993.
5. W. Drabent. The Use of Assertions in Algorithmic Debugging. FGCS, 1988.
6. M. Ducassé and L. Langevine. Automated Analysis of CLP(FD) Execution Traces. ICLP, Springer, 2002.
7. O. Elkhatib et al. A System for Reasoning about ASP in Prolog. PADL, Springer, 2004.
8. G. Ferrand. Error Diagnosis in Logic Programming. J. Logic Programming, 4, 1987.
9. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. JICSLP, MIT, 1988.
10. H-F. Guo et al. Speculative Beats Conservative Justifications. ICLP, Springer, pp. 150-165, 2001.
11. M. Hermenegildo et al. The CIAO Multi-Dialect Compiler and System. Parallelism and Implementation of Logic Programming, Nova Science, 1999.
12. M. Hermenegildo et al. Integrated Program Debugging, Verification, and Optimization. Science of Computer Programming, (to appear).
13. L. Langevine et al. A Propagation Tracer for GNU-Prolog. ICLP, Springer Verlag, 2003.
14. J.W. Lloyd. Declarative Error Diagnosis. New Generation Computing, 5(2): 133-154, 1987.
15. V.W. Marek and M. Truszczyński. Stable Models and an Alternative Logic Programming Paradigm, The Logic Programming Paradigm. Springer Verlag, 1999.
16. L. Naish et al. The NU-Prolog Debugging Environment, ICLP, pages 521-536, 1989.
17. I. Niemela. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and AI, 25(3-4), 1999.
18. G. Pemmasani et al. Online Justification for Tabled Logic Programs. FLOPS, Springer Verlag, 2004.
19. P. Roop. Forced Simulation: A technique for automating component reuse in embedded systems. ACM Trans. Design Autom. Electr. Syst., 6(4), 2001.
20. A. Roychoudhury et al. Justifying proofs using memo tables. PPDP, ACM, pages 178-189, 2000.
21. E.Y. Shapiro. Algorithmic Program Diagnosis. In ACM POPL, 1982.
22. T. Syrjänen. Lparse User's Manual. http://www.tcs.hut.fi/Software/ smodels/.
23. J.L. Yuh and N. Dershowitz. Debugging Logic Programs using Specifications. AADEBUG, 1993.