Modeling Bitcoin Protocols with Probabilistic Logic Programming.
Damiano Azzolini(University of Ferrara), Riccardo Zese(University of Ferrara), Evelina Lamma(University of Ferrara), Elena Bellodi(University of Ferrara), Fabrizio Riguzzi(University of Ferrara)
Institutional Research Information System University of Ferrara (University of Ferrara)
January 1, 2018
Cited by 6
Related Papers
Proceedings 38th International Conference on Logic Programming
|Electronic Proceedings in Theoretical Computer Science|2022|33
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming
|Information|2019|23
Abduction with probabilistic logic programming under the distribution semantics
|International Journal of Approximate Reasoning|2021|15
A semantics for Hybrid Probabilistic Logic programs with function symbols
|Artificial Intelligence|2021|14
Statistical Statements in Probabilistic Logic Programming
|Lecture notes in computer science|2022|13