Interactive debugging of non-ground ASP programs

DOI10.1007/978-3-319-23264-5_24MaRDI QIDQ3449213zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, F. Ricca, Kostyantyn Shchekotykhin

Publication date 4 November 2015

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

Full work available at URL https://doi.org/10.1007/978-3-319-23264-5_24

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Debugging non-ground ASP programs: technique and graphical tools
• Catching the Ouroboros: on debugging non-ground answer-set programs
• Debugging ASP Programs by Means of ASP
• Stepwise debugging of answer-set programs
• Stepping through an answer-set program

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• A theory of diagnosis from first principles
• Advances in WASP
• Catching the Ouroboros: on debugging non-ground answer-set programs
• Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
• Diagnosing multiple faults
• Justifications for logic programs under answer set semantics
• Optimization Methods for the Partner Units Problem
• Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation
• Stepping through an answer-set program

Cited in

(12)

• Debugging for Model Expansion
• Stepwise debugging of answer-set programs
• Abstraction for non-ground answer set programs
• Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
• Omission-based abstraction for answer set programs
• Debugging ASP Programs by Means of ASP
• Debugging non-ground ASP programs: technique and graphical tools
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Stepping through an answer-set program
• Catching the Ouroboros: on debugging non-ground answer-set programs
• Testing and debugging techniques for answer set solver development
• onlineSPARC: a programming environment for answer set programming

This page was built for publication: Interactive debugging of non-ground ASP programs

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