Login / Signup
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