Inductive Learning of Normal Clauses.

Christel Vrain Lionel Martin

Published in: ECML (1994)

Keyphrases

inductive learning
knowledge acquisition
machine learning
inductive logic programming
meta learning
lazy learning
first order logic
explanation based learning
domain theory
feature generation
horn clauses
search space
background knowledge
search engine
data mining
induction algorithms
logic synthesis