Induction with Recursive Definitions in Superposition.

Márton Hajdú Petra Hozzová Laura Kovács Andrei Voronkov

Published in: FMCAD (2021)

Keyphrases

inductive learning
theorem proving
explanation based learning
data sets
machine learning
computer vision
case study
rule induction
program synthesis
databases
web services
inductive logic programming
subgroup discovery
concept formation
precise definition