Interactive Debugging of Non-ground ASP Programs

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

Philip Gasteiger, Kostyantyn Shchekotykhin, F. 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)

Cites Work

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

Cited In (6)

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

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

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