Publications
[1]
|
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 ]
|
[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 ]
|
[3]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
Analyzing transaction fees with probabilistic logic programming.
In Witold Abramowicz and Rafael Corchuelo, editors, Business
Information Systems Workshops BIS 2019, volume 373 of Lecture Notes in
Business Information Processing, pages 243--254, Cham, 2019. © Springer, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-030-36691-9_21.
[ bib |
DOI |
.pdf ]
|
[2]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
Studying transaction fees in the bitcoin blockchain with
probabilistic logic programming.
Information, 10(11):335, © CCBY, 2019.
[ bib |
DOI |
http ]
|
[1]
|
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, and Franco Masotti.
A comparison of MCMC sampling for probabilistic logic programming.
In Mario Alviano, Gianluigi Greco, and Francesco Scarcello, editors,
Proceedings of the 18th Conference of the Italian Association for
Artificial Intelligence (AI*IA2019), Rende, Italy 19-22 November 2019,
volume 11946 of Lecture Notes in Computer Science, pages 18--29,
Heidelberg, Germany, 2019. © Springer, Springer.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-030-35166-3_2.
[ bib |
DOI |
.pdf ]
|
[1]
|
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo
Zese.
Modeling bitcoin protocols with probabilistic logic programming.
In Elena Bellodi and Tom Schrijvers, editors, Probabilistic
Logic Programming (PLP 2018), volume 2219 of CEUR Workshop
Proceedings, pages 49--61, Aachen, Germany, 2018. © by the
authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|