“Progic 2025: The 12th Workshop on Combining Probability and Logic: Carnegie Mellon University, Pittsburgh, PA — April 3–5, 2025”, tr, vol. 19, no. 3, Jul. 2025, doi: 10.54103/1757-0522/28914.