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
202019
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
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
142022
A semantics for hybrid probabilistic logic programs with function symbols
D Azzolini, F Riguzzi, E Lamma
Artificial Intelligence 294, 103452, 2021
122021
Statistical statements in probabilistic logic programming
D Azzolini, E Bellodi, F Riguzzi
International Conference on Logic Programming and Nonmonotonic Reasoning, 43-55, 2022
112022
Modeling Bitcoin Protocols with Probabilistic Logic Programming.
D Azzolini, F Riguzzi, E Lamma, E Bellodi, R Zese
PLP@ ILP, 49-61, 2018
102018
An Analysis of Gibbs Sampling for Probabilistic Logic Programs.
D Azzolini, F Riguzzi, E Lamma
ICLP Workshops, 2020
62020
Abduction in (Probabilistic) Answer Set Programming.
D Azzolini, E Bellodi, F Riguzzi
CILC, 90-103, 2022
42022
Syntactic requirements for well-defined hybrid probabilistic logic programs
D Azzolini, F Riguzzi
arXiv preprint arXiv:2109.08283, 2021
42021
Optimizing probabilities in probabilistic logic programs
D Azzolini, F Riguzzi
Theory and Practice of Logic Programming 21 (5), 543-556, 2021
42021
Modeling smart contracts with probabilistic logic programming
D Azzolini, F Riguzzi, E Lamma
Business Information Systems Workshops: BIS 2020 International Workshops …, 2020
42020
cplint Manual
F Riguzzi, D Azzolini
SWI-Prolog Version, 2017
42017
MAP inference in probabilistic answer set programs
D Azzolini, E Bellodi, F Riguzzi
International Conference of the Italian Association for Artificial …, 2022
32022
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
32022
Probabilistic Logic Models for the Lightning Network
D Azzolini, F Riguzzi
Cryptography 6 (2), 29, 2022
32022
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
32020
Reducing Probabilistic Logic Programs
D Azzolini, F Riguzzi
Proceedings of the 15th International Rule Challenge, 7th Industry Track …, 2021
22021
Analyzing Transaction Fees with Probabilistic Logic Programming
D Azzolini, F Riguzzi, E Lamma
Business Information Systems Workshops: BIS 2019 International Workshops …, 2019
22019
Inference in Probabilistic Answer Set Programming Under the Credal Semantics
D Azzolini, F Riguzzi
International Conference of the Italian Association for Artificial …, 2023
12023
A brief discussion about the credal semantics for probabilistic answer set programs
D Azzolini
Proceedings of the International Conference on Logic Programming, 1-13, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20