Implementing Anti-Unification Modulo Equational Theory.

Jochen Burghardt Birgit Heinz

Published in: CoRR (2014)

Keyphrases

anti unification
analogy making
higher order
first order logic
inductive learning
inductive logic programming
theoretical framework
equational theories
theorem proving
computational model
theorem prover
pairwise
prior knowledge
automated reasoning
human cognition
cognitive abilities