A, C, and AC Nominal Anti-Unification.

Alexander Baumgartner Daniele Nantes-Sobrinho

Published in: UNIF (2020)

Keyphrases

anti unification
higher order
analogy making
inductive learning
first order logic
inductive logic programming
computational properties
database
database systems
active learning
knowledge acquisition
expressive power
inference rules
theorem proving
automated reasoning