End-to-end Differentiable Proving, Rocktaschel, Tim and Riedel, Sebastian, Advances in Neural Information Processing Systems (NIPS) 2017 [pdf] 
@inproceedings{rocktaschel2017nips,
    year={2017}, 
    author={Rocktaschel, Tim and Riedel, Sebastian}, 
    booktitle={Advances in Neural Information Processing Systems (NIPS)}, 
    title={End-to-end Differentiable Proving}, 
}