Modeling Smart Contracts with Probabilistic Logic Programming

Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma. Modeling Smart Contracts with Probabilistic Logic Programming. In Witold Abramowicz, Gary Klein 0001, editors, Business Information Systems Workshops - BIS 2020 International Workshops, Colorado Springs, CO, USA, June 8-10, 2020, Revised Selected Papers. Volume 394 of Lecture Notes in Business Information Processing, pages 86-98, Springer, 2020. [doi]

Authors

Damiano Azzolini

This author has not been identified. Look up 'Damiano Azzolini' in Google

Fabrizio Riguzzi

This author has not been identified. Look up 'Fabrizio Riguzzi' in Google

Evelina Lamma

This author has not been identified. Look up 'Evelina Lamma' in Google