Higher-Order Equational Pattern Anti-Unification.

David M. Cerna Temur Kutsia

Published in: FSCD (2018)

Keyphrases

anti unification
higher order
analogy making
inductive learning
inductive logic programming

first order logic
pattern matching
natural images
knowledge acquisition
pairwise

background knowledge
expressive power
high order
theorem proving
machine learning

markov random field
natural language processing
artificial intelligence
learning algorithm