Characterizing language identification by standardizing operations (Q1333402): Difference between revisions

@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+Q4013537
@@ Property / cites work: Q4013537 / rank @@
+Normal rank
@@ Property / cites work @@
+Tradeoffs in the inductive inference of nearly minimal size programs
+Normal rank
@@ Property / cites work @@
+Q4094858
@@ Property / cites work: Q4094858 / rank @@
+Normal rank
@@ Property / cites work @@
+CONNECTIONS BETWEEN IDENTIFYING FUNCTIONALS, STANDARDIZING OPERATIONS, AND COMPUTABLE NUMBERINGS
+Normal rank
@@ Property / cites work @@
+On the power of inductive inference from good examples
+Normal rank
@@ Property / cites work @@
+Saving the phenomena: Requirements that inductive inference machines not contradict known data
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning in the presence of partial explanations
@@ Property / cites work: Learning in the presence of partial explanations / rank @@
+Normal rank
@@ Property / cites work @@
+Learning with the knowledge of an upper bound on program size
+Normal rank
@@ Property / cites work @@
+Q4079595
@@ Property / cites work: Q4079595 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on a central lemma for learning theory
@@ Property / cites work: Note on a central lemma for learning theory / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank