Work

From the Blockchain to Logic Programming and Back: Research Perspectives

Year: 2018

Type: conference-paper

Abstract: 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.

Source: Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna)

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

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2893170444

FWCI: 1.84

Cites: 22

Cited by: 18

Related to: 10