Answering the “why” in answer set programming – A survey of explanation approaches
From MaRDI portal
Publication:5197747
DOI10.1017/S1471068418000534zbMath1486.68026arXiv1809.08034OpenAlexW2891226953MaRDI QIDQ5197747
Jorge Fandinno, Claudia Schulz
Publication date: 19 September 2019
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1809.08034
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
Witnesses for Answer Sets of Logic Programs, Learning logic programs by explaining their failures, Explaining black-box classifiers: properties and functions, Towards provenance in heterogeneous knowledge bases, Unnamed Item, Unnamed Item, Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming, Abstraction for non-ground answer set programs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantics and complexity of recursive aggregates in answer set programming
- Declarative error diagnosis
- Graph theoretical structures in logic programs and default theories
- ASSAT: computing answer sets of a logic program by SAT solvers
- A three-valued semantics for deductive databases and logic programs
- On the equivalence and range of applicability of graph-based representations of logic programs.
- Measuring Inconsistency in Answer Set Programs
- Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
- Justifications for Logic Programming
- Team-building with answer set programming in the Gioia-Tauro seaport
- Causal Graph Justifications of Logic Programs
- A Complexity Assessment for Queries Involving Sufficient and Necessary Causes
- Answer Set; Programming?
- Stepping through an Answer-Set Program
- Detecting inconsistencies in large biological networks with answer set programming
- Graphs and colorings for answer set programming
- On the existence of stable models of non-stratified logic programs
- Advances in WASP
- Enablers and Inhibitors in Causal Justifications of Logic Programs
- A Formal Theory of Justifications
- Interactive Debugging of Non-ground ASP Programs
- Characterising and Explaining Inconsistency in Logic Programs
- Catching the Ouroboros: On debugging non-ground answer-set programs
- Formalization of psychological knowledge in answer set programming and its application
- Thirteen Definitions of a Stable Model
- Justifications for logic programs under answer set semantics
- The Semantics of Predicate Logic as a Programming Language
- Non-monotonic reasoning with logic programming
- The well-founded semantics for general logic programs
- Towards Deriving Conclusions from Cause-effect Relations
- Achievements in answer set programming
- Generating explanations for biomedical queries
- Justifying answer sets using argumentation
- Justifications for programs with disjunctive and causal-choice rules
- Deriving conclusions from non-monotonic cause-effect relations
- ASPeRiX, a first-order forward chaining approach for answer set computing
- An application of answer set programming to the field of second language acquisition
- Stepwise debugging of answer-set programs
- Debugging Non-ground ASP Programs: Technique and Graphical Tools
- The DLV system for knowledge representation and reasoning
- Functional and Logic Programming
- Debugging ASP Programs by Means of ASP
- Justifications for Logic Programs Under Answer Set Semantics
- Logic for Programming, Artificial Intelligence, and Reasoning
- On computing logic programs
