{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T10:21:03Z","timestamp":1790677263267,"version":"4.1.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319420189","type":"print"},{"value":"9783319420196","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42019-6_11","type":"book-chapter","created":{"date-parts":[[2016,6,26]],"date-time":"2016-06-26T22:04:53Z","timestamp":1466978693000},"page":"167-183","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":116,"title":["Evaluation of Logic-Based Smart Contracts for Blockchain Systems"],"prefix":"10.1007","author":[{"given":"Florian","family":"Idelberger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R\u00e9gis","family":"Riveret","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"Sartor","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), 255\u2013287 (2001)","journal-title":"ACM Trans. Comput. Log."},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-21768-0_6","volume-title":"Reasoning Web. Web Logic Rules","author":"T Athan","year":"2015","unstructured":"Athan, T., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: LegalRuleML: design principles and foundations. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 151\u2013188. Springer, Heidelberg (2015)"},{"issue":"2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.jal.2013.08.004","volume":"12","author":"AS d\u2019Avila Garcez","year":"2014","unstructured":"d\u2019Avila Garcez, A.S., Gabbay, D.M., Lamb, L.C.: A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. 12(2), 109\u2013127 (2014)","journal-title":"J. Appl. Log."},{"issue":"2","key":"11_CR4","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"key":"11_CR5","unstructured":"Ethereum Foundation. Ethereum\u2019s white paper"},{"issue":"2\u20133","key":"11_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2\u20133), 181\u2013216 (2005)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Governatori, G.: Thou shalt is not you will. In: Atkinson, K., (ed.) Proceedings of the Fifteenth International Conference on Artificial Intelligence and Law, pp. 63\u201368. ACM, New York (2015)","DOI":"10.1145\/2746090.2746105"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1504\/IJBPIM.2009.030985","volume":"5","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Pham, D.H.: DR-CONTRACT: an architecture for e-contracts in defeasible logic. Inter. J. Bus. Process Integr. Manag. 5(3), 187\u2013199 (2009)","journal-title":"Inter. J. Bus. Process Integr. Manag."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logics for modelling norm modifications. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, California, USA, pp. 155\u2013159. ACM (2007)","DOI":"10.1145\/1276318.1276347"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H-P Lam","year":"2009","unstructured":"Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315\u2013322. Springer, Heidelberg (2009)"},{"issue":"6","key":"11_CR11","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"MJ Maher","year":"2001","unstructured":"Maher, M.J.: Propositional defeasible logic has linear complexity. Theor. Pract. Log. Program. 1(6), 691\u2013711 (2001)","journal-title":"Theor. Pract. Log. Program."},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-0-387-98197-0_6","volume-title":"Argumentation in Artificial Intelligence","author":"S Modgil","year":"2009","unstructured":"Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 105\u2013129. Springer, Heidelberg (2009)"},{"key":"11_CR13","unstructured":"Nakamoto, S.: Bitcoin: A Peer-to-Peer Electronic Cash System (2008). (The Nakamoto paper)"},{"issue":"3\u20134","key":"11_CR14","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"H Prakken","year":"1996","unstructured":"Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artif. Intell. Law 4(3\u20134), 331\u2013368 (1996)","journal-title":"Artif. Intell. Law"},{"issue":"4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s10506-012-9134-7","volume":"20","author":"R Riveret","year":"2012","unstructured":"Riveret, R., Rotolo, A., Sartor, G.: Probabilistic rule-based argumentation for norm-governed learning agents. Artif. Intell. Law 20(4), 383\u2013420 (2012)","journal-title":"Artif. Intell. Law"},{"key":"11_CR16","volume-title":"Legal Reasoning: A Cognitive Approach to the Law","author":"G Sartor","year":"2005","unstructured":"Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Heidelberg (2005)"},{"key":"11_CR17","unstructured":"Szabo, N.: The idea of smart contracts (1997)"},{"key":"11_CR18","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Wright, A., De Filippi, P.: Decentralized Blockchain Technology and the Rise of Lex Cryptographia. SSRN Scholarly Paper ID 2580664, Social Science Research Network, Rochester, NY, March 2015","DOI":"10.2139\/ssrn.2580664"}],"container-title":["Lecture Notes in Computer Science","Rule Technologies. Research, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42019-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:57:49Z","timestamp":1558313869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42019-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420189","9783319420196"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42019-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"28 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}