A Variant of Higher-Order Anti-Unification.

Alexander Baumgartner Temur Kutsia Jordi Levy Mateu Villaret

Published in: RTA (2013)

Keyphrases

anti unification
higher order
analogy making
inductive learning
first order logic
inductive logic programming
high order
natural images
pairwise
markov random field
lower order
domain knowledge
background knowledge
computational properties