End-to-end Differentiable Proving
Reasoning With Neural Tensor Networks for Knowledge Base Completion