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

First Page		Document Content
Date: 2018-08-06 06:17:49 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 Source URL: uclmr.github.io Download Document from Source Website File Size: 209,34 KB Share Document on Facebook