Scott Induction and Closure under omega-Sups.

Ana Pasztor Richard Statman

Published in: Theor. Comput. Sci. (1986)

Keyphrases

inductive logic programming
neural network
machine learning
inductive learning
explanation based learning
constructive induction
real time
three dimensional
concept formation
program synthesis
data mining
inductive inference
genetic algorithm
decision trees
induction algorithms