Skip to content

Damiano Azzolini

Damiano Azzolini's photo
Postdoc Researcher
Dipartimento di Scienze dell'Ambiente e della Prevenzione c/o Dipartimento di Ingegneria, Università di Ferrara,

Laboratorio 331
Blocco A, Polo Scientifico Tecnologico
University of Ferrara
Via Saragat 1, 44122, Ferrara, Italy
E-Mail: damiano.azzolini@unife.it
Ricevimento: su appuntamento richiesto via email.

Publications

Google Scholar – ScopusDBLPORCID

2022

[7] Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi. Abduction in (probabilistic) answer set programming. In Roberta Calegari, Giovanni Ciatto, and Andrea Omicini, editors, Proceedings of the 36th Italian Conference on Computational Logic, volume 3204 of CEUR Workshop Proceedings, pages 90--103, Aachen, Germany, 2022. Sun SITE Central Europe. [ bib | .pdf ]
[6] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Semantics for hybrid probabilistic logic programs with function symbols: Technical summary. In Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, and Jessica Zangari, editors, Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), volume 3193 of CEUR Workshop Proceedings, pages 1--5, Aachen, Germany, 2022. Sun SITE Central Europe. [ bib | .pdf ]
[5] Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi. Statistical statements in probabilistic logic programming. In Georg Gottlob, Daniela Inclezan, and Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning, pages 43--55, Cham, 2022. Springer International Publishing. [ bib | DOI | http | .pdf ]
[4] Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, and Riccardo Zese. Abduction in probabilistic logic programs. In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, and Tuncay Tekle, editors, Proceedings of the 38th International Conference on Logic Programming (Technical Communications), Recently Published Research track, volume 364 of Electronic Proceedings in Theoretical Computer Science, pages 174--176, Waterloo, Australia, 2022. Open Publishing Association. [ bib | DOI | http ]
[3] Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, and Riccardo Zese. Abduction with probabilistic logic programming under the distribution semantics. International Journal of Approximate Reasoning, 142:41--63, 2022. [ bib | DOI | http ]
[2] Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. A probabilistic logic model of lightning network. In Witold Abramowicz, Sören Auer, and Milena Stróżyna, editors, Business Information Systems Workshops, Lecture Notes in Business Information Processing (LNBIP), pages 321--333, Cham, Switzerland, 2022. Springer International Publishing. [ bib | DOI | http | .pdf ]
[1] Damiano Azzolini and Fabrizio Riguzzi. Probabilistic logic models for the lightning network. Cryptography, 6(2), 2022. [ bib | DOI | http | http ]

2021

[5] Damiano Azzolini and Fabrizio Riguzzi. Syntactic requirements for well-defined hybrid probabilistic logic programs. In Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, and Neng-Fa Zhou, editors, Proceedings 37th International Conference on Logic Programming (Technical Communications), pages 14--26, Waterloo, Australia, 2021. © by the authors, Open Publishing Association. [ bib | DOI | http | .pdf ]
[4] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Summary of semantics for hybrid probabilistic logic programs with function symbols. In Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, and Neng-Fa Zhou, editors, Proceedings 37th International Conference on Logic Programming (Technical Communications), pages 234--235, Waterloo, Australia, 2021. © by the authors, Open Publishing Association. [ bib | DOI | http | .pdf ]
[3] Damiano Azzolini and Fabrizio Riguzzi. Optimizing probabilities in probabilistic logic programs. Theory and Practice of Logic Programming, 21(5):543--556, © Cambridge University Press, 2021. [ bib | DOI | http | .pdf ]
[2] Damiano Azzolini and Fabrizio Riguzzi. Reducing probabilistic logic programs. In Ahmet Soylu, Alireza Tamaddoni Nezhad, Nikolay Nikolov, Ioan Toma, Anna Fensel, and Joost Vennekens, editors, Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium at RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, CEUR Workshop Proceedings, pages 1--13, Aachen, Germany, 2021. © By the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[1] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. A semantics for hybrid probabilistic logic programs with function symbols. Artificial Intelligence, 294:103452, © Elsevier, 2021. The final publication is available at Elsevier via https://doi.org/10.1016/j.artint.2021.103452. [ bib | DOI | .pdf ]

2020

[3] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. An analysis of Gibbs sampling for probabilistic logic programs. In Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, and Jessica Zangari, editors, Workshop on Probabilistic Logic Programming (PLP 2020), volume 2678 of CEUR Workshop Proceedings, pages 1--13, Aachen, Germany, 2020. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[2] Damiano Azzolini, Elena Bellodi, Alessandro Brancaleoni, Fabrizio Riguzzi, and Evelina Lamma. Modeling bitcoin lightning network by logic programming. In Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, and Fabrizio Riguzzi, editors, Proceedings of the 36th International Conference on Logic Programming (Technical Communications), pages 258--260, Waterloo, Australia, 2020. © by the authors, Open Publishing Association. [ bib | DOI | http | http ]
[1] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Modeling smart contracts with probabilistic logic programming. In Witold Abramowicz and Gary Klein, editors, Business Information Systems Workshops, volume 394 of Lecture Notes in Business Information Processing, pages 86--98, Cham, 2020. © Springer, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-61146-0_7. [ bib | DOI | .pdf ]

2019

[3] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Analyzing transaction fees with probabilistic logic programming. In Witold Abramowicz and Rafael Corchuelo, editors, Business Information Systems Workshops BIS 2019, volume 373 of Lecture Notes in Business Information Processing, pages 243--254, Cham, 2019. © Springer, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-36691-9_21. [ bib | DOI | .pdf ]
[2] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Studying transaction fees in the bitcoin blockchain with probabilistic logic programming. Information, 10(11):335, © CCBY, 2019. [ bib | DOI | http ]
[1] Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, and Franco Masotti. A comparison of MCMC sampling for probabilistic logic programming. In Mario Alviano, Gianluigi Greco, and Francesco Scarcello, editors, Proceedings of the 18th Conference of the Italian Association for Artificial Intelligence (AI*IA2019), Rende, Italy 19-22 November 2019, volume 11946 of Lecture Notes in Computer Science, pages 18--29, Heidelberg, Germany, 2019. © Springer, Springer. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-35166-3_2. [ bib | DOI | .pdf ]

2018

[1] Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. Modeling bitcoin protocols with probabilistic logic programming. In Elena Bellodi and Tom Schrijvers, editors, Probabilistic Logic Programming (PLP 2018), volume 2219 of CEUR Workshop Proceedings, pages 49--61, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]

Awards

  • 2022: my software PASTA won the Technological Contest at CILC2022
  • 2022: special mention at CILC2022 for my PhD thesis: “Extensions and Applications of Probabilistic Logic Programming”
  • 2021: recipient of “Prima Edizione Premio Nazionale Ricerca Big Data e AI”

 

Teaching and Seminars

At University of Ferrara:

  • Module “Informatica e seminario” of the course “Basi molecolari e funzionali della vita“, Corso di Laurea in Infermieristica (abilitante alla professione sanitaria di infermiere) (Classe: L/SNT1), both in Ferrara (20h) and Adria (20h) and the same courses for Corso di Laurea in Ostetricia (abilitante alla professione sanitaria di ostetrica/o) (Classe: L/SNT1), 12h, A.A. 2022/2023
  • Co-teaching Fondamenti di Informatica e Laboratorio Modulo B (30 h) A.A. 2021/2022
  • Seminar for the course Advanced Software Engineering (25 h) A.A. 2021/2022
  • Seminar integrating the course Programmazione e laboratorio (25 h) A.A. 2020/2021
  • Seminar “Gestione tecnica di laboratori di informatica in ingresso al Corso di Laurea in Informatica” (12 h) A.A. 2019/2020

 

Not in university:

 

Fundings

 

Activities

 

Supplementary Material

  • Optimizing Probabilities in Probabilistic Logic Programs (2021): Bitbucket link
  • Reducing Probabilistic Logic Programs (2021): Bitbucket link
  • Github with random projects