Damiano Azzolini

56 papers A* 3A 2B 4C 1Journal 24Unranked 19
YearRankTypeTitle / Venue / Authors
2026 C conf
Solving Hard Combinatorial Optimization Problems with PyQASP.
PADL
Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca
2025 A* conf
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming.
KR
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 A conf
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs.
ECAI
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 J jnl
Application Placement with Constraint Relaxation.
CoRR
Damiano Azzolini, Marco Duca, Stefano Forti, Francesco Gallo, Antonio Ielo
2025 J jnl
Application Placement with Constraint Relaxation.
Theory Pract. Log. Program.
Damiano Azzolini, Marco Duca, Francesco Gallo, Antonio Ielo, Stefano Forti
2025 J jnl
Continuous reasoning for adaptive container image distribution in the cloud-edge continuum.
Clust. Comput.
Damiano Azzolini, Stefano Forti, Antonio Ielo
2025 J jnl
Evolutionary learning of probabilistic logic programs.
Knowl. Based Syst.
Damiano Azzolini
2025 J jnl
Integrating Belief Domains into Probabilistic Logic Programs.
CoRR
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
2025 J jnl
Integrating Belief Domains into Probabilistic Logic Programs.
Theory Pract. Log. Program.
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
2025 — ed.
Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025.
ICLP Workshops
Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2025 J jnl
Learning answer set programs with aggregates via sampling and genetic programming.
Mach. Learn.
Damiano Azzolini
2025 J jnl
Mixtures of probabilistic logic programs.
Int. J. Approx. Reason.
Damiano Azzolini
2025 A* conf
Most Probable Explanation in Probabilistic Answer Set Programming.
IJCAI
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 J jnl
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables.
Theory Pract. Log. Program.
Damiano Azzolini, Fabrizio Riguzzi
2025 A* conf
Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms.
KR
Damiano Azzolini, Markus Hecher
2025 J jnl
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
Theory Pract. Log. Program.
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024 — conf
A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming.
ICLP Workshops
Damiano Azzolini, Markus Hecher
2024 — conf
Benchmarking in Neuro-Symbolic AI.
IJCLR
Robin Manhaeve, Francesco Giannini, Mehdi Ali, Damiano Azzolini, Alice Bizzarri, Andrea Borghesi, Samuele Bortolotti, Luc De Raedt, Devendra Singh Dhami, Michelangelo Diligenti, Sebastijan Dumancic, Boi Faltings, Elisabetta Gentili, Alfonso Gerevini, Marco Gori, Tias Guns, Martin Homola, Kristian Kersting, Jens Lehmann, Michele Lombardi, Luca Salvatore Lorello, Emanuele Marconato, Stefano Melacci, Andrea Passerini, Debjit Paul, Fabrizio Riguzzi, Stefano Teso, Neil Yorke-Smith, Marco Lippi
2024 J jnl
Continuous reasoning for adaptive container image distribution in the cloud-edge continuum.
CoRR
Damiano Azzolini, Stefano Forti, Antonio Ielo
2024 J jnl
Fast Inference for Probabilistic Answer Set Programs Via the Residual Program.
Theory Pract. Log. Program.
Damiano Azzolini, Fabrizio Riguzzi
2024 J jnl
Fast Inference for Probabilistic Answer Set Programs via the Residual Program.
CoRR
Damiano Azzolini, Fabrizio Riguzzi
2024 A conf
Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization.
UAI
Damiano Azzolini, Fabrizio Riguzzi
2024 — conf
Logic Programming for Knowledge Graph Completion.
CILC
Damiano Azzolini, Matteo Bonato, Elisabetta Gentili, Fabrizio Riguzzi
2024 J jnl
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables.
CoRR
Damiano Azzolini, Fabrizio Riguzzi
2024 J jnl
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
CoRR
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024 — conf
Summary of Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization (Short paper).
DP@AI*IA
Damiano Azzolini, Fabrizio Riguzzi
2024 J jnl
Symbolic Parameter Learning in Probabilistic Answer Set Programming.
CoRR
Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2024 J jnl
Symbolic Parameter Learning in Probabilistic Answer Set Programming.
Theory Pract. Log. Program.
Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2024 — ed.
Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024.
ICLP Workshops
Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi
2023 — conf
A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs.
ICLP Workshops
Damiano Azzolini
2023 B conf
A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs.
ILP
Damiano Azzolini
2023 — conf
Inference in Probabilistic Answer Set Programming Under the Credal Semantics.
AI*IA
Damiano Azzolini, Fabrizio Riguzzi
2023 J jnl
Lifted inference for statistical statements in probabilistic answer set programming.
Int. J. Approx. Reason.
Damiano Azzolini, Fabrizio Riguzzi
2023 — conf
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress.
ICLP Workshops
Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2023 B conf
Regularization in Probabilistic Inductive Logic Programming.
ILP
Elisabetta Gentili, Alice Bizzarri, Damiano Azzolini, Riccardo Zese, Fabrizio Riguzzi
2022 — conf
Abduction in (Probabilistic) Answer Set Programming.
CILC
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 J jnl
Abduction with probabilistic logic programming under the distribution semantics.
Int. J. Approx. Reason.
Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, Riccardo Zese
2022 — conf
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities.
AI*IA
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 — —
Extensions and Applications of Probabilistic Logic Programming.
Damiano Azzolini
2022 B conf
Learning the Parameters of Probabilistic Answer Set Programs.
ILP
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 — conf
MAP Inference in Probabilistic Answer Set Programs.
AI*IA
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 J jnl
Probabilistic Logic Models for the Lightning Network.
Cryptogr.
Damiano Azzolini, Fabrizio Riguzzi
2022 — conf
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary.
ICLP Workshops
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2022 B conf
Statistical Statements in Probabilistic Logic Programming.
LPNMR
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2021 — conf
A Probabilistic Logic Model of Lightning Network.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2021 J jnl
A semantics for Hybrid Probabilistic Logic programs with function symbols.
Artif. Intell.
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2021 J jnl
Optimizing Probabilities in Probabilistic Logic Programs.
CoRR
Damiano Azzolini, Fabrizio Riguzzi
2021 J jnl
Optimizing Probabilities in Probabilistic Logic Programs.
Theory Pract. Log. Program.
Damiano Azzolini, Fabrizio Riguzzi
2021 — conf
Reducing Probabilistic Logic Programs.
RuleML+RR (Supplement)
Damiano Azzolini, Fabrizio Riguzzi
2021 — conf
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs.
ICLP Technical Communications
Damiano Azzolini, Fabrizio Riguzzi
2020 — conf
An Analysis of Gibbs Sampling for Probabilistic Logic Programs.
ICLP Workshops
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2020 — conf
Modeling Smart Contracts with Probabilistic Logic Programming.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2019 — conf
A Comparison of MCMC Sampling for Probabilistic Logic Programming.
AI*IA
Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma
2019 — conf
Analyzing Transaction Fees with Probabilistic Logic Programming.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2019 J jnl
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming.
Inf.
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2018 — conf
Modeling Bitcoin Protocols with Probabilistic Logic Programming.
PLP@ILP
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese