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. |