Introduction The starting point for studies in inductive inference is the model of learning by example introduced by Gold [Gol67]. This is a simple model of learning algorithms that input examples of some function and produce programs that are intended to compute the function generating the examples. Learning takes place as the "correct " program must be produced after the learning algorithm has seen only finitely many examples. The functions used as input are typically (partial) recursive functions. Using traditional encoding techniques, this class of functions is rich enough to model a wide range of phenomena [AS83]. Researchers in inductive inference have used the basic model of Gold to study the effects of other parameters of...
AbstractThis paper surveys developments in probabilistic inductive inference (learning) of recursive...
In order to qualify recursion-theoretic inductive inference as a prototypical learning model for stu...
This paper provides a systematic study of inductive inference of indexable concept classes in learni...
AbstractWe combine traditional studies of inductive inference and classical continuous mathematics t...
AbstractWe combine traditional studies of inductive inference and classical continuous mathematics t...
AbstractIn this paper we investigate the inductive inference of recursive real-valued functions from...
AbstractThis paper surveys developments in probabilistic inductive inference (learning) of recursive...
AbstractThis paper is concerned with the algorithmic learning, by example in the limit, of programs ...
This paper aims to be a friendly introduction to formal learning theory. I introduce key concepts at...
This paper reports on research work carried out within the EU CompEcs project. It was presented at t...
AbstractThis paper is concerned with the algorithmic learning, by example in the limit, of programs ...
AbstractWithin the scope of inductive inference a recursion theoretic approach is used to model lear...
AbstractIn many areas of scientific inquiry, the phenomena under investigation are viewed as functio...
This paper presents a method of inductive inference of real-valued functions from given pairs of obs...
AbstractStudying the learnability of classes of recursive functions has attracted considerable inter...
AbstractThis paper surveys developments in probabilistic inductive inference (learning) of recursive...
In order to qualify recursion-theoretic inductive inference as a prototypical learning model for stu...
This paper provides a systematic study of inductive inference of indexable concept classes in learni...
AbstractWe combine traditional studies of inductive inference and classical continuous mathematics t...
AbstractWe combine traditional studies of inductive inference and classical continuous mathematics t...
AbstractIn this paper we investigate the inductive inference of recursive real-valued functions from...
AbstractThis paper surveys developments in probabilistic inductive inference (learning) of recursive...
AbstractThis paper is concerned with the algorithmic learning, by example in the limit, of programs ...
This paper aims to be a friendly introduction to formal learning theory. I introduce key concepts at...
This paper reports on research work carried out within the EU CompEcs project. It was presented at t...
AbstractThis paper is concerned with the algorithmic learning, by example in the limit, of programs ...
AbstractWithin the scope of inductive inference a recursion theoretic approach is used to model lear...
AbstractIn many areas of scientific inquiry, the phenomena under investigation are viewed as functio...
This paper presents a method of inductive inference of real-valued functions from given pairs of obs...
AbstractStudying the learnability of classes of recursive functions has attracted considerable inter...
AbstractThis paper surveys developments in probabilistic inductive inference (learning) of recursive...
In order to qualify recursion-theoretic inductive inference as a prototypical learning model for stu...
This paper provides a systematic study of inductive inference of indexable concept classes in learni...