Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Catching the Ouroboros: On debugging non-ground answer-set programs
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.
2010 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 10, no 4-6, p. 513-529Article in journal (Refereed) Published
Abstract [en]

An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, methods for debugging an answer-set program are recognised as a crucial step in this regard. Initial work on debugging in ASP mainly focused on propositional programs, yet practical debuggers need to handle programs with variables as well. In this paper, we discuss a debugging technique that is directly geared towards non-ground programs. Following previous work, we address the central debugging question why some interpretation is not an answer set. The explanations provided by our method are computed by means of a meta-programming technique, using a uniform encoding of a debugging request in terms of ASP itself. Our method also permits programs containing comparison predicates and integer arithmetics, thus covering a relevant language class commonly supported by all state-of-the-art ASP solvers.

Place, publisher, year, edition, pages
Cambridge University Press, 2010. Vol. 10, no 4-6, p. 513-529
Keywords [en]
answer-set programming, debugging, program analysis, Answer set, Debuggers, Integer arithmetic, Meta Programming, Program interpreters, Program debugging
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63582DOI: 10.1017/S1471068410000256ISI: 000280508200011Scopus ID: 2-s2.0-77957223042OAI: oai:DiVA.org:hj-63582DiVA, id: diva2:1838216
Available from: 2024-02-15 Created: 2024-02-15 Last updated: 2024-02-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
In the same journal
Theory and Practice of Logic Programming
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 1 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf