From the Blockchain to Logic Programming and Back: Research Perspectives

   page       BibTeX_logo.png   
Massimo Cossentino, Luca Sabatucci, Valeria Seidita (eds.)
WOA 2018 – 19th Workshop "From Objects to Agents”, pages 69-74
CEUR Workshop Proceedings (AI*IA Series) 2215
Sun SITE Central Europe, RWTH Aachen University
June 2018

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.

keywordsblockchain, logic programming, smart contracts
origin event
journal or series
book CEUR Workshop Proceedings (
works as
reference publication for talk
page_white_powerpointFrom the Blockchain to Logic Programming and back: Research perspectives (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)