Theory refinement combining analytical and empirical methods (Q1327162): Difference between revisions

@@ Property / cites work @@
+Q4023583
@@ Property / cites work: Q4023583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742757
@@ Property / cites work: Q3742757 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q3493257
@@ Property / cites work: Q3493257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493262
@@ Property / cites work: Q3493262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifying inductive bias: AI learning algorithms and Valiant's learning framework
+Normal rank
@@ Property / cites work @@
+Q3998050
@@ Property / cites work: Q3998050 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q3198885
@@ Property / cites work: Q3198885 / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
+Normal rank