Unranked Second-Order Anti-Unification.

Alexander Baumgartner Temur Kutsia

Published in: WoLLIC (2014)

Keyphrases

anti unification
higher order
analogy making
inductive learning
inductive logic programming
first order logic
tree automata
pairwise
artificial intelligence
general purpose
data mining
knowledge base
bayesian networks
natural language processing