Catching the Ouroboros: On debugging non-ground answer-set programs
From MaRDI portal
Publication:3585165
DOI10.1017/S1471068410000256zbMath1213.68182arXiv1007.4986OpenAlexW3101739347MaRDI QIDQ3585165
Jörg Pührer, Johannes Oetsch, Hans Tompits
Publication date: 19 August 2010
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1007.4986
Related Items
Witnesses for Answer Sets of Logic Programs, Enablers and Inhibitors in Causal Justifications of Logic Programs, Interactive Debugging of Non-ground ASP Programs, Characterising and Explaining Inconsistency in Logic Programs, Stepwise Debugging of Description-Logic Programs, Generating explanations for biomedical queries, ASP and subset minimality: enumeration, cautious reasoning and MUSes, Stepwise debugging of answer-set programs, On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation, Finding explanations of inconsistency in multi-context systems, Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming, Answering the “why” in answer set programming – A survey of explanation approaches, Debugging Non-ground ASP Programs: Technique and Graphical Tools, Omission-Based Abstraction for Answer Set Programs, Abstraction for non-ground answer set programs
Uses Software
Cites Work