Infinitary self-reference in learning theory (Q4290127): Difference between revisions

@@ Property / author @@
+John Case
@@ Property / author: John Case / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/09528139408953778
+Normal rank
@@ Property / OpenAlex ID @@
+W2024609530
@@ Property / OpenAlex ID: W2024609530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096417
@@ Property / cites work: Q4096417 / rank @@
+Normal rank
@@ 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 @@
+On the size of machines
@@ Property / cites work: On the size of machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636767
@@ Property / cites work: Q5636767 / rank @@
+Normal rank
@@ Property / cites work @@
+Periodicity in generations of automata
@@ Property / cites work: Periodicity in generations of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Effectivizing Inseparability
@@ Property / cites work: Effectivizing Inseparability / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Vacillation in Language Learning
@@ Property / cites work: The Power of Vacillation in Language Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of identification criteria for machine inductive inference
+Normal rank
@@ Property / cites work @@
+ON LEARNING LIMITING PROGRAMS
@@ Property / cites work: ON LEARNING LIMITING PROGRAMS / rank @@
+Normal rank
@@ Property / cites work @@
+Tradeoffs in the inductive inference of nearly minimal size programs
+Normal rank
@@ Property / cites work @@
+On the error correcting power of pluralism in BC-type inductive inference
+Normal rank
@@ Property / cites work @@
+CONNECTIONS BETWEEN IDENTIFYING FUNCTIONALS, STANDARDIZING OPERATIONS, AND COMPUTABLE NUMBERINGS
+Normal rank
@@ Property / cites work @@
+Trade-off among parameters affecting inductive inference
+Normal rank
@@ Property / cites work @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / 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 @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Research in the theory of inductive inference by GDR mathematicians - A survey
+Normal rank
@@ Property / cites work @@
+On some games which are relevant to the theory of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Q4153600
@@ Property / cites work: Q4153600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Program size in restricted programming languages
@@ Property / cites work: Program size in restricted programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Trial and error predicates and the solution to a problem of Mostowski
+Normal rank
@@ Property / cites work @@
+The independence of control structures in abstract programming systems
+Normal rank
@@ Property / cites work @@
+The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions
+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
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Pluralism for Automatic Program Synthesis
+Normal rank