Hypothesis finding with proof theoretical appropriateness criteria (Q817840): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.10.020
@@ Property / DOI: 10.1016/j.tcs.2005.10.020 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370231
@@ Property / cites work: Q4370231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4420756
@@ Property / cites work: Q4420756 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution for consequence finding
@@ Property / cites work: Linear resolution for consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520768
@@ Property / cites work: Q4520768 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of relevance for learning in deductive databases
+Normal rank
@@ Property / cites work @@
+Q4537975
@@ Property / cites work: Q4537975 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of monotonic formal systems from positive data
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473238
@@ Property / cites work: Q4473238 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.10.020
@@ Property / DOI: 10.1016/J.TCS.2005.10.020 / rank @@
+Normal rank