Logical Rule Induction and Theory Learning Using Neural Theorem Proving.

Andres Campero Aldo Pareja Tim Klinger Josh Tenenbaum Sebastian Riedel

Published in: CoRR (2018)

Keyphrases

theorem proving
rule induction
neural network
learning algorithm
instance based learning
first order logic
parallel search
inductive learning
active learning
prior knowledge
rough sets
supervised learning
inference rules
theorem prover
decision trees
proof procedure
real world