Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747): Difference between revisions

@@ Property / arXiv ID @@
+.08034
@@ Property / arXiv ID: 1809.08034 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in WASP
@@ Property / cites work: Advances in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of psychological knowledge in answer set programming and its application
+Normal rank
@@ Property / cites work @@
+Q5240210
@@ Property / cites work: Q5240210 / rank @@
+Normal rank
@@ Property / cites work @@
+Debugging ASP Programs by Means of ASP
@@ Property / cites work: Debugging ASP Programs by Means of ASP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735050
@@ Property / cites work: Q3735050 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set; Programming?
@@ Property / cites work: Answer Set; Programming? / rank @@
+Normal rank
@@ Property / cites work @@
+Enablers and Inhibitors in Causal Justifications of Logic Programs
+Normal rank
@@ Property / cites work @@
+Justifications for programs with disjunctive and causal-choice rules
+Normal rank
@@ Property / cites work @@
+Causal Graph Justifications of Logic Programs
@@ Property / cites work: Causal Graph Justifications of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Complexity Assessment for Queries Involving Sufficient and Necessary Causes
+Normal rank
@@ Property / cites work @@
+On the existence of stable models of non-stratified logic programs
+Normal rank
@@ Property / cites work @@
+On the equivalence and range of applicability of graph-based representations of logic programs.
+Normal rank
@@ Property / cites work @@
+Justifications for Logic Programming
@@ Property / cites work: Justifications for Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4631193
@@ Property / cites work: Q4631193 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Theory of Justifications
@@ Property / cites work: A Formal Theory of Justifications / rank @@
+Normal rank
@@ Property / cites work @@
+On computing logic programs
@@ Property / cites work: On computing logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Graph theoretical structures in logic programs and default theories
+Normal rank
@@ Property / cites work @@
+Interactive Debugging of Non-ground ASP Programs
@@ Property / cites work: Interactive Debugging of Non-ground ASP Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Generating explanations for biomedical queries
@@ Property / cites work: Generating explanations for biomedical queries / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Deriving conclusions from non-monotonic cause-effect relations
+Normal rank
@@ Property / cites work @@
+Towards Deriving Conclusions from Cause-effect Relations
+Normal rank
@@ Property / cites work @@
+Q3430691
@@ Property / cites work: Q3430691 / rank @@
+Normal rank
@@ Property / cites work @@
+Debugging Non-ground ASP Programs: Technique and Graphical Tools
+Normal rank
@@ Property / cites work @@
+Detecting inconsistencies in large biological networks with answer set programming
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of answer set programming to the field of second language acquisition
+Normal rank
@@ Property / cites work @@
+Graphs and colorings for answer set programming
@@ Property / cites work: Graphs and colorings for answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+<tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Thirteen Definitions of a Stable Model
@@ Property / cites work: Thirteen Definitions of a Stable Model / rank @@
+Normal rank
@@ Property / cites work @@
+Achievements in answer set programming
@@ Property / cites work: Achievements in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Declarative error diagnosis
@@ Property / cites work: Declarative error diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+Catching the Ouroboros: On debugging non-ground answer-set programs
+Normal rank
@@ Property / cites work @@
+Stepping through an Answer-Set Program
@@ Property / cites work: Stepping through an Answer-Set Program / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398061
@@ Property / cites work: Q5398061 / rank @@
+Normal rank
@@ Property / cites work @@
+Stepwise debugging of answer-set programs
@@ Property / cites work: Stepwise debugging of answer-set programs / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Non-monotonic reasoning with logic programming
@@ Property / cites work: Non-monotonic reasoning with logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
+Normal rank
@@ Property / cites work @@
+Justifications for Logic Programs Under Answer Set Semantics
+Normal rank
@@ Property / cites work @@
+Justifications for logic programs under answer set semantics
+Normal rank
@@ Property / cites work @@
+Team-building with answer set programming in the Gioia-Tauro seaport
+Normal rank
@@ Property / cites work @@
+Characterising and Explaining Inconsistency in Logic Programs
+Normal rank
@@ Property / cites work @@
+Justifying answer sets using argumentation
@@ Property / cites work: Justifying answer sets using argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3489524
@@ Property / cites work: Q3489524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4800171
@@ Property / cites work: Q4800171 / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring Inconsistency in Answer Set Programs
@@ Property / cites work: Measuring Inconsistency in Answer Set Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank
@@ Property / OpenAlex ID @@
+W2891226953
@@ Property / OpenAlex ID: W2891226953 / rank @@
+Normal rank