Debugging logic programs under the answer set semantics

M. Brain, M. De Vos

Research output: Chapter in Book/Report/Conference proceedingChapter

27 Citations (Scopus)

Abstract

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
Pages141-152
Number of pages12
Volume142
Publication statusPublished - 1 Jan 2005

Publication series

NameCEUR Workshop Proceedings
Volume142
ISSN (Print)1613-0073

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

Cite this