Variant-Based Equational Anti-unification.

María Alpuente Demis Ballis Santiago Escobar Julia Sapiña

Published in: LOPSTR (2022)

Keyphrases

anti unification
higher order
first order logic
analogy making
inductive logic programming
inductive learning
theorem proving
theorem prover
pairwise
machine learning
bayesian networks
expert systems
expressive power
computational properties