@inproceedings{DBLP:conf/sum/Belle20,
  author       = {Vaishak Belle},
  editor       = {Jesse Davis and
                  Karim Tabia},
  title        = {Symbolic Logic Meets Machine Learning: {A} Brief Survey in Infinite
                  Domains},
  booktitle    = {Scalable Uncertainty Management - 14th International Conference, {SUM}
                  2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12322},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58449-8\_1},
  doi          = {10.1007/978-3-030-58449-8\_1},
  timestamp    = {Thu, 17 Sep 2020 16:28:12 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/Belle20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Hst4cF2apA2GgFi6r","bibbaseid":"belle-symboliclogicmeetsmachinelearningabriefsurveyininfinitedomains-2020","author_short":["Belle, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Jesse"],"propositions":[],"lastnames":["Davis"],"suffixes":[]},{"firstnames":["Karim"],"propositions":[],"lastnames":["Tabia"],"suffixes":[]}],"title":"Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains","booktitle":"Scalable Uncertainty Management - 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings","series":"Lecture Notes in Computer Science","volume":"12322","pages":"3–16","publisher":"Springer","year":"2020","url":"https://doi.org/10.1007/978-3-030-58449-8\\_1","doi":"10.1007/978-3-030-58449-8_1","timestamp":"Thu, 17 Sep 2020 16:28:12 +0200","biburl":"https://dblp.org/rec/conf/sum/Belle20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sum/Belle20,\n author = {Vaishak Belle},\n editor = {Jesse Davis and\n Karim Tabia},\n title = {Symbolic Logic Meets Machine Learning: {A} Brief Survey in Infinite\n Domains},\n booktitle = {Scalable Uncertainty Management - 14th International Conference, {SUM}\n 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12322},\n pages = {3--16},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-58449-8\\_1},\n doi = {10.1007/978-3-030-58449-8\\_1},\n timestamp = {Thu, 17 Sep 2020 16:28:12 +0200},\n biburl = {https://dblp.org/rec/conf/sum/Belle20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V."],"editor_short":["Davis, J.","Tabia, K."],"key":"DBLP:conf/sum/Belle20","id":"DBLP:conf/sum/Belle20","bibbaseid":"belle-symboliclogicmeetsmachinelearningabriefsurveyininfinitedomains-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-58449-8\\_1"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"],"keywords":[],"search_terms":["symbolic","logic","meets","machine","learning","brief","survey","infinite","domains","belle"],"title":"Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains","year":2020}