Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
From MaRDI portal
Publication:2851274
DOI10.1007/978-3-642-40564-8_45zbMath1405.68050OpenAlexW2274394000WikidataQ58049421 ScholiaQ58049421MaRDI QIDQ2851274
Melanie Frühstück, Gerhard Friedrich, Gottfried Schenner, Axel Polleres
Publication date: 10 October 2013
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_45
Related Items (6)
Witnesses for Answer Sets of Logic Programs ⋮ Interactive Debugging of Non-ground ASP Programs ⋮ Stepwise debugging of answer-set programs ⋮ Unnamed Item ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Debugging Non-ground ASP Programs: Technique and Graphical Tools
This page was built for publication: Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
