Refuting learning revisited. (Q1874232): Difference between revisions

@@ Property / cites work @@
+Inductive inference and unsolvability
@@ Property / cites work: Inductive inference and unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298571
@@ Property / cites work: Q4298571 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning via queries in [+, &lt;]
@@ Property / cites work: Learning via queries in [+, <] / rank @@
+Normal rank
@@ Property / cites work @@
+Learning via queries
@@ Property / cites work: Learning via queries / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting inductive inference machines and its improvement by therapy
+Normal rank
@@ Property / cites work @@
+Learning with refutation
@@ Property / cites work: Learning with refutation / rank @@
+Normal rank
@@ Property / cites work @@
+On learning of functions refutably.
@@ Property / cites work: On learning of functions refutably. / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary formal systems, intrinsic complexity, and procrastination
+Normal rank
@@ Property / cites work @@
+Q4223173
@@ Property / cites work: Q4223173 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference from theory laden data
@@ Property / cites work: Inductive inference from theory laden data / rank @@
+Normal rank
@@ Property / cites work @@
+Q4470570
@@ Property / cites work: Q4470570 / rank @@
+Normal rank
@@ Property / cites work @@
+Scientific discovery based on belief revision
@@ Property / cites work: Scientific discovery based on belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Learning power and language expressiveness.
@@ Property / cites work: Learning power and language expressiveness. / rank @@
+Normal rank
@@ Property / cites work @@
+Some natural properties of strong-identification in inductive inference
+Normal rank
@@ Property / cites work @@
+Q4267817
@@ Property / cites work: Q4267817 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a mathematical theory of machine discovery from facts
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Decidability and essential undecidability
@@ Property / cites work: Decidability and essential undecidability / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of monotonic formal systems from positive data
+Normal rank
@@ Property / cites work @@
+Logical number theory I. An introduction
@@ Property / cites work: Logical number theory I. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281563
@@ Property / cites work: Q4281563 / rank @@
+Normal rank