@inproceedings{DBLP:conf/jelia/Belle23,
  author       = {Vaishak Belle},
  editor       = {Sarah Alice Gaggl and
                  Maria Vanina Martinez and
                  Magdalena Ortiz},
  title        = {Excursions in First-Order Logic and Probability: Infinitely Many Random
                  Variables, Continuous Distributions, Recursive Programs and Beyond},
  booktitle    = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
                  2023, Dresden, Germany, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14281},
  pages        = {35--46},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43619-2\_3},
  doi          = {10.1007/978-3-031-43619-2\_3},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Belle23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"DesrvTEoBJhPPjchR","bibbaseid":"belle-excursionsinfirstorderlogicandprobabilityinfinitelymanyrandomvariablescontinuousdistributionsrecursiveprogramsandbeyond-2023","author_short":["Belle, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Sarah","Alice"],"propositions":[],"lastnames":["Gaggl"],"suffixes":[]},{"firstnames":["Maria","Vanina"],"propositions":[],"lastnames":["Martinez"],"suffixes":[]},{"firstnames":["Magdalena"],"propositions":[],"lastnames":["Ortiz"],"suffixes":[]}],"title":"Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond","booktitle":"Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings","series":"Lecture Notes in Computer Science","volume":"14281","pages":"35–46","publisher":"Springer","year":"2023","url":"https://doi.org/10.1007/978-3-031-43619-2\\_3","doi":"10.1007/978-3-031-43619-2_3","timestamp":"Sat, 14 Oct 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/jelia/Belle23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/jelia/Belle23,\n author = {Vaishak Belle},\n editor = {Sarah Alice Gaggl and\n Maria Vanina Martinez and\n Magdalena Ortiz},\n title = {Excursions in First-Order Logic and Probability: Infinitely Many Random\n Variables, Continuous Distributions, Recursive Programs and Beyond},\n booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}\n 2023, Dresden, Germany, September 20-22, 2023, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14281},\n pages = {35--46},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-43619-2\\_3},\n doi = {10.1007/978-3-031-43619-2\\_3},\n timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/jelia/Belle23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V."],"editor_short":["Gaggl, S. A.","Martinez, M. V.","Ortiz, M."],"key":"DBLP:conf/jelia/Belle23","id":"DBLP:conf/jelia/Belle23","bibbaseid":"belle-excursionsinfirstorderlogicandprobabilityinfinitelymanyrandomvariablescontinuousdistributionsrecursiveprogramsandbeyond-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-43619-2\\_3"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["excursions","first","order","logic","probability","infinitely","many","random","variables","continuous","distributions","recursive","programs","beyond","belle"],"title":"Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond","year":2023}