Higher-Order Equational Pattern Anti-Unification.
David M. CernaTemur KutsiaPublished 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