Interactive Debugging of Non-ground ASP Programs

DOI10.1007/978-3-319-23264-5_24zbMath1467.68024DBLPconf/lpnmr/DodaroGMRS15OpenAlexW2405448327WikidataQ62043823 ScholiaQ62043823MaRDI QIDQ3449213

Philip Gasteiger, Kostyantyn Shchekotykhin, Francesco Ricca, Benjamin Musitsch, Carmine Dodaro

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)

Related Items (6)

Stepwise debugging of answer-set programs ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ onlineSPARC: A Programming Environment for Answer Set Programming ⋮ Debugging Non-ground ASP Programs: Technique and Graphical Tools ⋮ Omission-Based Abstraction for Answer Set Programs ⋮ Abstraction for non-ground answer set programs

Cites Work

• Unnamed Item
• Unnamed Item
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
• Stepping through an Answer-Set Program
• Optimization Methods for the Partner Units Problem
• Advances in WASP
• Catching the Ouroboros: On debugging non-ground answer-set programs
• Justifications for logic programs under answer set semantics

This page was built for publication: Interactive Debugging of Non-ground ASP Programs