Debugging logic programs under the answer set semantics

M. Brain, M. De Vos

Research output: Chapter or section in a book/report/conference proceedingChapter or section

31 Citations (SciVal)


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.
Original languageEnglish
Title of host publicationASP'05: Answer set programming: advances in theory and implementation
Subtitle of host publicationProceedings of the 3rd International ASP'05 Workshop, Bath, UK, 27th-29th July 2005
EditorsM De Vos, A Provetti
Number of pages12
Publication statusPublished - 1 Jan 2005

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073


Dive into the research topics of 'Debugging logic programs under the answer set semantics'. Together they form a unique fingerprint.

Cite this