System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
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
Let’s Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs
Institut fur Informationssysteme 184/3, Technische Universitat Wien, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Institut fur Informationssysteme 184/3, Technische Universitat Wien, Vienna, Austria.
Institut fur Informationssysteme 184/3, Technische Universitat Wien, Vienna, Austria.
2010 (English)Conference paper, Published paper (Refereed)
Abstract [en]

We introduce an interactive procedural-style debugging approach foranswer-set programs that avoids the negative aspects of non-declarative debugging of ASP. It is based on an intuitive computation model that allows a userto follow his or her intuition by stepwise determining which applicable rules areconsidered to be supporting rules. Moreover, we define the notion of a breakpoint for answer-set programs that allows to start stepwise debugging of a program Πfrom an answer set of a subprogram of Π.

Place, publisher, year, edition, pages
2010.
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-64003OAI: oai:DiVA.org:hj-64003DiVA, id: diva2:1851595
Conference
24th Workshop on Constraint Logic Programming, WLP 2010
Available from: 2024-04-15 Created: 2024-04-15 Last updated: 2024-04-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Fulltext

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 5 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