Unification and Anti-unification modulo Equational Theories.
Santiago EscobarPublished in: UNIF@RTA/TLCA (2013)
Keyphrases
- equational theories
- anti unification
- first order logic
- higher order
- theorem proving
- analogy making
- inductive learning
- inductive logic programming
- function symbols
- expressive power
- automated reasoning
- theorem prover
- computational properties
- background knowledge
- horn clauses
- human cognition
- knowledge acquisition
- pairwise