Skip to content

Fabrizio Riguzzi

Fabrizio Riguzzi's photo
Full Professor
Dipartimento di Matematica e Informatica, Università di Ferrara,
Dipartimento di Matematica e Informatica
University of Ferrara
Via Machiavelli 30, 44121, Ferrara, Italia
Tel: +390532974037 Fax: +390532974792
E-Mail: fabrizio.riguzzi@unife.it
Ricevimento: su appuntamento richiesto via email o telefono.
University Home Page

 

PLP book
New edition out in October 2022

Kalman filter in 2 dimensions
Generated with cplint and R
Interactive version

Research

Playing with Prolog videos: Map generation with cplint, Playing With Prolog Goes To The Movies (truel)

I belong to the research groups ML@unife

Links to online systems: cplint, TRILL, Online AUC calculator, Belief Propagation

Publications

Google Scholar, Semantic Scholar, Microsoft Academic, Loop, DBLPORCID, ScopusAcademia, MendeleyKudos, Publons, AMiner

Publications by type, publications by year

Latest Publications

[26] 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 ]
[25] 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 ]
[24] 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 ]
[23] Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, and Evelina Lamma. An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. 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), volume 364 of Electronic Proceedings in Theoretical Computer Science, pages 65--78, Waterloo, Australia, 2022. Open Publishing Association. [ bib | DOI | http | .pdf ]
[22] 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 ]
[21] Michele Fraccaroli, Fabrizio Riguzzi, and Evelina Lamma. Exploiting parameters learning for hyper-parameters optimization in deep neural networks. 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 142--144, Waterloo, Australia, 2022. Open Publishing Association. [ bib | DOI | http ]
[20] Alessandro Rocchi, Andrea Chiozzi, Marco Nale, Zeljana Nikolic, Fabrizio Riguzzi, Luana Mantovan, Alessandro Gilli, and Elena Benvenuti. A machine learning framework for multi-hazard risk assessment at the regional scale in earthquake and flood-prone areas. Applied Sciences, 12(2), 2022. [ bib | DOI | http ]
[19] 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 ]
[18] Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi. Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing deep neural networks hyperparameters. SoftwareX, 17:100957, 2022. [ bib | DOI | http ]
[17] Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini, Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi. Prediction of gas turbine trip: A novel methodology based on random forest models. Journal of Engineering for Gas Turbines and Power, 144(3), 2022. GTP-21-1324. [ bib | DOI ]
[16] 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 ]
[15] Riccardo Zese, Elena Bellodi, Michele Fraccaroli, Fabrizio Riguzzi, and Evelina Lamma. Neural Networks and Deep Learning Fundamentals, pages 23--42. Springer International Publishing, Cham, 2022. [ bib | DOI | http ]
[14] Damiano Azzolini and Fabrizio Riguzzi. Probabilistic logic models for the lightning network. Cryptography, 6(2), 2022. [ bib | DOI | http | http ]
[13] Arnaud Nguembang Fadja, Fabrizio Riguzzi, Giorgio Bertorelle, and Emiliano Trucchi. Identification of natural selection in genomic data with deep convolutional neural network. BioData Mining, 14(1):51, 2021. [ bib | DOI ]
[12] Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi. Symbolic DNN-Tuner. Machine Learning, © Springer, 2021. [ bib | DOI ]
[11] Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma. Learning hierarchical probabilistic logic programs. Machine Learning, 110(7):1637--1693, © Springer, 2021. [ bib | DOI | .pdf ]
[10] 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 ]
[9] 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 ]
[8] 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 ]
[7] 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 ]
[6] 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 ]
[5] Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini, Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi. Structured methodology for clustering gas turbine transients by means of multi-variate time series. Journal of Engineering for Gas Turbines and Power, 143(3):031014--1 (13 pages), 2021. [ bib | DOI ]
[4] Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini, Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi. Data selection and feature engineering for the application of machine learning to the prediction of gas turbine trip. In Proceedings of the ASME Turbo Expo 2021: Turbomachinery Technical Conference and Exposition, June 7–11, 2021 Virtual, Online, volume 8, page V008T20A004. ASME, 2021. [ bib | DOI ]
[3] Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini, Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi. Prediction of gas turbine trip: a novel methodology based on random forest models. In Proceedings of the ASME Turbo Expo 2021: Turbomachinery Technical Conference and Exposition, June 7–11, 2021 Virtual, Online, volume 8, page V008T20A005. ASME, 2021. [ bib | DOI ]
[2] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina Lamma. Probabilistic inductive constraint logic. Machine Learning, 110:723--754, 2021. [ bib | DOI | .pdf ]
[1] Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, and Fabrizio Riguzzi. Nonground abductive logic programming with probabilistic integrity constraints. Theory and Practice of Logic Programming, 21(5):557--574, © Cambridge University Press, 2021. [ bib | DOI | http | .pdf ]

Activities

Awards

  • Alain Colmerauer 10-Year Test-of-Time Award at the 37th International Conference on Logic Programming (ICLP 2021)
  • Best Paper Award for “BUNDLE: A Reasoner for Probabilistic Ontologies” by Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma and Elena Bellodi at the 7th International Conference on Web Reasoning and Rule Systems (RR-2013)
  • Highly Commended Paper Award for “Probabilistic declarative process mining”by Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma at the 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010)
  • Dr. Elena Bellodi, of which I was PhD co-supervisor, won
    • the Marco Cadoli prize for the best PhD thesis in Artificial Intelligence defended at an Italian university in 2013. The prize is assigned yearly by the Associazione Italiana per l’Intelligenza Artificiale
    • the prize for the best PhD thesis in Computational Logic assigned by the Gruppo Ricercatori e Utenti Logic Programming in 2015.
  • Dr. Riccardo Zese, of which I was PhD co-supervisor, won  a Honorable Mention for the EurAI Dissertation Award 2016 and held a 30 minutes talk on his thesis at IJCAI.
  • Dr. Giuseppe Cota,  of which I was PhD co-supervisor, won
    • the prize for the best PhD thesis in Computational Logic assigned by the Gruppo Ricercatori e Utenti Logic Programming in 2019.
    • a honorable mention for the Marco Cadoli prize in 2018 for the best PhD thesis in Artificial Intelligence defended at an Italian university

Tutorials

Teaching

Biographic Notes

Hobby: trekking.

AIIA logo


Twitter Facebook GitHub LinkedIn Email