Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond

Vaishak Belle. Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz 0001, editors, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Volume 14281 of Lecture Notes in Computer Science, pages 35-46, Springer, 2023. [doi]

Abstract

Abstract is missing.