Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani

The blockchain is a novel approach to support distributed systems enabling a common, consistent view of a shared state among distributed nodes. There, smart contracts are computer programs that allow users to deploy arbitrary computations, in charge of automatically regulate state transitions and enforce properties. In this paper we speculate on how the blockchain and smart contracts could take advantage of a logic programming approach, and, complementarily, on how logic programming can benefit from the blockchain infrastructure. Accordingly, we discuss some possible research directions and open questions for future research.

WOA 2018
Palermo, Italy, 29/06/2018
    

Presentazione

— oratori/oratrici

— autori/autrici

— tipo

presentazione

— lingua

wgb.gif

Contesto

WOA 2018

— dove

Palermo, Italy

— quando

29/06/2018

Link

— esterni

SlideShare

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY