The Vampire Approach to Induction (short paper).

Márton Hajdú Laura Kovács Michael Rawson Andrei Voronkov

Published in: PAAR@IJCAR (2022)

Keyphrases

inductive learning
constructive induction
inductive logic programming
real world
information retrieval
artificial intelligence
concept learning
program synthesis
neural network
subgroup discovery
rule induction
explanation based learning
decision rules
knowledge acquisition
domain knowledge
high level
metadata