AZZOLINI, Damiano
AZZOLINI, Damiano
Dipartimento di Scienze dell’Ambiente e della Prevenzione
A Comparison of MCMC Sampling for Probabilistic Logic Programming
2019 Azzolini, D.; Riguzzi, F.; Masotti, F.; Lamma, E.
A probabilistic logic model of Lightning Network
file con accesso da definire2022 Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
A semantics for Hybrid Probabilistic Logic programs with function symbols
2021 Azzolini, D.; Riguzzi, F.; Lamma, E.
Abduction in (Probabilistic) Answer Set Programming
file con accesso da definire2022 Azzolini, D.; Bellodi, E.; Riguzzi, F.
Abduction in Probabilistic Logic Programs
file con accesso da definire2022 Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
Abduction with probabilistic logic programming under the distribution semantics
file con accesso da definire2022 Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
An Analysis of Gibbs Sampling for Probabilistic Logic Programs
2020 Azzolini, D.; Riguzzi, F.; Lamma, E.
Analyzing Transaction Fees with Probabilistic Logic Programming
2019 Azzolini, D.; Riguzzi, F.; Lamma, E.
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities
file con accesso da definire2023 Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
Extensions and Applications of Probabilistic Logic Programming
2022 Azzolini, Damiano
MAP Inference in Probabilistic Answer Set Programs
file con accesso da definire2023 Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
Modeling Bitcoin Lightning Network by Logic Programming
2020 Azzolini, Damiano; Bellodi, Elena; Brancaleoni, Alessandro; Riguzzi, Fabrizio; Lamma, Evelina
Modeling Bitcoin protocols with probabilistic logic programming
2018 Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo
Modeling Smart Contracts with Probabilistic Logic Programming
2020 Azzolini, D.; Riguzzi, F.; Lamma, E.
Optimizing Probabilities in Probabilistic Logic Programs
2021 Azzolini, D.; Riguzzi, F.
Probabilistic Logic Models for the Lightning Network
file con accesso da definire2022 Azzolini, D.; Riguzzi, F.
Reducing probabilistic logic programs
2021 Azzolini, D.; Riguzzi, F.
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
file con accesso da definire2022 Azzolini, D.; Riguzzi, F.; Lamma, E.
Statistical Statements in Probabilistic Logic Programming
file con accesso da definire2022 Azzolini, D.; Bellodi, E.; Riguzzi, F.
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming
2019 Azzolini, D.; Riguzzi, F.; Lamma, E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Comparison of MCMC Sampling for Probabilistic Logic Programming | 2019 | Azzolini, D.; Riguzzi, F.; Masotti, F.; Lamma, E. | |
| A probabilistic logic model of Lightning Network | 2022 | Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina | file con accesso da definire |
| A semantics for Hybrid Probabilistic Logic programs with function symbols | 2021 | Azzolini, D.; Riguzzi, F.; Lamma, E. | |
| Abduction in (Probabilistic) Answer Set Programming | 2022 | Azzolini, D.; Bellodi, E.; Riguzzi, F. | file con accesso da definire |
| Abduction in Probabilistic Logic Programs | 2022 | Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R. | file con accesso da definire |
| Abduction with probabilistic logic programming under the distribution semantics | 2022 | Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R. | file con accesso da definire |
| An Analysis of Gibbs Sampling for Probabilistic Logic Programs | 2020 | Azzolini, D.; Riguzzi, F.; Lamma, E. | |
| Analyzing Transaction Fees with Probabilistic Logic Programming | 2019 | Azzolini, D.; Riguzzi, F.; Lamma, E. | |
| Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities | 2023 | Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio | file con accesso da definire |
| Extensions and Applications of Probabilistic Logic Programming | 2022 | Azzolini, Damiano | |
| MAP Inference in Probabilistic Answer Set Programs | 2023 | Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio | file con accesso da definire |
| Modeling Bitcoin Lightning Network by Logic Programming | 2020 | Azzolini, Damiano; Bellodi, Elena; Brancaleoni, Alessandro; Riguzzi, Fabrizio; Lamma, Evelina | |
| Modeling Bitcoin protocols with probabilistic logic programming | 2018 | Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo | |
| Modeling Smart Contracts with Probabilistic Logic Programming | 2020 | Azzolini, D.; Riguzzi, F.; Lamma, E. | |
| Optimizing Probabilities in Probabilistic Logic Programs | 2021 | Azzolini, D.; Riguzzi, F. | |
| Probabilistic Logic Models for the Lightning Network | 2022 | Azzolini, D.; Riguzzi, F. | file con accesso da definire |
| Reducing probabilistic logic programs | 2021 | Azzolini, D.; Riguzzi, F. | |
| Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary | 2022 | Azzolini, D.; Riguzzi, F.; Lamma, E. | file con accesso da definire |
| Statistical Statements in Probabilistic Logic Programming | 2022 | Azzolini, D.; Bellodi, E.; Riguzzi, F. | file con accesso da definire |
| Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming | 2019 | Azzolini, D.; Riguzzi, F.; Lamma, E. |