Idelberger, Florian and Governatori, Guido and Riveret, Régis and Sartor, Giovanni (2016) Evaluation of Logic-Based Smart Contracts for Blockchain Systems. In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, Stony Brook, NY, USA.
![[img]](http://blossom.informatik.uni-rostock.de/style/images/fileicons/text.png) |
Text
Idelberger2016_Chapter_EvaluationOfLogic-BasedSmartCo.pdf Restricted to Registered users only Download (699kB) |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Main Topics > Blockchain Projects > BloSSom 2019 Main Topics > Smart Contracts Main Topics > Theory |
| Depositing User: | Unnamed user with email richard.dabels@uni-rostock.de |
| Date Deposited: | 05 Sep 2019 16:34 |
| Last Modified: | 05 Sep 2019 16:34 |
| URI: | http://blossom.informatik.uni-rostock.de/id/eprint/84 |
Actions (login required)
 |
View Item |
