Follow
Damiano Azzolini
Title
Cited by
Cited by
Year
Studying transaction fees in the bitcoin blockchain with probabilistic logic programming
D Azzolini, F Riguzzi, E Lamma
Information 10 (11), 335, 2019
272019
Abduction with probabilistic logic programming under the distribution semantics
D Azzolini, E Bellodi, S Ferilli, F Riguzzi, R Zese
International Journal of Approximate Reasoning 142, 41-63, 2022
192022
Statistical statements in probabilistic logic programming
D Azzolini, E Bellodi, F Riguzzi
International Conference on Logic Programming and Nonmonotonic Reasoning, 43-55, 2022
172022
A semantics for hybrid probabilistic logic programs with function symbols
D Azzolini, F Riguzzi, E Lamma
Artificial Intelligence 294, 103452, 2021
162021
A comparison of MCMC sampling for probabilistic logic programming
D Azzolini, F Riguzzi, F Masotti, E Lamma
International Conference of the Italian Association for Artificial …, 2019
152019
Modeling bitcoin protocols with probabilistic logic programming
D Azzolini, F Riguzzi, E Lamma, E Bellodi, R Zese
CEUR WORKSHOP PROCEEDINGS 2219, 49-61, 2018
112018
Inference in probabilistic answer set programming under the credal semantics
D Azzolini, F Riguzzi
International Conference of the Italian Association for Artificial …, 2023
72023
Optimizing probabilities in probabilistic logic programs
D Azzolini, F Riguzzi
Theory and Practice of Logic Programming 21 (5), 543-556, 2021
72021
An analysis of Gibbs sampling for probabilistic logic programs
D Azzolini, F Riguzzi, E Lamma
CEUR Workshop Proceedings 2678, 1-13, 2020
62020
Approximate inference in probabilistic answer set programming for statistical probabilities
D Azzolini, E Bellodi, F Riguzzi
International Conference of the Italian Association for Artificial …, 2022
52022
Modeling bitcoin lightning network by logic programming
D Azzolini, E Bellodi, A Brancaleoni, F Riguzzi, E Lamma
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 325, 258-260, 2020
52020
Modeling smart contracts with probabilistic logic programming
D Azzolini, F Riguzzi, E Lamma
Business Information Systems Workshops: BIS 2020 International Workshops …, 2020
52020
cplint Manual
F Riguzzi, D Azzolini
SWI-Prolog Version, 2017
52017
Lifted inference for statistical statements in probabilistic answer set programming
D Azzolini, F Riguzzi
International Journal of Approximate Reasoning 163, 109040, 2023
42023
Syntactic requirements for well-defined hybrid probabilistic logic programs
D Azzolini, F Riguzzi
arXiv preprint arXiv:2109.08283, 2021
42021
MAP inference in probabilistic answer set programs
D Azzolini, E Bellodi, F Riguzzi
International Conference of the Italian Association for Artificial …, 2022
32022
Probabilistic Logic Models for the Lightning Network
D Azzolini, F Riguzzi
Cryptography 6 (2), 29, 2022
32022
Abduction in (probabilistic) answer set programming
D Azzolini, E Bellodi, F Riguzzi
CEUR WORKSHOP PROCEEDINGS 3204, 90-103, 2022
32022
A probabilistic logic model of lightning network
D Azzolini, F Riguzzi, E Bellodi, E Lamma
International Conference on Business Information Systems, 321-333, 2021
32021
Regularization in Probabilistic Inductive Logic Programming
E Gentili, A Bizzarri, D Azzolini, R Zese, F Riguzzi
International Conference on Inductive Logic Programming, 16-29, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20