On Characterizations of Recursively Enumerable Languages.

Michel Latteux Paavo Turakainen

Published in: Acta Informatica (1990)

Keyphrases

recursively enumerable
inductive inference
recursive functions
real valued functions
hypothesis space
learning machines
learning algorithm
lower bound
upper bound
positive and negative
learning under monotonicity constraints