[25]

Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi.
Symbolic DNNTuner.
Machine Learning, © Springer, 2021.
in press.
[ bib ]

[24]

Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma.
Learning hierarchical probabilistic logic programs.
Machine Learning, 110(7):16371693, © Springer,
2021.
[ bib 
DOI ]

[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), page 14–26,
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), page 234–235,
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, page 1–14,
© 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, In press:118,
© 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 ]
