乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:49:21Z","timestamp":1726033761011},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030242084"},{"type":"electronic","value":"9783030242091"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-24209-1_3","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T09:49:13Z","timestamp":1561456153000},"page":"29-41","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Towards Agent-Oriented Blockchains: Autonomous Smart Contracts"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-1841-8996","authenticated-orcid":false,"given":"Giovanni","family":"Ciatto","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-3171-8632","authenticated-orcid":false,"given":"Alfredo","family":"Maffi","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0001-8921-8150","authenticated-orcid":false,"given":"Stefano","family":"Mariani","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6655-3869","authenticated-orcid":false,"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,26]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: 13th EuroSys Conference (EuroSys 2018). ACM, New York (2018). \n https:\/\/doi.org\/10.1145\/3190508.3190538","DOI":"10.1145\/3190508.3190538"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","volume-title":"Principles of Security and Trust","author":"N Atzei","year":"2017","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: Maffei, M., Ryan, M. (eds.) POST 2017. LNCS, vol. 10204, pp. 164\u2013186. Springer, Heidelberg (2017). \n https:\/\/doi.org\/10.1007\/978-3-662-54455-6_8"},{"key":"3_CR3","unstructured":"BangBit Technologies: The power of smart contracts on the blockchain: how can businesses get the advantage? Medium, May 2018. \n http:\/\/medium.com\/p\/b8abd5086caf"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-58855-8_3","volume-title":"Intelligent Agents","author":"C Castelfranchi","year":"1995","unstructured":"Castelfranchi, C.: Guarantees for autonomy in cognitive agent architecture. In: Wooldridge, M.J., Jennings, N.R. (eds.) ATAL 1994. LNCS, vol. 890, pp. 56\u201370. Springer, Heidelberg (1995). \n https:\/\/doi.org\/10.1007\/3-540-58855-8_3"},{"key":"3_CR5","unstructured":"Ciatto, G., Calegari, R., Mariani, S., Denti, E., Omicini, A.: From the blockchain to logic programming and back: research perspectives. In: Cossentino, M., Sabatucci, L., Seidita, V. (eds.) WOA 2018\u201319th Workshop \u201cFrom Objects to Agents\u201d. CEUR Workshop Proceedings, vol. 2215, pp. 69\u201374 (2018)"},{"key":"3_CR6","unstructured":"Conte, R., Castelfranchi, C.: Cognitive and Social Action. UCL Press, London (1995). \n http:\/\/books.google.com\/books?isbn=1857281861"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45241-9_13","volume-title":"Practical Aspects of Declarative Languages","author":"E Denti","year":"2001","unstructured":"Denti, E., Omicini, A., Ricci, A.: tuProlog: a light-weight prolog for internet applications and infrastructures. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 184\u2013198. Springer, Heidelberg (2001). \n https:\/\/doi.org\/10.1007\/3-540-45241-9_13"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-42019-6_11","volume-title":"Rule Technologies. Research, Tools, and Applications","author":"F Idelberger","year":"2016","unstructured":"Idelberger, F., Governatori, G., Riveret, R., Sartor, G.: Evaluation of logic-based smart contracts for blockchain systems. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 167\u2013183. Springer, Cham (2016). \n https:\/\/doi.org\/10.1007\/978-3-319-42019-6_11"},{"key":"3_CR9","unstructured":"Kowalski, R.A.: Predicate logic as programming language. In: Information Processing 74 - Proceedings of the 1974 IFIP Congress, pp. 569\u2013574. North-Holland Publishing Company (1974)"},{"key":"3_CR10","unstructured":"Kwon, J.: Tendermint: consensus without mining (2014). \n https:\/\/tendermint.com\/static\/docs\/tendermint.pdf"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: ACM SIGSAC Conference on Computer and Communications Security (CCS 2016), pp. 254\u2013269. ACM Press, New York (2016). \n https:\/\/doi.org\/10.1145\/2976749.2978309","DOI":"10.1145\/2976749.2978309"},{"key":"3_CR12","unstructured":"Maffi, A.: Tenderfone GitLab repository. \n https:\/\/gitlab.com\/pika-lab\/blockchain\/tenderfone\/tenderfone-sc"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"41","DOI":"10.5381\/jot.2002.1.1.c4","volume":"1","author":"J Odell","year":"2002","unstructured":"Odell, J.: Objects and agents compared. J. Object Technol. 1, 41\u201353 (2002). \n https:\/\/doi.org\/10.5381\/jot.2002.1.1.c4","journal-title":"J. Object Technol."},{"issue":"2","key":"3_CR14","first-page":"161","volume":"5","author":"A Omicini","year":"2007","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Timed environment for Web agents. Web Intell. Agent Syst. 5(2), 161\u2013175 (2007). \n http:\/\/content.iospress.com\/articles\/web-intelligence-and-agent-systems-an-international-journal\/wia00111","journal-title":"Web Intell. Agent Syst."},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/s10458-008-9053-x","volume":"17","author":"A Omicini","year":"2008","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Auton. Agent. Multi-Agent Syst. 17(3), 432\u2013456 (2008). \n https:\/\/doi.org\/10.1007\/s10458-008-9053-x","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"3_CR16","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 439\u2013449. Morgan Kaufmann (1992)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-71103-2_7","volume-title":"Environments for Multi-Agent Systems III","author":"A Ricci","year":"2007","unstructured":"Ricci, A., Omicini, A., Viroli, M., Gardelli, L., Oliva, E.: Cognitive stigmergy: towards a framework based on agents and artifacts. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 124\u2013140. Springer, Heidelberg (2007). \n https:\/\/doi.org\/10.1007\/978-3-540-71103-2_7"},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"FB Schneider","year":"1990","unstructured":"Schneider, F.B.: Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv. 22(4), 299\u2013319 (1990). \n https:\/\/doi.org\/10.1145\/98163.98167","journal-title":"ACM Comput. Surv."},{"key":"3_CR19","unstructured":"Seijas, P.L., Thompson, S.J., McAdams, D.: Scripting smart contracts for distributed ledger technology. Report 1156, IACR Cryptology ePrint Archive (2016). \n http:\/\/eprint.iacr.org\/2016\/1156"},{"key":"3_CR20","unstructured":"Stark, J.: Making sense of blockchain smart contracts. CoinDesk, June 2016. \n https:\/\/www.coindesk.com\/making-sense-smart-contracts\/"},{"key":"3_CR21","volume-title":"Plans and Situated Actions: The Problem of Human-Machine Communication","author":"LA Suchman","year":"1987","unstructured":"Suchman, L.A.: Plans and Situated Actions: The Problem of Human-Machine Communication. Cambridge University Press, New York (1987)"},{"key":"3_CR22","unstructured":"Szabo, N.: Smart contracts (1994). \n http:\/\/www.fon.hum.uva.nl\/rob\/Courses\/InformationInSpeech\/CDROM\/Literature\/LOTwinterschool2006\/szabo.best.vwh.net\/smart.contracts.html"},{"key":"3_CR23","unstructured":"Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997). \n http:\/\/ojphi.org\/ojs\/index.php\/fm\/article\/view\/548\/469"},{"key":"3_CR24","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014). \n http:\/\/ethereum.github.io\/yellowpaper\/paper.pdf"}],"container-title":["Lecture Notes in Computer Science","Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-24209-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T09:50:30Z","timestamp":1561456230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-24209-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030242084","9783030242091"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-24209-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PAAMS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Practical Applications of Agents and Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"\u00c1vila","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"paams2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.paams.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}