A theory of diagnosis from first principles
Artificial Intelligence
Justifying proofs using memo tables
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Extending and implementing the stable model semantics
Artificial Intelligence
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Justifications for logic programs under answer set semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A Theoretical Framework for the Declarative Debugging of Datalog Programs
Semantics in Data and Knowledge Bases
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Applications of Declarative Programming and Knowledge Management
A meta-programming technique for debugging answer-set programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Advanced techniques for answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
Catching the ouroboros: On debugging non-ground answer-set programs
Theory and Practice of Logic Programming
Testing and debugging techniques for answer set solver development
Theory and Practice of Logic Programming
Challenges in answer set solving
Logic programming, knowledge representation, and nonmonotonic reasoning
Stepping through an answer-set program
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
ASPIDE: integrated development environment for answer set programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
VIDEAS: a development tool for answer-set programs based on model-driven engineering technology
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Stepwise debugging of description-logic programs
Correct Reasoning
Hi-index | 0.00 |
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the development of software-engineering tools is vital. In particular, the area of debugging provides a challenge in both theoretical and practical terms. This is due to the purely declarative nature of ASP that, on the one hand, calls for solver-independent methodologies and, on the other hand, does not directly apply to tracing techniques. In this paper, we propose a novel methodology, which rests within ASP itself, to sort out errors on the conceptual level. Our method makes use of tagging, where the program to be analyzed is rewritten using dedicated control atoms. This provides a flexible way to specify different types of debugging requests and a first step towards a dedicated (meta level) debugging language.