Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis.

Published in: MPC (1998)

Keyphrases

program synthesis
recursive programs
upper bound
inductive logic programming
learning algorithm
artificial intelligence
feature selection
decision trees
learning experience