Debugging ASP Programs by Means of ASP
From MaRDI portal
Publication:5425396
DOI10.1007/978-3-540-72200-7_5zbMath1149.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
Related Items
Stepwise Debugging of Description-Logic Programs ⋮ Stepwise debugging of answer-set programs ⋮ Finding explanations of inconsistency in multi-context systems ⋮ Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study ⋮ Testing and debugging techniques for answer set solver development ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Justifications for logic programs under answer set semantics ⋮ Omission-Based Abstraction for Answer Set Programs ⋮ Abstraction for non-ground answer set programs ⋮ A Theoretical Framework for the Declarative Debugging of Datalog Programs
Uses Software