This paper discusses the background, algorithms and implementation techniques to support programmers in 'debugging' logic programs under the answer set semantics. We first investigate what constitutes an error in such programs and which classes of errors exist. This is used to motivate techniques and algorithms that respectively eliminate certain classes of errors and explain how an error occurred and why it occurred. Finally, details of the IDEAS (Interactive Development and Evaluation tool for Answer Set Semantics) system are given, a prototype version of which implements all of the techniques described.
|Title of host publication||ASP'05: Answer set programming: advances in theory and implementation|
|Subtitle of host publication||Proceedings of the 3rd International ASP'05 Workshop, Bath, UK, 27th-29th July 2005|
|Editors||M De Vos, A Provetti|
|Number of pages||12|
|Publication status||Published - 1 Jan 2005|
|Name||CEUR Workshop Proceedings|