TY - RPRT TI - Logical Rule Induction and Theory Learning Using Neural Theorem Proving AU - Andres Campero AU - Aldo Pareja AU - Tim Klinger AU - Josh Tenenbaum AU - Sebastian Riedel PY - 2018 UR - https://arxiv.org/abs/1809.02193 ID - 1809.02193 ER -