Evaluation of logic-based smart contracts for blockchain systems
Loading...
License
Access Rights
Cadmus Permanent Link
Full-text via DOI
ISSN
0302-9743
Issue Date
Type of Publication
Keyword(s)
LC Subject Heading
Other Topic(s)
EUI Research Cluster(s)
Initial version
Published version
Succeeding version
Preceding version
Published version part
Earlier different version
Initial format
Citation
Jose Julio ALFERES, Leopoldo BERTOSSI, Guido GOVERNATORI, Paul FODOR and Dumitru ROMAN (eds), Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, Switzerland : Springer, 2016, Lecture notes in computer science, Vol. 9718, pp. 167-183
Cite
IDELBERGER, Florian, GOVERNATORI, Guido, RIVERET, Régis, SARTOR, Giovanni, Evaluation of logic-based smart contracts for blockchain systems, in Jose Julio ALFERES, Leopoldo BERTOSSI, Guido GOVERNATORI, Paul FODOR and Dumitru ROMAN (eds), Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, Switzerland : Springer, 2016, Lecture notes in computer science, Vol. 9718, pp. 167-183 - https://hdl.handle.net/1814/44631
Abstract
While procedural languages are commonly used to program smart contracts in blockchain systems, logic-based languages may be interesting alternatives. In this paper, we inspect what are the possible legal and technical (dis)advantages of logic-based smart contracts in light of common activities featuring ordinary contracts, then we provide insights on how to use such logic-based smart contracts in combination with blockchain systems. These insights lead us to emphasize a fundamental challenge - algorithms for logic approaches have to be efficient, but they also need to be literally cheap as measured within the environment where they are deployed and according to its economic rules. We illustrate this with different algorithms from defeasible logic-based frameworks.
Table of Contents
Additional Information
Date: 28 June 2016