Stepping through an answer-set program

DOI10.1007/978-3-642-20895-9_13MaRDI QIDQ3003250zbMATH OpenOpenAlexFDO

Authors Johannes Oetsch, Jörg Pührer, Hans Tompits

Publication date 26 May 2011

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20895-9_13

zbMATH Keywords

debugginganswer-set programmingprogram analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Stepwise debugging of answer-set programs
• Interactive debugging of non-ground ASP programs
• Stepwise debugging of description-logic programs
• Debugging non-ground ASP programs: technique and graphical tools
• Debugging ASP Programs by Means of ASP

Cited in

(9)

• scientific article; zbMATH DE number 7121940 (Why is no real title available?)
• Stepwise debugging of answer-set programs
• Finding explanations of inconsistency in multi-context systems
• Stepwise debugging of description-logic programs
• Debugging non-ground ASP programs: technique and graphical tools
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Interactive debugging of non-ground ASP programs
• On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
• Characterising and explaining inconsistency in logic programs

This page was built for publication: Stepping through an answer-set program

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003250)