Support set selection for abductive and default reasoning (Q2674205): Difference between revisions

@@ Property / cites work @@
+Q5750448
@@ Property / cites work: Q5750448 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q4692605
@@ Property / cites work: Q4692605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321736
@@ Property / cites work: Q4321736 / rank @@
+Normal rank
@@ Property / cites work @@
+Parity, circuits, and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard problems for simple default logics
@@ Property / cites work: Hard problems for simple default logics / rank @@
+Normal rank
@@ Property / cites work @@
+An incremental method for generating prime implicants/implicates
+Normal rank
@@ Property / cites work @@
+Q3198885
@@ Property / cites work: Q3198885 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional truth maintenance systems: Classification and complexity analysis
+Normal rank
@@ Property / cites work @@
+NP is as easy as detecting unique solutions
@@ Property / cites work: NP is as easy as detecting unique solutions / rank @@
+Normal rank