Debugging non-ground ASP programs with choice rules, cardinality and weight constraints

DOI10.1007/978-3-642-40564-8_45MaRDI QIDQ2851274zbMATHOpenAlexDBLPWikidataFDO

Authors Axel Polleres, Melanie Frühstück, Gottfried Schenner, Gerhard Friedrich

Publication date 10 October 2013

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-40564-8_45

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
• Interactive debugging of non-ground ASP programs
• Debugging ASP Programs by Means of ASP
• Stepwise debugging of answer-set programs

Cited in

(10)

• Abstract Solvers for Computing Cautious Consequences of ASP programs
• Pruning external minimality checking for ASP using semantic dependencies
• Debugging non-ground ASP programs: technique and graphical tools
• Catching the Ouroboros: on debugging non-ground answer-set programs
• ASP programs with groundings of small treewidth
• Witnesses for Answer Sets of Logic Programs
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Stepwise debugging of answer-set programs
• Interactive debugging of non-ground ASP programs
• scientific article; zbMATH DE number 7453121 (Why is no real title available?)

This page was built for publication: Debugging non-ground ASP programs with choice rules, cardinality and weight constraints

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