Nominal Anti-Unification.

Alexander Baumgartner Temur Kutsia Jordi Levy Mateu Villaret

Published in: RTA (2015)

Keyphrases

anti unification
higher order
analogy making
inductive logic programming
inductive learning
first order logic
computational properties
background knowledge
automated reasoning
machine learning
relational databases
case based reasoning
data management
human cognition