Debugging ASP Programs by Means of ASP

DOI10.1007/978-3-540-72200-7_5MaRDI QIDQ5425396zbMATH OpenOpenAlexFDO

Authors Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran

Publication date 13 November 2007

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

Full work available at URL https://doi.org/10.1007/978-3-540-72200-7_5

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Debugging non-ground ASP programs: technique and graphical tools
• Interactive debugging of non-ground ASP programs
• Catching the Ouroboros: on debugging non-ground answer-set programs
• Stepwise debugging of answer-set programs
• Methods and methodologies for developing answer-set programs -- project description

Cited in

(24)

• Methods and methodologies for developing answer-set programs -- project description
• Look-back techniques for ASP programs with aggregates
• Debugging for Model Expansion
• Stepwise debugging of answer-set programs
• A Theoretical Framework for the Declarative Debugging of Datalog Programs
• Abstraction for non-ground answer set programs
• Finding explanations of inconsistency in multi-context systems
• scientific article; zbMATH DE number 2090558 (Why is no real title available?)
• Stepwise debugging of description-logic programs
• Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
• Omission-based abstraction for answer set programs
• scientific article; zbMATH DE number 7455702 (Why is no real title available?)
• On testing answer-set programs
• Justifications for logic programs under answer set semantics
• Debugging non-ground ASP programs: technique and graphical tools
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Unifying justifications and debugging for answer-set programs
• Interactive debugging of non-ground ASP programs
• 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
• Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
• Annotating answer-set programs in LANA
• Contrastive explanations for answer-set programs

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Debugging ASP Programs by Means of ASP

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