Higher-Order Equational Pattern Anti-Unification [Preprint].
David M. CernaTemur KutsiaPublished in: CoRR (2018)
Keyphrases
- anti unification
- higher order
- analogy making
- inductive learning
- first order logic
- inductive logic programming
- pattern matching
- high order
- natural images
- pairwise
- pattern discovery
- theorem proving
- knowledge acquisition
- artificial intelligence
- theorem prover
- knowledge representation
- computational properties
- low order
- training set
- similarity measure