@inproceedings{minervini2020learning,
  title={Learning Reasoning Strategies in End-to-End Differentiable Proving},
  author={Minervini, Pasquale and Riedel, Sebastian and Stenetorp, Pontus and Grefenstette, Edward and Rockt{\"a}schel, Tim},
  booktitle={ICML 2020},
  year={2020}
}

{"_id":"taKsHFWzEYYDFaQAt","bibbaseid":"minervini-riedel-stenetorp-grefenstette-rocktschel-learningreasoningstrategiesinendtoenddifferentiableproving-2020","author_short":["Minervini, P.","Riedel, S.","Stenetorp, P.","Grefenstette, E.","Rocktäschel, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Learning Reasoning Strategies in End-to-End Differentiable Proving","author":[{"propositions":[],"lastnames":["Minervini"],"firstnames":["Pasquale"],"suffixes":[]},{"propositions":[],"lastnames":["Riedel"],"firstnames":["Sebastian"],"suffixes":[]},{"propositions":[],"lastnames":["Stenetorp"],"firstnames":["Pontus"],"suffixes":[]},{"propositions":[],"lastnames":["Grefenstette"],"firstnames":["Edward"],"suffixes":[]},{"propositions":[],"lastnames":["Rocktäschel"],"firstnames":["Tim"],"suffixes":[]}],"booktitle":"ICML 2020","year":"2020","bibtex":"@inproceedings{minervini2020learning,\n title={Learning Reasoning Strategies in End-to-End Differentiable Proving},\n author={Minervini, Pasquale and Riedel, Sebastian and Stenetorp, Pontus and Grefenstette, Edward and Rockt{\\\"a}schel, Tim},\n booktitle={ICML 2020},\n year={2020}\n}\n\n","author_short":["Minervini, P.","Riedel, S.","Stenetorp, P.","Grefenstette, E.","Rocktäschel, T."],"key":"minervini2020learning","id":"minervini2020learning","bibbaseid":"minervini-riedel-stenetorp-grefenstette-rocktschel-learningreasoningstrategiesinendtoenddifferentiableproving-2020","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/EFCPtS4jFngAEvpTk/rockt.bib","dataSources":["9FGdipwZv43gCKLff","CnmhbXT8Az9hfrJyh"],"keywords":[],"search_terms":["learning","reasoning","strategies","end","end","differentiable","proving","minervini","riedel","stenetorp","grefenstette","rocktäschel"],"title":"Learning Reasoning Strategies in End-to-End Differentiable Proving","year":2020}