Equational Anti-Unification over Absorption Theories.

Mauricio Ayala-Rincón David M. Cerna Andres Felipe Gonzalez Barragan Temur Kutsia

Published in: CoRR (2023)

Keyphrases

anti unification
higher order
analogy making
inductive logic programming
first order logic
inductive learning
equational theories
theorem proving
computational properties
human cognition
pairwise
inference rules
expressive power
search engine
knowledge representation
knowledge base
machine learning
data mining