Debugging ASP Programs by Means of ASP

DOI10.1007/978-3-540-72200-7_5zbMATH Open1149.68326OpenAlexW2160761160MaRDI QIDQ5425396

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

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)

Cited In (13)

• Omission-Based Abstraction for Answer Set Programs
• Look-back techniques for ASP programs with aggregates
• Stepwise debugging of answer-set programs
• A Theoretical Framework for the Declarative Debugging of Datalog Programs
• Abstraction for non-ground answer set programs
• Answering the “why” in answer set programming – A survey of explanation approaches
• Finding explanations of inconsistency in multi-context systems
• Title not available (Why is that?)
• Justifications for logic programs under answer set semantics
• Stepwise Debugging of Description-Logic 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
• Contrastive explanations for answer-set programs

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)