[9]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
A semantics for hybrid probabilistic logic programs with function
symbols.
Artificial Intelligence, © Elsevier, 2021.
The final publication is available at Elsevier via
https://doi.org/10.1016/j.artint.2021.103452.
[ bib |
DOI |
.pdf ]
|
[8]
|
Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi.
Automatic setting of DNN hyper-parameters 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 477--488, Cham, 2020. © Springer, Springer
International Publishing.
The final publication is available at Springer via
https://link.springer.com/chapter/10.1007/978-3-030-64583-0_43.
[ bib |
DOI |
.pdf ]
|
[7]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, and
Riccardo Zese.
Dischargeable obligations in the SCIFF framework.
Fundamenta Informaticae, 176(3-4):321--348, 2020.
[ bib |
DOI ]
|
[6]
|
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 ]
|
[5]
|
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 127--144.
IOS Press, © Akademische Verlagsgesellschaft AKA GmbH,
Berlin, 2020.
[ bib |
DOI ]
|
[4]
|
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina
Lamma.
Probabilistic inductive constraint logic.
Machine Learning, pages 1--32, 2020.
[ bib |
DOI |
.pdf ]
|
[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 ]
|