On some tractable classes in deduction and abduction (Q1978251): Difference between revisions

@@ Property / author @@
-Alvaro del Val
@@ Property / author: Alvaro del Val / rank @@
-Normal rank
@@ Property / author @@
+Alvaro del Val
@@ Property / author: Alvaro del Val / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time inference of all valid implications for Horn and related formulae
+Normal rank
@@ Property / cites work @@
+Extended Horn sets in propositional logic
@@ Property / cites work: Extended Horn sets in propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228441
@@ Property / cites work: Q4228441 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relationship Between Abduction and Deduction
+Normal rank
@@ Property / cites work @@
+A hierarchy of tractable satisfiability problems
@@ Property / cites work: A hierarchy of tractable satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing renamable generalized propositional Horn formulas is NP- complete
+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 @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction versus closure in causal theories.
@@ Property / cites work: Abduction versus closure in causal theories. / rank @@
+Normal rank
@@ Property / cites work @@
+Renaming a Set of Clauses as a Horn Set
@@ Property / cites work: Renaming a Set of Clauses as a Horn Set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of polynomially solvable satisfiability problems
+Normal rank
@@ Property / cites work @@
+Support set selection for abductive and default reasoning
+Normal rank