An almost machine-independent theory of program-length complexity, sophistication, and induction.

Moshe Koppel Henri Atlan

Published in: Inf. Sci. (1991)

Keyphrases

program synthesis
theoretical framework
functional programs
real time
computational complexity
computational cost
worst case
concept learning
constructive induction
complexity analysis
information theory
formal theory
general theory
inductive inference
theoretical foundation
logic programs
machine learning