Progic 2025: The 12th Workshop on Combining Probability and Logic: Carnegie Mellon University, Pittsburgh, PA — April 3–5, 2025. tr [Internet]. 2025 Jul. 26 [cited 2026 Jul. 27];19(3). Available from: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/28914