End-to-end Differentiable Proving

Tim Rocktäschel, Sebastian Riedel

Neural Information Processing Systems 

Neural Information Processing Systems http://nips.cc/