What makes propositional abduction tractable (Q2389658): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2008.02.001
@@ Property / DOI: 10.1016/j.artint.2008.02.001 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2008.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2113666441
@@ Property / OpenAlex ID: W2113666441 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Bases for Boolean co-clones
@@ Property / cites work: Bases for Boolean co-clones / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858040
@@ Property / cites work: Q4858040 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of abduction
@@ Property / cites work: The computational complexity of abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Preprocessing of intractable problems
@@ Property / cites work: Preprocessing of intractable problems / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Default Logic on Generalized Conjunctive Queries
+Normal rank
@@ Property / cites work @@
+Structure identification of Boolean relations and plain bases for co-clones
+Normal rank
@@ Property / cites work @@
+A Complete Classification of the Complexity of Propositional Abduction
+Normal rank
@@ Property / cites work @@
+On some tractable classes in deduction and abduction
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q4418672
@@ Property / cites work: Q4418672 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction from logic programs: Semantics and complexity
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of abduction from default theories
+Normal rank
@@ Property / cites work @@
+On computing all abductive explanations from a propositional Horn theory
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Counting complexity of propositional abduction
@@ Property / cites work: Counting complexity of propositional abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with ordered binary decision diagrams
@@ Property / cites work: Reasoning with ordered binary decision diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Horn approximations of empirical data
@@ Property / cites work: Horn approximations of empirical data / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with models
@@ Property / cites work: Reasoning with models / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411161
@@ Property / cites work: Q4411161 / rank @@
+Normal rank
@@ Property / cites work @@
+Compilability of propositional abduction
@@ Property / cites work: Compilability of propositional abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction in logic programming: A new definition and an abductive procedure based on rewriting
+Normal rank
@@ Property / cites work @@
+Q2752124
@@ Property / cites work: Q2752124 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypothesis generation by machine
@@ Property / cites work: Hypothesis generation by machine / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Q3208654
@@ Property / cites work: Q3208654 / rank @@
+Normal rank
@@ Property / cites work @@
+On Cores and Prime Implicants of Truth Functions
@@ Property / cites work: On Cores and Prime Implicants of Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737597
@@ Property / cites work: Q4737597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4434165
@@ Property / cites work: Q4434165 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2008.02.001
@@ Property / DOI: 10.1016/J.ARTINT.2008.02.001 / rank @@
+Normal rank