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
[26]  Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi. Symbolic DNNTuner. Machine Learning, © Springer, 2021. in press. [ bib ] 
[25]  Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma. Learning hierarchical probabilistic logic programs. Machine Learning, 110(7):16371693, © Springer, 2021. [ bib  DOI  .pdf ] 
[24]  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:4163, © Elsevier, 2022. [ bib  DOI  http  .pdf ] 
[23]  Damiano Azzolini and Fabrizio Riguzzi. Syntactic requirements for welldefined 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 NengFa Zhou, editors, Proceedings 37th International Conference on Logic Programming (Technical Communications), pages 1426, Waterloo, Australia, 2021. © by the authors, Open Publishing Association. [ bib  DOI  http  .pdf ] 
[22]  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 NengFa Zhou, editors, Proceedings 37th International Conference on Logic Programming (Technical Communications), pages 234235, Waterloo, Australia, 2021. © by the authors, Open Publishing Association. [ bib  DOI  http  .pdf ] 
[21]  Damiano Azzolini and Fabrizio Riguzzi. Optimizing probabilities in probabilistic logic programs. Theory and Practice of Logic Programming, 21(5):543556, © Cambridge University Press, 2021. [ bib  DOI  http  .pdf ] 
[20]  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 colocated with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, CEUR Workshop Proceedings, pages 113, Aachen, Germany, 2021. © By the authors, Sun SITE Central Europe. [ bib  .pdf  .pdf ] 
[19]  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 ] 
[18]  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 multivariate time series. Journal of Engineering for Gas Turbines and Power, 143(3):0310141 (13 pages), 2021. [ bib  DOI ] 
[17]  Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina Lamma. Probabilistic inductive constraint logic. Machine Learning, 110:723754, 2021. [ bib  DOI  .pdf ] 
[16]  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):557574, © Cambridge University Press, 2021. [ bib  DOI  http  .pdf ] 
[15]  Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. A probabilistic logic model of Lightning Network. In Business Information Systems Workshops, volume In press of Springer's Lecture Notes in Business Information Processing (LNBIP), Cham, Switzerland, 2021. © Springer, Springer International Publishing. [ bib  DOI  www: ] 
[14]  Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi. Automatic setting of DNN hyperparameters by mixing Bayesian Optimization and tuning rules. In Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, and Renato Umeton, editors, Machine Learning, Optimization, and Data Science, 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I, volume 12565 of Lecture Notes in Computer Science, pages 477488, Cham, 2020. © Springer, Springer International Publishing. The final publication is available at Springer via https://link.springer.com/chapter/10.1007/9783030645830_43. [ bib  DOI  .pdf ] 
[13]  Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, and Riccardo Zese. Dischargeable obligations in the SCIFF framework. Fundamenta Informaticae, 176(34):321348, 2020. [ bib  DOI ] 
[12]  Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. Declarative and mathematical programming approaches to decision support systems for food recycling. Engineering Applications of Artificial Intelligence, 95:103861, 2020. [ bib  DOI ] 
[11]  Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giusppe Fabio Ceschini, Giovanni. Bechini, Giuseppe Cota, and Fabrizio Riguzzi. Structured methodology for clustering gas turbine transients by means of multivariate time series. In Proc. ASME Turbo Expo 2020, volume Volume 9: Oil and Gas Applications; Organic Rankine Cycle Power Systems; Steam Turbine of Turbo Expo: Power for Land, Sea, and Air, pages 116. ASME, 2020. V009T21A005. [ bib  DOI ] 
[10]  Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. A framework for reasoning on probabilistic description logics. In Giuseppe Cota, Marilena Daquino, and Gian Luca Pozzato, editors, Applications and Practices in Ontology Design, Extraction, and Reasoning, volume 49 of Studies on the Semantic Web, pages 127144. IOS Press, © Akademische Verlagsgesellschaft AKA GmbH, Berlin, 2020. [ bib  DOI ] 
[9]  Fabrizio Riguzzi. Quantum weighted model counting. In Giuseppe De Giacomo, Alejandro Catala, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, and Jérôme Lang, editors, 24th European Conference on Artificial Intelligence (ECAI 2020), pages 26402647, Amsterdam, Berlin, Washington DC, 2020. © CC BYNC 4.0, IOS Press. [ bib  DOI  http  .pdf ] 
[8]  Fabrizio Riguzzi. Review of Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao A parallel memoryefficient epistemic logic program solver: harder, better, faster. Ann. Math. Artif. Intell. 86 (2019), no. 13, 61–85. Mathematical Reviews, © American Mathematical Society, January 2020. [ bib  http ] 
[7]  Fabrizio Riguzzi. Review of Costantini, Stefania. About epistemic negation and world views in epistemic logic programs. Theory Pract. Log. Program. 19 (2019), no. 56, 790807. Mathematical Reviews, © American Mathematical Society, May 2020. [ bib  http ] 
[6]  Fabrizio Riguzzi. Review of Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse A review of the relations between logical argumentation and reasoning with maximal consistency. Ann. Math. Artif. Intell. 87 (2019), no. 3, 187226. Mathematical Reviews, © American Mathematical Society, 2020. [ bib  http ] 
[5]  Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, and Riccardo Zese. MAP inference for probabilistic logic programming. Theory and Practice of Logic Programming, 20(5):641–655, © Cambridge University Press, 2020. [ bib  DOI  http  .pdf ] 
[4]  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 113, Aachen, Germany, 2020. © by the authors, Sun SITE Central Europe. [ bib  .pdf ] 
[3]  Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, and Fabrizio Riguzzi, editors. Proceedings 36th International Conference on Logic Programming (Technical Communications), number 325 in Electronic Proceedings in Theoretical Computer Science, 2020. [ bib  DOI  http ] 
[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 258260, 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 8698, Cham, 2020. © Springer, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/9783030611460_7. [ bib  DOI  .pdf ] 
Activities
 Cochair of the Research Challenges Track della 36th International Conference on Logic Programming (ICLP 2020).
 Invited speaker at PLP2016
 Editor in Chief of Intelligenza Artificiale, the official journal of the Italian Association for Artificial Intelligence
 Past Editor in Chief of the Journal of Computer Science
 Associate Editor of Frontiers in Artificial Intelligence and Frontier in Big Data, specialty section on Machine Learning and Artificial Intelligence
 Member of the Editorial Board of
 Reviewer for Mathematical Reviews
 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 cochair of
 AIxIA2015 with Marco Gavanelli and Evelina Lamma
 PLP2015 with Joost Vennekens
 ILP2012 with Filip Zelezny
 CILC2009 with Marco Gavanelli
 Vicehead of the Dipartimento di Matematica e Informatica, Università di Ferrara
 Director of the Ferrara unit of CINI
 Director of the Ferrara unit of CINI Big Data Laboratory
 Vicepresident of the Italian Association for Artificial Intelligence
 Past member the executive committee of the Italian Association for Logic Programming
 Senior program committee: IJCAI2021, IJCAIPRICAI2020, IJCAI2019
 Program committees: KR2022, IJCAIECAI2022, AAAI2022, ICLR2022, IJCAI2021, MEandE2021, ITBPM2021, AIxIA2021, KR 2021. ICML 2021, UAI2021, ICLR2021, AISTATS2021, AAAI2021, IJCAIPRICAI2020, UAI2020, AIxIA2020, NeurIPS2020, KR2020, ILP 2020, ICTCS2020, ECAI2020, AISTATS2020, AAAI2020, RCRA2019, IntDMBC2019, AIxIA2019, UAI2019, NeurIPS 2019, ECML2019, ICML2019, ILP2019, AAAI2019, JELIA2019, NIPS2018, ECML/PKDD2018, IJCAIECAI2018, RuleML+RR2018, AAAI2018, IJCAIECAIDC2018, CILC2017, ECML/PKDD2017, CDMAKE2017, IJCAI2017, IJCAIDC2017, ILP2017, RuleML+RR2017, IDA2017, AAAI2017, AIxIA2017, AIxIA2016, PLP2016, GCAI2016, ECAI2016, ECMLPKDD2016, IJCAI2016, ILP2016, BIDMA2016, CILC2016, AAAI2016, IDA2016, RuleML2016, AAMASDC2016, PASONAMEB2016, GCAI2015, ECML/PKDD2015, IJCAI2015, IJCAI2015DC, ILP2015, MOD2015, RuleML2015, RuleML2015DC, FAB2015, AAAI2015, ECML/PKDD2014, ECAI2014, AAAI2014, ILP2014, IDA2014, PLP2014, RuleML2014, SUM2014, CILC2014, NFmcp014, ECML/PLDD2013, IJCAI2013DC, ILP2013, ICLP2013, IDA2013, RCRA2013, CILC2013, AIXIA2013, nfMCP2013, PAI2013, MLDM.it2013, ECMLPKDD2012, IDA2012, NFMCP@ECMLPKDD 2012, ECMLPKDD2011, 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 10Year TestofTime 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 (RR2013)
 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 cosupervisor, 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 cosupervisor, 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 cosupervisor, 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 2021 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 have been 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 have been 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
Hobby: trekking.