Debugging logic programs under the answer set semantics

M. Brain; M. De Vos

Debugging logic programs under the answer set semantics

M. Brain, M. De Vos

Department of Computer Science

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

31 Citations (SciVal)

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 language	English
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
Pages	141-152
Number of pages	12
Volume	142
Publication status	Published - 1 Jan 2005

Publication series

Name	CEUR Workshop Proceedings
Volume	142
ISSN (Print)	1613-0073

Bibliographical note

Co-located event with the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK

Cite this

Debugging logic programs under the answer set semantics. / Brain, M.; De Vos, M.
ASP'05: Answer set programming: advances in theory and implementation: Proceedings of the 3rd International ASP'05 Workshop, Bath, UK, 27th-29th July 2005. ed. / M De Vos; A Provetti. Vol. 142 2005. p. 141-152 (CEUR Workshop Proceedings; Vol. 142).

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

@inbook{0a3eba13b83346a192ff828633d936a0,

title = "Debugging logic programs under the answer set semantics",

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.",

author = "M. Brain and {De Vos}, M.",

note = "Co-located event with the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK",

year = "2005",

month = jan,

day = "1",

language = "English",

volume = "142",

series = "CEUR Workshop Proceedings",

pages = "141--152",

editor = "{De Vos}, M and A Provetti",

booktitle = "ASP'05: Answer set programming: advances in theory and implementation",

}

TY - CHAP

T1 - Debugging logic programs under the answer set semantics

AU - Brain, M.

AU - De Vos, M.

N1 - Co-located event with the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84879955186&partnerID=8YFLogxK

UR - http://ceur-ws.org/Vol-142/

M3 - Chapter or section

AN - SCOPUS:84879955186

VL - 142

T3 - CEUR Workshop Proceedings

SP - 141

EP - 152

BT - ASP'05: Answer set programming: advances in theory and implementation

A2 - De Vos, M

A2 - Provetti, A

ER -

Debugging logic programs under the answer set semantics

Abstract

Publication series

Bibliographical note

Other files and links

Fingerprint

Cite this