AZZOLINI, Damiano

AZZOLINI, Damiano  

Dipartimento di Scienze dell’Ambiente e della Prevenzione  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.007 secondi).
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.