Generalization under Implication by Recursive Anti-unification.

Peter Idestam-Almquist

Published in: ICML (1993)

Keyphrases

anti unification
higher order
inductive learning
analogy making
inductive logic programming
first order logic
computational properties
machine learning
case based reasoning
general purpose
logic programs
information processing
expressive power
functional dependencies
probabilistic reasoning
cognitive abilities