Anti-Unification of Unordered Goals.

Gonzague Yernaux Wim Vanhoof

Published in: CSL (2022)

Keyphrases

anti unification
analogy making
higher order
inductive logic programming
inductive learning
first order logic
expressive power
machine learning
learning algorithm
object oriented
general purpose
probabilistic reasoning