From the Blockchain to Logic Programming and Back: Research Perspectives


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

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

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
 @inproceedings{blockchainlp-woa2018,
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 = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
       Url = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
Volume = 2215,
Year = 2018

Journals & Series

Events

  • XIX Workshop "From Objects to Agents" (WOA 2018) — 27/06/2018–29/06/2018

Publication

— authors

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

— editors

Massimo Cossentino, Luca Sabatucci, Valeria Seidita

— status

published

— sort

paper in proceedings

Venue

— volume

WOA 2018 – 19th Workshop "From Objects to Agents”

— series

CEUR Workshop Proceedings

— volume

2215

— pages

69-74

— publication date

June 2018

URLs

original page

Identifiers

— IRIS

11585/646042

— Scholar

816353538952619884

— Scopus

2-s2.0-85054323401

BibTeX

— BibTeX ID
blockchainlp-woa2018
— BibTeX category
inproceedings

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