From the Blockchain to Logic Programming and Back: Research Perspectives

Last modified by Giovanni Ciatto on 2020/11/24 09:05

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

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.

Keywords: blockchain, logic programming, smart contracts
WOA 2018 – 19th Workshop "From Objects to Agents”, CEUR Workshop Proceedings (AI*IA Series) 2215, pages 69-74, June 2018.
Massimo Cossentino, Luca Sabatucci, Valeria Seidita (eds.), Sun SITE Central Europe, RWTH Aachen University
	Author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
	Booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
	Editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
	IrisId = {11585/646042},
	Keywords = {blockchain, logic programming, smart contracts},
	Month = jun,
	Pages = {69--74},
	Publisher = {Sun SITE Central Europe, RWTH Aachen University},
	ScholarId = {816353538952619884},
	ScopusId = {2-s2.0-85054323401},
	Series = {CEUR Workshop Proceedings},
	Subseries = {AI*IA Series},
	Title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
	Url-Pdf = {},
        Url = {},
	Volume = 2215,
	Year = 2018}



2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna