Nominal Anti-Unification with Atom-Variables.

Manfred Schmidt-Schauß Daniele Nantes-Sobrinho

Published in: FSCD (2022)

Keyphrases

anti unification
higher order
analogy making
variable selection
inductive learning
first order logic
inductive logic programming
machine learning
feature selection
computational model
causal models
artificial intelligence
knowledge base
software engineering
conditional probabilities