Technical Report: Anti-unification of Unordered Goals.

Gonzague Yernaux Wim Vanhoof

Published in: CoRR (2021)

Keyphrases

technical report
anti unification
analogy making
higher order
first order logic
inductive logic programming
inductive learning
learning algorithm
high level
logic programming