Higher-Order Pattern Anti-Unification in Linear Time.
Alexander BaumgartnerTemur KutsiaJordi LevyMateu VillaretPublished in: J. Autom. Reason. (2017)
Keyphrases
- anti unification
- higher order
- analogy making
- inductive learning
- inductive logic programming
- first order logic
- high order
- pattern matching
- natural images
- pairwise
- pattern discovery
- computational properties
- low order
- expressive power
- markov random field
- worst case
- conditional random fields
- lower order
- graphical models
- knowledge representation
- low level
- domain knowledge