TY - RPRT TI - End-to-End Differentiable Proving AU - Tim Rocktäschel AU - Sebastian Riedel PY - 2017 UR - https://arxiv.org/abs/1705.11040 ID - 1705.11040 ER -