Witnesses for Answer Sets of Logic Programs (Q5886522): Difference between revisions

@@ Property / describes a project that uses @@
+Clingo
@@ Property / describes a project that uses: Clingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PySAT
@@ Property / describes a project that uses: PySAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+lp2normal
@@ Property / describes a project that uses: lp2normal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1145/3568955
@@ Property / full work available at URL: https://doi.org/10.1145/3568955 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4306873650
@@ Property / OpenAlex ID: W4306873650 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
+Normal rank
@@ Property / cites work @@
+Inconsistency Proofs for ASP: The ASP - DRUPE Format
+Normal rank
@@ Property / cites work @@
+Semi-equilibrium models for paracoherent answer set programs
+Normal rank
@@ Property / cites work @@
+Q5020962
@@ Property / cites work: Q5020962 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Modular construction of minimal models
@@ Property / cites work: Modular construction of minimal models / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Theory of Causality
@@ Property / cites work: A Logical Theory of Causality / rank @@
+Normal rank
@@ Property / cites work @@
+\textsc{lp2normal} -- a normalization tool for extended logic programs
+Normal rank
@@ Property / cites work @@
+A Survey on the Explainability of Supervised Machine Learning
+Normal rank
@@ Property / cites work @@
+Q3140634
@@ Property / cites work: Q3140634 / rank @@
+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 @@
+Q5020971
@@ Property / cites work: Q5020971 / rank @@
+Normal rank
@@ Property / cites work @@
+ASP-Core-2 Input Language Format
@@ Property / cites work: ASP-Core-2 Input Language Format / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of selecting maximal solutions
@@ Property / cites work: The complexity of selecting maximal solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / 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 @@
+Q2734934
@@ Property / cites work: Q2734934 / rank @@
+Normal rank
@@ Property / cites work @@
+Debugging Non-ground ASP Programs: Technique and Graphical Tools
+Normal rank
@@ Property / cites work @@
+The External Interface for Extending WASP
@@ Property / cites work: The External Interface for Extending WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Generating explanations for biomedical queries
@@ Property / cites work: Generating explanations for biomedical queries / rank @@
+Normal rank
@@ Property / cites work @@
+Answering the “why” in answer set programming – A survey of explanation approaches
+Normal rank
@@ Property / cites work @@
+On finding short resolution refutations and small unsatisfiable subsets
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-shot ASP solving with clingo
@@ Property / cites work: Multi-shot ASP solving with clingo / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+PySAT: a Python toolkit for prototyping with SAT oracles
+Normal rank
@@ Property / cites work @@
+On the query complexity of selecting minimal sets for monotone predicates
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+Fast, flexible MUS enumeration
@@ Property / cites work: Fast, flexible MUS enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4514010
@@ Property / cites work: Q4514010 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of knowledge and justified assumption
@@ Property / cites work: A logic of knowledge and justified assumption / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with abstract constraint atoms: the role of computations
+Normal rank
@@ Property / cites work @@
+Explanation in artificial intelligence: insights from the social sciences
+Normal rank
@@ Property / cites work @@
+Catching the Ouroboros: On debugging non-ground answer-set programs
+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 @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / 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 @@
+Q4994500
@@ Property / cites work: Q4994500 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent Stable Semantics for Extended Disjunctive 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 @@
+Determining inference semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / Wikidata QID @@
+Q130807587
@@ Property / Wikidata QID: Q130807587 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5886522