Unranked second-order anti-unification.

Alexander Baumgartner Temur Kutsia

Published in: Inf. Comput. (2017)

Keyphrases

anti unification
higher order
analogy making
inductive learning
first order logic
inductive logic programming
tree automata
pairwise
data mining
machine learning
computational intelligence
labeled trees