Implicitly learning to reason in first-order logic.

Vaishak Belle Brendan Juba

Published in: NeurIPS (2019)

Keyphrases

first order logic
expressive power
markov logic networks
inference rules
theorem prover
theorem proving
propositional logic
transitive closure
learning algorithm
knowledge representation
markov networks
constraint databases
markov logic
query language
inductive learning