Репост из: AGI
End-to-End Differentiable Proving
https://logic-data-science.github.io/Slides/Rocktaschel.pdf
https://logic-data-science.github.io/Slides/Rocktaschel.pdf