Learning recursive functions: A survey (Q924164): Difference between revisions

@@ 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.1016/j.tcs.2008.02.021
+Normal rank
@@ Property / OpenAlex ID @@
+W1981403153
@@ Property / OpenAlex ID: W1981403153 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference and unsolvability
@@ Property / cites work: Inductive inference and unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent and coherent learning with \(\delta \)-delay
+Normal rank
@@ Property / cites work @@
+Probabilistic inductive inference: A survey
@@ Property / cites work: Probabilistic inductive inference: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Transformations that preserve learnability
@@ Property / cites work: Transformations that preserve learnability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993187
@@ Property / cites work: Q3993187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004178
@@ Property / cites work: Q4004178 / rank @@
+Normal rank
@@ Property / cites work @@
+Closedness properties in ex-identification
@@ Property / cites work: Closedness properties in ex-identification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5670562
@@ Property / cites work: Q5670562 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of automata, functions and programs
+Normal rank
@@ Property / cites work @@
+Q5685065
@@ Property / cites work: Q5685065 / 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 necessity of Occam algorithms
@@ Property / cites work: On the necessity of Occam algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity and the Existence of Complexity Gaps
+Normal rank
@@ Property / cites work @@
+The position of index sets of identifiable sets in the arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Asking questions to minimize errors
@@ Property / cites work: Asking questions to minimize errors / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental concept learning for bounded data mining.
+Normal rank
@@ Property / cites work @@
+Robust learning aided by context
@@ Property / cites work: Robust learning aided by context / rank @@
+Normal rank
@@ Property / cites work @@
+Robust learning -- rich and poor
@@ Property / cites work: Robust learning -- rich and poor / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of identification criteria for machine inductive inference
+Normal rank
@@ Property / cites work @@
+Tradeoffs in the inductive inference of nearly minimal size programs
+Normal rank
@@ Property / cites work @@
+The Operator Gap
@@ Property / cites work: The Operator Gap / rank @@
+Normal rank
@@ Property / cites work @@
+On the error correcting power of pluralism in BC-type inductive inference
+Normal rank
@@ Property / cites work @@
+Q3774988
@@ Property / cites work: Q3774988 / rank @@
+Normal rank
@@ Property / cites work @@
+Some decidability results on grammatical inference and complexity
+Normal rank
@@ Property / cites work @@
+Q3877665
@@ Property / cites work: Q3877665 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of recursive functions: Complexity bounds
+Normal rank
@@ Property / cites work @@
+Identifying nearly minimal Gödel numbers from additional information
+Normal rank
@@ Property / cites work @@
+On the intrinsic complexity of learning
@@ Property / cites work: On the intrinsic complexity of learning / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings
+Normal rank
@@ Property / cites work @@
+On the power of inductive inference from good examples
+Normal rank
@@ Property / cites work @@
+Trade-off among parameters affecting inductive inference
+Normal rank
@@ Property / cites work @@
+Q3855155
@@ Property / cites work: Q3855155 / rank @@
+Normal rank
@@ Property / cites work @@
+Saving the phenomena: Requirements that inductive inference machines not contradict known data
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348129
@@ Property / cites work: Q4348129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018074
@@ Property / cites work: Q4018074 / rank @@
+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 @@
+Learning binary relations using weighted majority voting
+Normal rank
@@ Property / cites work @@
+Q3750102
@@ Property / cites work: Q3750102 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflective inductive inference of recursive functions
+Normal rank
@@ Property / cites work @@
+Equivalence of models for polynomial learnability
@@ Property / cites work: Equivalence of models for polynomial learnability / rank @@
+Normal rank
@@ Property / cites work @@
+On Effectively Computable Operators
@@ Property / cites work: On Effectively Computable Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Robust behaviorally correct learning.
@@ Property / cites work: Robust behaviorally correct learning. / rank @@
+Normal rank
@@ Property / cites work @@
+On the intrinsic complexity of learning recursive functions
+Normal rank
@@ Property / cites work @@
+Learning with the knowledge of an upper bound on program size
+Normal rank
@@ Property / cites work @@
+Robust learning is rich
@@ Property / cites work: Robust learning is rich / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894947
@@ Property / cites work: Q3894947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041172
@@ Property / cites work: Q3041172 / rank @@
+Normal rank
@@ Property / cites work @@
+One-sided error probabilistic inductive inference and reliable frequency identification
+Normal rank
@@ Property / cites work @@
+Q3722485
@@ Property / cites work: Q3722485 / rank @@
+Normal rank
@@ Property / cites work @@
+Research in the theory of inductive inference by GDR mathematicians - A survey
+Normal rank
@@ Property / cites work @@
+Q4013547
@@ Property / cites work: Q4013547 / rank @@
+Normal rank
@@ Property / cites work @@
+Analogical and inductive inference. International workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989. Proceedings
+Normal rank
@@ Property / cites work @@
+On the role of search for learning from examples
@@ Property / cites work: On the role of search for learning from examples / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Properties of Abstract Complexity Classes
+Normal rank
@@ Property / cites work @@
+Incremental learning from positive data
@@ Property / cites work: Incremental learning from positive data / rank @@
+Normal rank
@@ Property / cites work @@
+Learning indexed families of recursive languages from positive data: A survey
+Normal rank
@@ Property / cites work @@
+Q4013745
@@ Property / cites work: Q4013745 / rank @@
+Normal rank
@@ Property / cites work @@
+The weighted majority algorithm
@@ Property / cites work: The weighted majority algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of computable functions defined by bounds on computation
+Normal rank
@@ Property / cites work @@
+Some natural properties of strong-identification in inductive inference
+Normal rank
@@ Property / cites work @@
+Q4398828
@@ Property / cites work: Q4398828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955317
@@ Property / cites work: Q4955317 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding coding tricks by hyperrobust learning
@@ Property / cites work: Avoiding coding tricks by hyperrobust learning / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic inductive inference
@@ Property / cites work: Probabilistic inductive inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068662
@@ Property / cites work: Q4068662 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Pluralism for Automatic Program Synthesis
+Normal rank
@@ Property / cites work @@
+Q4328063
@@ Property / cites work: Q4328063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4470554
@@ Property / cites work: Q4470554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3782751
@@ Property / cites work: Q3782751 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+A formal theory of inductive inference. Part I
@@ Property / cites work: A formal theory of inductive inference. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+A formal theory of inductive inference. Part II
@@ Property / cites work: A formal theory of inductive inference. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Learning classes of approximations to non-recursive functions.
+Normal rank
@@ Property / cites work @@
+Q5672194
@@ Property / cites work: Q5672194 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214824
@@ Property / cites work: Q3214824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935997
@@ Property / cites work: Q4935997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4115138
@@ Property / cites work: Q4115138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4170707
@@ Property / cites work: Q4170707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282560
@@ Property / cites work: Q4282560 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of probabilistic strategies in inductive inference
+Normal rank
@@ Property / cites work @@
+Q4111545
@@ Property / cites work: Q4111545 / rank @@
+Normal rank
@@ Property / cites work @@
+Ignoring data may be the only way to learn efficiently
+Normal rank
@@ Property / cites work @@
+Easy Constructions in Complexity Theory: Gap and Speed-Up Theorems
+Normal rank
@@ Property / cites work @@
+Q3329450
@@ Property / cites work: Q3329450 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE NONBOUNDABILITY OF TOTAL EFFECTIVE OPERATORS
+Normal rank
@@ Property / cites work @@
+Q3790671
@@ Property / cites work: Q3790671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282561
@@ Property / cites work: Q4282561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3148804
@@ Property / cites work: Q3148804 / rank @@
+Normal rank
@@ Property / cites work @@
+Separation of uniform learning classes.
@@ Property / cites work: Separation of uniform learning classes. / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to intrinsic complexity of uniform learning
+Normal rank