Back to Results
First PageMeta Content
Logic / Reasoning / Inductive reasoning / Predicate logic / Mathematical logic / Predicate / Propositional calculus / Inference / Universal quantification / Axiom


Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con
Add to Reading List

Document Date: 2018-08-06 06:17:49


Open Document

File Size: 209,34 KB

Share Result on Facebook