tplp-volume-25-2025 – Association for Logic Programming

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables. Damiano Azzolini and Fabrizio Riguzzi, pp 1-32
Solving Decision Theory Problems with Probabilistic Answer Set Programming. DAMIANO AZZOLINI, ELENA BELLODI, RAFAEL KIESEL, FABRIZIO RIGUZZI, pp 33-63
(rapid communication) Catamorphic Abstractions for Constrained Horn Clause Satisfiability EMANUELE DE ANGELIS, FABIO FIORAVANTI, ALBERTO PETTOROSSI, MAURIZIO PROIETTI, pp. 64-91
Direct Encoding of Declare Constraints in ASP. Francesco Chiariello, Antonio Ielo, Valeria Fionda, Francesco Ricca, pp 92-131