Anti-unification and Generalization: A Survey.

David M. Cerna Temur Kutsia

Published in: IJCAI (2023)

Keyphrases

anti unification
higher order
analogy making
first order logic
inductive learning
inductive logic programming
computational model
expressive power
expert systems
domain knowledge
background knowledge
theorem proving
computational properties