Nominal Anti-Unification.

Alexander Baumgartner Temur Kutsia Jordi Levy Mateu Villaret

Published in: UNIF (2014)

Keyphrases

anti unification
higher order
analogy making
first order logic
inductive logic programming
inductive learning
database
background knowledge
computational properties
high dimensional
logic programming
inference rules
automated reasoning