A Note on the Automatic Generation of Inductive Assertions.

Published in: MFCS (1976)

Keyphrases

inductive learning
knowledge base
automatically generate
machine learning
inductive concept learning
data sets
domain knowledge
inductive reasoning
functional programs
real world
multi agent
constructive induction