Algebraic anti-unification.

Christian Antic

Published in: CoRR (2024)

Keyphrases

anti unification
higher order
analogy making
first order logic
inductive learning
inductive logic programming
computer science
general purpose
computational properties