Modeling Smart Contracts with Probabilistic Logic Programming
Damiano Azzolini(University of Ferrara), Evelina Lamma(University of Ferrara), Fabrizio Riguzzi(University of Ferrara)
Cited by 4
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