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]
@inproceedings{AzzoliniRL20-0, title = {Modeling Smart Contracts with Probabilistic Logic Programming}, author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma}, year = {2020}, doi = {10.1007/978-3-030-61146-0_7}, url = {https://doi.org/10.1007/978-3-030-61146-0_7}, researchr = {https://researchr.org/publication/AzzoliniRL20-0}, cites = {0}, citedby = {0}, pages = {86-98}, booktitle = {Business Information Systems Workshops - BIS 2020 International Workshops, Colorado Springs, CO, USA, June 8-10, 2020, Revised Selected Papers}, editor = {Witold Abramowicz and Gary Klein 0001}, volume = {394}, series = {Lecture Notes in Business Information Processing}, publisher = {Springer}, isbn = {978-3-030-61146-0}, }