Justification and debugging of answer set programs in ASP

Authors:
Omar El-Khatib;Enrico Pontelli;Tran Cao Son
Affiliations:
New Mexico State University;New Mexico State University;New Mexico State University
Venue:
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Year:
2005

Citing 12
Cited 3

Error diagnosis in logic programming, an adaptation of E.Y. Shapiro's method

Journal of Logic Programming
Declarative error diagnosis

New Generation Computing
Proof methods of declarative properties of definite programs

Theoretical Computer Science
Justifying proofs using memo tables

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Forced simulation: A technique for automating component reuse in embedded systems

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Algorithmic program diagnosis

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
Speculative Beats Conservative Justification

Proceedings of the 17th International Conference on Logic Programming
Automated Analysis of CLP(FD) Program Execution Traces

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Abstract Debugging of Logic Program

LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)

Justifications for logic programs under answer set semantics

Theory and Practice of Logic Programming
ASPIDE: integrated development environment for answer set programming

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Answer set programming

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.