Sfoglia per Autore
Modeling Bitcoin protocols with probabilistic logic programming
2018 Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming
2019 Azzolini, D.; Riguzzi, F.; Lamma, E.
Analyzing Transaction Fees with Probabilistic Logic Programming
2019 Azzolini, D.; Riguzzi, F.; Lamma, E.
A Comparison of MCMC Sampling for Probabilistic Logic Programming
2019 Azzolini, D.; Riguzzi, F.; Masotti, F.; Lamma, E.
Modeling Smart Contracts with Probabilistic Logic Programming
2020 Azzolini, D.; Riguzzi, F.; Lamma, E.
An Analysis of Gibbs Sampling for Probabilistic Logic Programs
2020 Azzolini, D.; Riguzzi, F.; Lamma, E.
Modeling Bitcoin Lightning Network by Logic Programming
2020 Azzolini, Damiano; Bellodi, Elena; Brancaleoni, Alessandro; Riguzzi, Fabrizio; Lamma, Evelina
Reducing probabilistic logic programs
2021 Azzolini, D.; Riguzzi, F.
Syntactic requirements for well-defined hybrid probabilistic logic programs
2021 Azzolini, D.; Riguzzi, F.
A semantics for Hybrid Probabilistic Logic programs with function symbols
2021 Azzolini, D.; Riguzzi, F.; Lamma, E.
Summary of semantics for hybrid probabilistic logic programs with function symbols
file con accesso da definire2021 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.
Statistical Statements in Probabilistic Logic Programming
2022 Azzolini, D.; Bellodi, E.; Riguzzi, F.
A probabilistic logic model of Lightning Network
file con accesso da definire2022 Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
2022 Azzolini, D.; Riguzzi, F.; Lamma, E.
Abduction in (Probabilistic) Answer Set Programming
2022 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
2022 Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
Extensions and Applications of Probabilistic Logic Programming
2022 Azzolini, Damiano
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile