Stepping through an Answer-Set Program

DOI10.1007/978-3-642-20895-9_13zbMath1327.68068OpenAlexW1555658928MaRDI QIDQ3003250

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

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

program analysisdebugginganswer-set programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (9)

Interactive Debugging of Non-ground ASP Programs ⋮ Characterising and Explaining Inconsistency in Logic Programs ⋮ Stepwise Debugging of Description-Logic Programs ⋮ Unnamed Item ⋮ Stepwise debugging of answer-set programs ⋮ On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation ⋮ Finding explanations of inconsistency in multi-context systems ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Debugging Non-ground ASP Programs: Technique and Graphical Tools

This page was built for publication: Stepping through an Answer-Set Program