Login / Signup
Restricted Higher-Order Anti-Unification for Analogy Making.
Ulf Krumnack
Angela Schwering
Helmar Gust
Kai-Uwe Kühnberger
Published in:
Australian Conference on Artificial Intelligence (2007)
Keyphrases
</>
anti unification
analogy making
higher order
inductive learning
first order logic
inductive logic programming
pairwise
knowledge acquisition
metadata
high level
xml documents
learning activities
computational properties