Login / Signup
Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.
Martin Schmidt
Helmar Gust
Kai-Uwe Kühnberger
Ulf Krumnack
Published in:
KI (2011)
Keyphrases
</>
anti unification
higher order
analogy making
inductive learning
first order logic
inductive logic programming
natural images
high order
markov random field
computational properties
dynamic programming
expressive power
machine learning
bayesian networks
search algorithm
theoretical framework