Követés
Damiano Azzolini
Damiano Azzolini
E-mail megerősítve itt: unife.it - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
202022
Statistical statements in probabilistic logic programming
D Azzolini, E Bellodi, F Riguzzi
International Conference on Logic Programming and Nonmonotonic Reasoning, 43-55, 2022
182022
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
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
62022
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
62020
An analysis of Gibbs sampling for probabilistic logic programs
D Azzolini, F Riguzzi, E Lamma
CEUR Workshop Proceedings 2678, 1-13, 2020
62020
Lifted inference for statistical statements in probabilistic answer set programming
D Azzolini, F Riguzzi
International Journal of Approximate Reasoning 163, 109040, 2023
52023
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
52013
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20