@Article{Campero2018,
author = {Campero, Andres and Pareja, Aldo and Klinger, Tim and Tenenbaum, Josh and Riedel, Sebastian}, 
title = {Logical Rule Induction and Theory Learning Using Neural Theorem Proving}, 
journal = {}, 
volume = {}, 
number = {}, 
pages = {}, 
year = {2018}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"GsqXhpqQMteAkcbJ2","bibbaseid":"campero-pareja-klinger-tenenbaum-riedel-logicalruleinductionandtheorylearningusingneuraltheoremproving-2018","authorIDs":[],"author_short":["Campero, A.","Pareja, A.","Klinger, T.","Tenenbaum, J.","Riedel, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Campero"],"firstnames":["Andres"],"suffixes":[]},{"propositions":[],"lastnames":["Pareja"],"firstnames":["Aldo"],"suffixes":[]},{"propositions":[],"lastnames":["Klinger"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Tenenbaum"],"firstnames":["Josh"],"suffixes":[]},{"propositions":[],"lastnames":["Riedel"],"firstnames":["Sebastian"],"suffixes":[]}],"title":"Logical Rule Induction and Theory Learning Using Neural Theorem Proving","journal":"","volume":"","number":"","pages":"","year":"2018","abstract":"","location":"","keywords":"","bibtex":"@Article{Campero2018,\nauthor = {Campero, Andres and Pareja, Aldo and Klinger, Tim and Tenenbaum, Josh and Riedel, Sebastian}, \ntitle = {Logical Rule Induction and Theory Learning Using Neural Theorem Proving}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {2018}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Campero, A.","Pareja, A.","Klinger, T.","Tenenbaum, J.","Riedel, S."],"key":"Campero2018","id":"Campero2018","bibbaseid":"campero-pareja-klinger-tenenbaum-riedel-logicalruleinductionandtheorylearningusingneuraltheoremproving-2018","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:33.962Z","downloads":0,"keywords":[],"search_terms":["logical","rule","induction","theory","learning","using","neural","theorem","proving","campero","pareja","klinger","tenenbaum","riedel"],"title":"Logical Rule Induction and Theory Learning Using Neural Theorem Proving","year":2018,"dataSources":["hEoKh4ygEAWbAZ5iy"]}