@inproceedings{DBLP:conf/nips/BelleJ19,
  author       = {Vaishak Belle and
                  Brendan Juba},
  editor       = {Hanna M. Wallach and
                  Hugo Larochelle and
                  Alina Beygelzimer and
                  Florence d'Alch{\'{e}}{-}Buc and
                  Emily B. Fox and
                  Roman Garnett},
  title        = {Implicitly learning to reason in first-order logic},
  booktitle    = {Advances in Neural Information Processing Systems 32: Annual Conference
                  on Neural Information Processing Systems 2019, NeurIPS 2019, December
                  8-14, 2019, Vancouver, BC, Canada},
  pages        = {3376--3386},
  year         = {2019},
  url          = {https://proceedings.neurips.cc/paper/2019/hash/09fb05dd477d4ae6479985ca56c5a12d-Abstract.html},
  timestamp    = {Mon, 16 May 2022 15:41:51 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/BelleJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"EK67sBLACDPXiE5gq","bibbaseid":"belle-juba-implicitlylearningtoreasoninfirstorderlogic-2019","authorIDs":["545792562abc8e9f37000523"],"author_short":["Belle, V.","Juba, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Brendan"],"propositions":[],"lastnames":["Juba"],"suffixes":[]}],"editor":[{"firstnames":["Hanna","M."],"propositions":[],"lastnames":["Wallach"],"suffixes":[]},{"firstnames":["Hugo"],"propositions":[],"lastnames":["Larochelle"],"suffixes":[]},{"firstnames":["Alina"],"propositions":[],"lastnames":["Beygelzimer"],"suffixes":[]},{"firstnames":["Florence"],"propositions":["d'Alché-Buc"],"lastnames":[],"suffixes":[]},{"firstnames":["Emily","B."],"propositions":[],"lastnames":["Fox"],"suffixes":[]},{"firstnames":["Roman"],"propositions":[],"lastnames":["Garnett"],"suffixes":[]}],"title":"Implicitly learning to reason in first-order logic","booktitle":"Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada","pages":"3376–3386","year":"2019","url":"https://proceedings.neurips.cc/paper/2019/hash/09fb05dd477d4ae6479985ca56c5a12d-Abstract.html","timestamp":"Mon, 16 May 2022 15:41:51 +0200","biburl":"https://dblp.org/rec/conf/nips/BelleJ19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/nips/BelleJ19,\n author = {Vaishak Belle and\n Brendan Juba},\n editor = {Hanna M. Wallach and\n Hugo Larochelle and\n Alina Beygelzimer and\n Florence d'Alch{\\'{e}}{-}Buc and\n Emily B. Fox and\n Roman Garnett},\n title = {Implicitly learning to reason in first-order logic},\n booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference\n on Neural Information Processing Systems 2019, NeurIPS 2019, December\n 8-14, 2019, Vancouver, BC, Canada},\n pages = {3376--3386},\n year = {2019},\n url = {https://proceedings.neurips.cc/paper/2019/hash/09fb05dd477d4ae6479985ca56c5a12d-Abstract.html},\n timestamp = {Mon, 16 May 2022 15:41:51 +0200},\n biburl = {https://dblp.org/rec/conf/nips/BelleJ19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V.","Juba, B."],"editor_short":["Wallach, H. M.","Larochelle, H.","Beygelzimer, A.","d'Alché-Buc , F.","Fox, E. B.","Garnett, R."],"key":"DBLP:conf/nips/BelleJ19","id":"DBLP:conf/nips/BelleJ19","bibbaseid":"belle-juba-implicitlylearningtoreasoninfirstorderlogic-2019","role":"author","urls":{"Paper":"https://proceedings.neurips.cc/paper/2019/hash/09fb05dd477d4ae6479985ca56c5a12d-Abstract.html"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","creationDate":"2019-07-04T07:47:08.201Z","downloads":0,"keywords":[],"search_terms":["implicitly","learning","reason","first","order","logic","belle","juba"],"title":"Implicitly learning to reason in first-order logic","year":2019,"dataSources":["rbyKnTvheBmsR3cHt","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}