Fabrizio Riguzzi

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

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, DBLP, ORCID, Scopus, Academia, Mendeley, Kudos, Publons, AMiner

Publications by type, publications by year

Latest Publications

[20]	Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, and Fabrizio Riguzzi. Most probable explanation in probabilistic answer set programming. In International Joint Conference on Artificial Intelligence, 2025. [ bib ]
[19]	Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, and Fabrizio Riguzzi. A novel framework for reasoning over optimization problems in probabilistic answer set programming. In 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025. [ bib ]
[18]	Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, and Fabrizio Riguzzi. An algebraic view of MAP inference in probabilistic answer set programs. In 28th European Conference on Artificial Intelligence, 2025. [ bib ]
[17]	Damiano Azzolini, Fabrizio Riguzzi, and Theresa Swift. Integrating belief domains into probabilistic logic programming. Theory and Practice of Logic Programming, 2025. [ bib ]
[16]	Robin Manhaeve, Francesco Giannini, Mehdi Ali, Damiano Azzolini, Alice Bizzarri, Andrea Borghesi, Samuele Bortolotti, Luc De Raedt, Devendra Dhami, Michelangelo Diligenti, Sebastijan Dumancic, Boi Faltings, Elisabetta Gentili, Alfonso Gerevini, Marco Gori, Tias Guns, Martin Homola, Kristian Kersting, Jens Lehmann, Michele Lombardi, Luca Lorello, Emanuele Marconato, Stefano Melacci, Andrea Passerini, Debjit Paul, Fabrizio Riguzzi, Stefano Teso, Neil Yorke-Smith, and Marco Lippi. Benchmarking in neuro-symbolic ai. In Proceedings of The 4th International Joint Conference on Learning & Reasoning, 2025. [ bib ]
[15]	Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. A semantics for probabilistic hybrid knowledge bases with function symbols. Artificial Intelligence, 346:104361, 2025. [ bib \| DOI \| http ]
[14]	Alice Bizzarri, Chung-En Yu, Brian Jalaian, Fabrizio Riguzzi, and Nathaniel D. Bastian. Neuro-symbolic integration for open set recognition in network intrusion detection. In Alessandro Artale, Gabriella Cortellessa, and Marco Montali, editors, AIxIA 2024 -- Advances in Artificial Intelligence, pages 50--63, Cham, 2025. Springer Nature Switzerland. [ bib \| DOI ]
[13]	Damiano Azzolini, Elena Bellodi, Rafael Kiesel, and Fabrizio Riguzzi. Solving decision theory problems with probabilistic answer set programming. Theory and Practice of Logic Programming, 2025. [ bib \| DOI ]
[12]	Stefano Sambri, Atefeh Ghanbari, and Fabrizio Riguzzi. An evaluation of open source llms for neuro-symbolic integration. In Dario Guidotti, Laura Pandolfo, and Luca Pulina, editors, Proceedings of the 40th Italian Conference on Computational Logic,(CILC2025), CEUR Workshop Proceedings, pages 1--14, Aachen, Germany, 2024. Sun SITE Central Europe. [ bib ]
[11]	Fabrizio Riguzzi. Quantum algorithms for weighted constrained sampling and weighted model counting. Quantum Machine Intelligence, 6(2):73, 2024. [ bib \| DOI ]
[10]	Alice Bizzarri, Brian Jalaian, Fabrizio Riguzzi, and Nathaniel D. Bastian. A neuro-symbolic artificial intelligence network intrusion detection system. In International Conference on Computer Communications and Networks, ICCCN, 2024. [ bib \| DOI ]
[9]	Damiano Azzolini and Fabrizio Riguzzi. Probabilistic answer set programming with discrete and continuous random variables. Theory and Practice of Logic Programming, pages 1--32, 2024. [ bib \| DOI \| http ]
[8]	Damiano Azzolini and Fabrizio Riguzzi. Fast inference for probabilistic answer set programs via the residual program. Theory and Practice of Logic Programming, 24(4):682–697, 2024. [ bib \| DOI ]
[7]	Damiano Azzolini, Elisabetta Gentili, and Fabrizio Riguzzi. Symbolic parameter learning in probabilistic answer set programming. Theory and Practice of Logic Programming, 24(4):698–715, 2024. [ bib \| DOI ]
[6]	Damiano Azzolini, Matteo Bonato, Elisabetta Gentili, and Fabrizio Riguzzi. Logic programming for knowledge graph completion. In Emanuele De Angelis and Maurizio Proietti, editors, Proceedings of the 39th Italian Conference on Computational Logic (CILC2024), volume 3733 of CEUR Workshop Proceedings, pages 1--14, Aachen, Germany, 2024. Sun SITE Central Europe. [ bib \| .pdf ]
[5]	Fabrizio Riguzzi. Quantum algorithms for weighted constrained sampling and weighted model counting. arXiv, abs/2407.12816, 2024. [ bib \| http \| http ]
[4]	Alice Bizzarri, Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi. Integration between constrained optimization and deep networks: a survey. Frontiers in Artificial Intelligence, 7, 2024. [ bib \| DOI \| http ]
[3]	Damiano Azzolini and Fabrizio Riguzzi. Inference in probabilistic answer set programs with imprecise probabilities via optimization. In Negar Kiyavash and Joris M. Mooij, editors, Proceedings of the Fortieth Conference on Uncertainty in Artificial Intelligence, volume 244 of Proceedings of Machine Learning Research, pages 225--234. PMLR, 15--19 Jul 2024. [ bib \| .html \| .pdf ]
[2]	Arnaud Nguembang Fadja, Giuseppe Cota, Francesco Bertasi, Fabrizio Riguzzi, Enzo Losi, Lucrezia Manservigi, Mauro Venturini, and Giovanni Bechini. Machine learning approaches for the prediction of gas turbine transients. Journal of Computer Science, 20(5):495--510, Feb 2024. [ bib \| DOI \| http ]
[1]	Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi. Learning the parameters of probabilistic answer set programs. In Stephen H. Muggleton and Alireza Tamaddoni-Nezhad, editors, Inductive Logic Programming - ILP 2022, volume 14363 of Lecture Notes in Computer Science, pages 1--14, Cham, 2024. Springer Nature Switzerland. [ bib \| DOI \| http ]

Activities

Invited speaker at ICLP2022 (slides)
Co-chair of the Research Challenges Track della 36th International Conference on Logic Programming (ICLP 2020).
Invited speaker at PLP2016
Associate Editor of the Journal of Artificial Intelligence Research
Editor in Chief of Intelligenza Artificiale, the official journal of the Italian Association for Artificial Intelligence
Specialty Chief Editor of the section on Logic and Reasoning in AI of Frontiers in Artificial Intelligence
Past Editor in Chief of the Journal of Computer Science
Member of the Editorial Board of
Organizer of ACAI 2018 – Summer School on Statistical Relational Artificial Intelligence, August 27th – 31st 2018, Ferrara, Italy, part of RAID 2018
Conference chair of ILP 2018 28th International Conference on Inductive Logic Programming, September 2nd – 4th 2018, Ferrara, Italy, part of RAID 2018
Program co-chair of
- AIxIA2015 with Marco Gavanelli and Evelina Lamma
- PLP2015 with Joost Vennekens
- ILP2012 with Filip Zelezny
- CILC2009 with Marco Gavanelli
Vice-head of the Dipartimento di Matematica e Informatica, Università di Ferrara
Director of the Ferrara unit of CINI
Member of the executive committee of the Italian Association for Artificial Intelligence and of the Italian Association for Logic Programming
Senior program committee: IJCAI2025, AAAI2022, IJCAI2021, IJCAI-PRICAI2020, IJCAI2019
Program committees: ECAI2025, ICLP2025, IJCLR2025. CILC2025, PLP2025, AIQxQIA 2025, ANSyA2025, LoStaN2025, IJCLR2024, PLP2024, LPOP2024, IJCAI2024, ECAI2024, ICLP2024, CILC2024, AIQxQIA2024, ECAI2023, IJCAI2023, ICLP2023, KR2023, IJCLR2023, PLP2023, AIxIA2022, NeurIPS2022, IJCLR2022, PLP2022, UAI2022, KR2022, IJCAI-ECAI2022, ICLR2022, MEandE2021, ITBPM2021, AIxIA2021, KR 2021. ICML 2021, UAI2021, ICLR2021, AISTATS2021, AAAI2021, IJCAI-PRICAI2020, UAI2020, AIxIA2020, NeurIPS2020, KR2020, ILP 2020, ICTCS2020, ECAI2020, AISTATS2020, AAAI2020, RCRA2019, IntDMBC2019, AIxIA2019, UAI2019, NeurIPS 2019, ECML2019, ICML2019, ILP2019, AAAI2019, JELIA2019, NIPS2018, ECML/PKDD2018, IJCAI-ECAI2018, RuleML+RR2018, AAAI2018, IJCAI-ECAI-DC2018, CILC2017, ECML/PKDD2017, CD-MAKE2017, IJCAI2017, IJCAI-DC2017, ILP2017, RuleML+RR2017, IDA2017, AAAI2017, AIxIA2017, AIxIA2016, PLP2016, GCAI2016, ECAI2016, ECML-PKDD2016, IJCAI2016, ILP2016, BIDMA2016, CILC2016, AAAI2016, IDA2016, RuleML2016, AAMAS-DC2016, P-ASONAM-EB2016, GCAI2015, ECML/PKDD2015, IJCAI2015, IJCAI2015-DC, ILP2015, MOD2015 , RuleML2015 , RuleML2015-DC , FAB2015 , AAAI2015 , ECML/PKDD2014 , ECAI2014 , AAAI2014 , ILP2014 , IDA2014 , PLP2014 , RuleML2014 , SUM2014 , CILC2014 , NFmcp014 , ECML/PLDD2013 , IJCAI2013-DC , ILP2013 , ICLP2013 , IDA2013 , RCRA2013 , CILC2013 , AIXIA2013 , nfMCP2013 , PAI2013 , MLDM.it2013 , ECML-PKDD2012 , IDA2012 , NFMCP@ECML-PKDD 2012 , ECML-PKDD2011 , IJCAI2011 , AIxIA2011 , MCP2011 , CILC2011 , RCRA2011 , CISIS2011 , RCRA2010 , CILC2010 , IDA2010 , IDA2009 , CILC2008 , RCRA2008 , RCRA2006 , RCRA2005 , AA@AIxIA2002
Interview on Big Data for the TV program Rai Community

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

Lecture Probabilistic Logics at Logic Lunch Seminar Series of the Logic Group of the University of Milano
Lecture Probabilistic Logic Programming at WOA2020
Tutorial Probabilistic Inductive Logic Programming at ECAI2020
Tutorial Temporal Aspects of Inductive Logic Programming at TIME2019
Tutorial Learning from knowledge graphs at EKAW2018
Lecture Probabilistic inductive logic programming at ACAI2018
Tutorial Probabilistic logics in machine learning at ECML/PKDD2016
Tutorial Probabilistic logics in machine learning at ECAI2016
Tutorial Probabilistic Logic Languages at CILC2011
Seminars Probabilistic Logic Languages and Reasoning with Probabilistic Logic Languages
Introduzione all’intelligenza artificiale arxiv PDF, HTML
Tutorial Inductive Logic Programming at Giornata GULP: Applications of LP and related CL paradigms, 9 March 2007

Teaching

Coordinatore del Consiglio di corso di Studio in Informatica
Current courses:
Past courses:

Biographic Notes

Since the 1st of December 2020 I am Full Professor at the Department of Mathematics and Computer Science of the University of Ferrara.
From the 1st of November 2014 to the 30th of November 2020 I was Associate Professor at the Department of Mathematics and Computer Science of the University of Ferrara.
From the 1st of November 1999 to the 31st of October 2014 I was Ricercatore (Assistant Professor) at the University of Ferrara, first at the Department of Engineering and from March 2021 at the Department of Mathematics and Computer Science.
I received my PhD in Electronic and Computer Engineering from the University of Bologna in February 1999.
I received my laurea in Computer Engineering from the University of Bologna in July 1995.
I am a member of AI*IA – Associazione Italiana per l’Intelligenza Artificiale, GULP – Gruppo Ricercatori e Utenti Logic Programming, and Association for Logic Programming

Mastodon Twitter Facebook GitHub LinkedIn Email