Catching the Ouroboros: On debugging non-ground answer-set programs

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

zbMATH Keywords

program analysisdebugginganswer-set programming

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

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

• ASSAT

Cites Work

• ASSAT: computing answer sets of a logic program by SAT solvers
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Justifications for logic programs under answer set semantics