Studying transaction fees in the bitcoin blockchain with probabilistic logic programming D Azzolini, F Riguzzi, E Lamma Information 10 (11), 335, 2019 | 21 | 2019 |
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 | 15 | 2019 |
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 | 14 | 2022 |
A semantics for hybrid probabilistic logic programs with function symbols D Azzolini, F Riguzzi, E Lamma Artificial Intelligence 294, 103452, 2021 | 12 | 2021 |
Statistical statements in probabilistic logic programming D Azzolini, E Bellodi, F Riguzzi International Conference on Logic Programming and Nonmonotonic Reasoning, 43-55, 2022 | 11 | 2022 |
Modeling Bitcoin Protocols with Probabilistic Logic Programming. D Azzolini, F Riguzzi, E Lamma, E Bellodi, R Zese PLP@ ILP, 49-61, 2018 | 10 | 2018 |
An Analysis of Gibbs Sampling for Probabilistic Logic Programs. D Azzolini, F Riguzzi, E Lamma ICLP Workshops, 2020 | 6 | 2020 |
Abduction in (Probabilistic) Answer Set Programming. D Azzolini, E Bellodi, F Riguzzi CILC, 90-103, 2022 | 4 | 2022 |
Syntactic requirements for well-defined hybrid probabilistic logic programs D Azzolini, F Riguzzi arXiv preprint arXiv:2109.08283, 2021 | 4 | 2021 |
Optimizing probabilities in probabilistic logic programs D Azzolini, F Riguzzi Theory and Practice of Logic Programming 21 (5), 543-556, 2021 | 4 | 2021 |
Modeling smart contracts with probabilistic logic programming D Azzolini, F Riguzzi, E Lamma Business Information Systems Workshops: BIS 2020 International Workshops …, 2020 | 4 | 2020 |
cplint Manual F Riguzzi, D Azzolini SWI-Prolog Version, 2017 | 4 | 2017 |
MAP inference in probabilistic answer set programs D Azzolini, E Bellodi, F Riguzzi International Conference of the Italian Association for Artificial …, 2022 | 3 | 2022 |
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 | 3 | 2022 |
Probabilistic Logic Models for the Lightning Network D Azzolini, F Riguzzi Cryptography 6 (2), 29, 2022 | 3 | 2022 |
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 | 3 | 2020 |
Reducing Probabilistic Logic Programs D Azzolini, F Riguzzi Proceedings of the 15th International Rule Challenge, 7th Industry Track …, 2021 | 2 | 2021 |
Analyzing Transaction Fees with Probabilistic Logic Programming D Azzolini, F Riguzzi, E Lamma Business Information Systems Workshops: BIS 2019 International Workshops …, 2019 | 2 | 2019 |
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 | 1 | 2023 |
Inference in Probabilistic Answer Set Programming Under the Credal Semantics D Azzolini, F Riguzzi International Conference of the Italian Association for Artificial …, 2023 | 1 | 2023 |