Anti-unification and Generalization: A Survey.

David M. Cerna Temur Kutsia

Published in: CoRR (2023)

Keyphrases

anti unification
higher order
analogy making
inductive learning
first order logic
inductive logic programming
general purpose
knowledge acquisition
computational properties
decision making
training data
pairwise
background knowledge
automated reasoning