sd-lab-final.bib

@inproceedings{proactivesc-blockchain2019,
	Year = 2019,
	Doi = {10.1007/978-3-030-23813-1_6},
	Author = {Ciatto, Giovanni and Maffi, Alfredo and Mariani, Stefano and Omicini, Andrea},
	Title = {Smart Contracts are More than Objects: Pro-activeness on the Blockchain}}

@inproceedings{logicsmartcontracts-ruleml2016,
	_Editor = {Alferes, Jose Julio and Bertossi, Leopoldo and Governatori, Guido and Fodor, Paul and Roman, Dumitru},
	_Url = {http://link.springer.com/10.1007/978-3-319-42019-6_11},
	Author = {Idelberger, Florian and Governatori, Guido and Riveret, R{\'e}gis and Sartor, Giovanni},
	Booktitle = {Rule Technologies. Research, Tools, and Applications},
	Date-Added = {2019-03-25 11:47:55 +0100},
	Date-Modified = {2019-03-25 11:48:12 +0100},
	Doi = {10.1007/978-3-319-42019-6\_11},
	Isbn = {978-3-319-42019-6},
	Pages = {167--183},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Evaluation of Logic-Based Smart Contracts for Blockchain Systems},
	Volume = 9718,
	Year = 2016,
	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.},
	Bdsk-Url-1 = {http://link.springer.com/10.1007/978-3-319-42019-6_11},
	Bdsk-Url-2 = {https://doi.org/10.1007/978-3-319-42019-6_11}}

@inproceedings{blockchainlp-woa2018,
	_Booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
	_Editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
	_Month = jun,
	_Publisher = {Sun SITE Central Europe, RWTH Aachen University},
	Author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
	Booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
	Date-Added = {2019-03-24 20:16:50 +0100},
	Date-Modified = {2019-03-25 12:16:17 +0100},
	Editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
	Irisid = {11585/646042},
	Keywords = {blockchain, logic programming, smart contracts},
	Pages = {69--74},
	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},
	Volume = 2215,
	Year = 2018,
	Bdsk-Url-1 = {http://ceur-ws.org/Vol-2215/paper_12.pdf}}

@inproceedings{pl-ifip74,
	_Url = {http://dblp.uni-trier.de/rec/html/conf/ifip/Kowalski74},
	Author = {Kowalski, Robert A.},
	Booktitle = {Information Processing 74 -- Proceedings of the 1974 IFIP Congress},
	Date-Added = {2019-03-24 17:56:17 +0100},
	Date-Modified = {2019-03-24 17:56:47 +0100},
	Pages = {569--574},
	Publisher = {North-Holland Publishing Company},
	Title = {Predicate Logic as Programming Language},
	Year = 1974,
	Abstract = {The interpretation of predicate logic as a programming language is based upon the interpretation of implications B if A1 and ... and An as procedure declarations, where B is the procedure name and A1, {\ldots}, An is the set of procedure calls Ai constituting the procedure body. An axiomatisation of a problem domain is a program for solving problems in that domain. Individual problems are posed as theorems to be proved. Proofs are computations generated by the theorem-prover which executes the program incorporated in the axioms. Our thesis is that predicate logic is a useful and practical, high-level, non-deterministic programming language with sound theoretical foundations.},
	Bdsk-Url-1 = {http://dblp.uni-trier.de/rec/html/conf/ifip/Kowalski74%20https://www.doc.ic.ac.uk/%7B~%7Drak/papers/IFIP74.pdf}}

@book{castelfranchi-cognitiveaction95,
	Author = {Conte, Rosaria and Castelfranchi, Cristiano},
	Date-Added = {2019-03-24 17:53:34 +0100},
	Date-Modified = {2019-03-24 17:53:34 +0100},
	Isbn = {9781857281866},
	Isbn-10 = {1857281861},
	Pages = 215,
	Publisher = {UCL Press},
	Title = {Cognitive and Social Action},
	Url = {http://books.google.com/books?isbn=1857281861},
	Year = 1995,
	Bdsk-Url-1 = {http://books.google.com/books?isbn=1857281861}}

@incollection{tuprolog-padl01,
	_Editor = {Ramakrishnan, I.V.},
	_Note = {3rd International Symposium (PADL 2001), Las Vegas, NV, USA, 11--12~} # mar # {~2001. Proceedings},
	_Series = {Lecture Notes in Computer Science},
	_Url = {http://link.springer.com/10.1007/3-540-45241-9_13},
	Author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
	Booktitle = {Practical Aspects of Declarative Languages},
	Date-Added = {2019-03-24 14:14:50 +0100},
	Date-Modified = {2019-03-24 17:54:20 +0100},
	Doi = {10.1007/3-540-45241-9\_13},
	Isbn = {978-3-540-41768-2},
	Isbn-10 = {3-540-41768-0},
	Issn = {0302-9743},
	Issn-Online = {1611-3349},
	Pages = {184--198},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {{{\sf tu}Prolog}: A Light-weight {P}rolog for {I}nternet Applications and Infrastructures},
	Volume = 1990,
	Year = 2001,
	Bdsk-Url-1 = {http://link.springer.com/10.1007/3-540-45241-9_13},
	Bdsk-Url-2 = {https://doi.org/10.1007/3-540-45241-9_13}}

@misc{tenderfoneRepo,
	Author = {Maffi, Alfredo},
	Date-Added = {2019-03-24 14:12:08 +0100},
	Date-Modified = {2019-03-24 17:59:06 +0100},
	Title = {Tenderfone {G}it{L}ab {R}epository},
	Url = {https://gitlab.com/pika-lab/blockchain/tenderfone/tenderfone-sc},
	Bdsk-Url-1 = {https://gitlab.com/pika-lab/blockchain/tenderfone/tenderfone-sc}}

@inproceedings{rationalagents-kr92,
	_Address = {San Mateo, CA, USA},
	_Editor = {Nebel, Bernhard and Rich, Charles and Swartout, William R.},
	_Month = {25-29~} # oct,
	Author = {Rao, Anand S. and Georgeff, Michael P.},
	Booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR '92)},
	Date-Added = {2019-03-24 13:44:53 +0100},
	Date-Modified = {2019-03-24 18:07:57 +0100},
	Isbn = {1-55860-262-3},
	Pages = {439--449},
	Publisher = {Morgan Kaufmann},
	Title = {An Abstract Architecture for Rational Agents},
	Year = 1992}

@inproceedings{sc-ccs2016,
	_Url = {http://dl.acm.org/citation.cfm?doid=2976749.2978309},
	Address = {New York, NY, USA},
	Author = {Luu, Loi and Chu, Duc-Hiep and Olickel, Hrishi and Saxena, Prateek and Hobor, Aquinas},
	Booktitle = {2016 ACM SIGSAC Conference on Computer and Communications Security (CCS'16)},
	Date-Added = {2019-03-24 13:43:36 +0100},
	Date-Modified = {2019-03-24 17:58:15 +0100},
	Doi = {10.1145/2976749.2978309},
	Isbn = {9781450341394},
	Issn = {15437221},
	Pages = {254--269},
	Publisher = {ACM Press},
	Title = {Making Smart Contracts Smarter},
	Year = 2016,
	Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?doid=2976749.2978309},
	Bdsk-Url-2 = {https://doi.org/10.1145/2976749.2978309}}

@incollection{sok-lncs10204,
	Author = {Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana},
	Booktitle = {Principles of Security and Trust},
	Date-Added = {2019-03-24 13:41:31 +0100},
	Date-Modified = {2019-03-24 17:48:51 +0100},
	Doi = {10.1007/978-3-662-54455-6\_8},
	Isbn = {9783662544549},
	Issn = {16113349},
	Month = jul,
	Pages = {164--186},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {A Survey of Attacks on {E}thereum Smart Contracts ({SoK})},
	Volume = 10204,
	Year = 2017,
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-662-54455-6_8}}

@incollection{autonomy-atal1994,
	_Url = {http://link.springer.com/10.1007/3-540-58855-8_3},
	Author = {Castelfranchi, Cristiano},
	Booktitle = {Intelligent Agents},
	Date-Added = {2019-03-24 13:24:45 +0100},
	Date-Modified = {2019-03-24 17:50:34 +0100},
	Doi = {10.1007/3-540-58855-8\_3},
	Isbn = {3-540-58855-8},
	Pages = {56--70},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Guarantees for Autonomy in Cognitive Agent Architecture},
	Volume = 890,
	Year = 1995,
	Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=201157.201178}}

@incollection{cogstig-e4masIII,
	_Chapter = 7,
	_Editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
	_Note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
	_Series = {Lecture Notes in Computer Science},
	_Url = {http://link.springer.com/10.1007/978-3-540-71103-2_7},
	Author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
	Booktitle = {Environments for MultiAgent Systems III},
	Date-Added = {2019-03-24 12:56:09 +0100},
	Date-Modified = {2019-03-24 18:08:51 +0100},
	Doi = {10.1007/978-3-540-71103-2\_7},
	Isbn = {978-3-540-71102-5},
	Isbn-Online = {978-3-540-71103-2},
	Issn = {0302-9743},
	Month = may,
	Pages = {124--140},
	Part = {Mediated Interaction and Stigmery},
	Publisher = {Springer},
	Scopusid = {2-s2.0-38049179113},
	Series = {LNCS},
	Subseries = {Lecture Notes in Artificial Intelligence},
	Title = {Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts},
	Volume = 4389,
	Wosid = {000245775800007},
	Year = 2007,
	Bdsk-Url-1 = {http://link.springer.com/10.1007/978-3-540-71103-2_7},
	Bdsk-Url-2 = {https://doi.org/10.1007/978-3-540-71103-2_7}}

@book{situatdness-book1987,
	Address = {New York, NY, USA},
	Author = {Suchman, Lucy A.},
	Date-Added = {2019-03-24 12:53:09 +0100},
	Date-Modified = {2019-03-24 12:54:23 +0100},
	Isbn = {0-521-33137-4},
	Isbn-10 = {0-521-33739-9},
	Publisher = {Cambridge University Press},
	Title = {Plans and Situated Actions: The Problem of Human-machine Communication},
	Year = 1987}

@article{timed-wias5,
	Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
	Date-Added = {2019-03-24 12:50:00 +0100},
	Date-Modified = {2019-03-24 12:50:00 +0100},
	Editor = {Menezes, Ronaldo and Ossowski, Sascha},
	Issn = {1570-1263},
	Journal = {Web Intelligence and Agent Systems},
	Month = aug,
	Number = 2,
	Pages = {161--175},
	Publisher = {IOS Press},
	Scopusid = {2-s2.0-34547812085},
	Title = {Timed Environment for {W}eb Agents},
	Url = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111},
	Volume = 5,
	Year = 2007,
	Bdsk-Url-1 = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111}}

@article{odell-jot1,
	Author = {Odell, James},
	Date-Added = {2019-03-24 12:46:59 +0100},
	Date-Modified = {2019-03-24 18:00:02 +0100},
	Doi = {10.5381/jot.2002.1.1.c4},
	Journal = {Journal of Object Technology},
	Pages = {41--53},
	Title = {Objects and Agents Compared},
	Volume = 1,
	Year = 2002,
	Bdsk-Url-1 = {https://doi.org/10.5381/jot.2002.1.1.c4}}

@misc{sc-coindesk2016,
	Author = {Stark, Josh},
	Date-Added = {2019-03-24 12:37:29 +0100},
	Date-Modified = {2019-03-24 12:39:46 +0100},
	Editor = {coindesk.com},
	Howpublished = {CoinDesk},
	Month = jun,
	Title = {Making Sense of Blockchain Smart Contracts},
	Url = {https://www.coindesk.com/making-sense-smart-contracts/},
	Year = 2016,
	Bdsk-Url-1 = {https://www.coindesk.com/making-sense-smart-contracts/}}

@article{smr-csur22,
	_Url = {http://dl.acm.org/citation.cfm?doid=98167},
	Acmid = {98167},
	Address = {New York, NY, USA},
	Author = {Schneider, Fred B.},
	Date-Added = {2019-03-24 12:19:52 +0100},
	Date-Modified = {2019-03-24 12:50:44 +0100},
	Doi = {10.1145/98163.98167},
	Issn = {0360-0300},
	Issue_Date = {Dec. 1990},
	Journal = {ACM Computing Surveys},
	Month = dec,
	Number = 4,
	Numpages = {21},
	Pages = {299--319},
	Publisher = {ACM},
	Title = {Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial},
	Volume = 22,
	Year = 1990,
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/98163.98167},
	Bdsk-Url-2 = {https://doi.org/10.1145/98163.98167}}

@misc{scpower-medium2018,
	_Month = 5,
	Author = {{BangBit Technologies}},
	Date-Added = {2019-03-23 14:31:46 +0100},
	Date-Modified = {2019-03-25 12:13:41 +0100},
	Howpublished = {Medium},
	Month = may,
	Title = {The Power Of Smart Contracts On The Blockchain: How can businesses get the advantage?},
	Url = {http://medium.com/p/b8abd5086caf},
	Year = 2018,
	Bdsk-Url-1 = {http://medium.com/p/b8abd5086caf}}

@misc{tendermint2014,
	Author = {Kwon, Jae},
	Date-Added = {2019-03-23 14:25:01 +0100},
	Date-Modified = {2019-03-24 17:57:39 +0100},
	Title = {Tendermint: Consensus without mining},
	Url = {https://tendermint.com/static/docs/tendermint.pdf},
	Year = 2014,
	Bdsk-Url-1 = {https://tendermint.com/static/docs/tendermint.pdf}}

@misc{sc-szabo1994,
	Author = {Szabo, Nick},
	Date-Added = {2019-03-23 14:23:07 +0100},
	Date-Modified = {2019-03-24 18:10:17 +0100},
	Title = {Smart Contracts},
	Url = {http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart.contracts.html},
	Year = 1994,
	Bdsk-Url-1 = {http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart.contracts.html}}

@techreport{cryptoeprint:2016:1156,
	Author = {Seijas, Pablo Lamela and Thompson, Simon J. and McAdams, Darryl},
	Date-Added = {2019-03-23 14:10:36 +0100},
	Date-Modified = {2019-03-23 14:19:42 +0100},
	Institution = {IACR Cryptology ePrint Archive},
	Number = 1156,
	Title = {Scripting smart contracts for distributed ledger technology},
	Type = {Report},
	Url = {http://eprint.iacr.org/2016/1156},
	Year = 2016,
	Bdsk-Url-1 = {http://eprint.iacr.org/2016/1156}}

@article{artifacts-jaamas17,
	_Note = {Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems},
	_Url = {http://link.springer.com/10.1007/s10458-008-9053-x},
	Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
	Date-Added = {2019-03-23 13:39:56 +0100},
	Date-Modified = {2019-03-24 18:03:10 +0100},
	Doi = {10.1007/s10458-008-9053-x},
	Editor = {Omicini, Andrea and McBurney, Peter},
	Issn = {1387-2532},
	Issn-Online = {1573-7454},
	Journal = {Autonomous Agents and Multi-Agent Systems},
	Month = dec,
	Number = 3,
	Pages = {432--456},
	Publisher = {Springer},
	Scopusid = {2-s2.0-52949149709},
	Title = {Artifacts in the {A\&A} Meta-Model for Multi-Agent Systems},
	Volume = 17,
	Wosid = {000259411800004},
	Year = 2008,
	Bdsk-Url-1 = {http://link.springer.com/10.1007/s10458-008-9053-x},
	Bdsk-Url-2 = {https://doi.org/10.1007/s10458-008-9053-x}}

@article{smartcontracts-fm2,
	Author = {Szabo, Nick},
	Date-Added = {2019-03-23 13:38:54 +0100},
	Date-Modified = {2019-03-23 13:38:54 +0100},
	Journal = {First Monday},
	Month = {1~} # sep,
	Number = 9,
	Title = {Formalizing and Securing Relationships on Public Networks},
	Url = {http://ojphi.org/ojs/index.php/fm/article/view/548/469},
	Volume = 2,
	Year = 1997,
	Bdsk-Url-1 = {http://ojphi.org/ojs/index.php/fm/article/view/548/469}}

@inproceedings{hyperledgerfabric-eurosys18,
	_Author = {Androulaki, Elli and Barger, Artem and Bortnikov, Vita and Cachin, Christian and Christidis, Konstantinos and De Caro, Angelo and Enyeart, David and Ferris, Christopher and Laventman, Gennady and Manevich, Yacov and Muralidharan, Srinivasan and Murthy, Chet and Nguyen, Binh and Sethi, Manish and Singh, Gari and Smith, Keith and Sorniotti, Alessandro and Stathakopoulou, Chrysoula and Vukoli\'{c}, Marko and Cocco, Sharon Weed and Yellick, Jason},
	_Pages = {30:1--30:15},
	_Url = {http://dl.acm.org/citation.cfm?doid=3190538},
	Acmid = {3190538},
	Address = {New York, NY, USA},
	Articleno = {30},
	Author = {Androulaki, Elli and others},
	Booktitle = {13th EuroSys Conference (EuroSys'18)},
	Date-Added = {2019-03-23 13:35:35 +0100},
	Date-Modified = {2019-03-24 17:48:37 +0100},
	Doi = {10.1145/3190508.3190538},
	Isbn = {978-1-4503-5584-1},
	Location = {Porto, Portugal},
	Numpages = {15},
	Publisher = {ACM},
	Title = {{H}yperledger {F}abric: A Distributed Operating System for Permissioned Blockchains},
	Year = 2018,
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/3190508.3190538},
	Bdsk-Url-2 = {https://doi.org/10.1145/3190508.3190538}}

@misc{ethereum-yellowpaper2014,
	Author = {Wood, Gavin},
	Date-Added = {2019-03-23 13:35:08 +0100},
	Date-Modified = {2019-03-23 13:35:08 +0100},
	Title = {{E}thereum: a secure decentralised generalised transaction ledger},
	Url = {http://ethereum.github.io/yellowpaper/paper.pdf},
	Year = 2014,
	Bdsk-Url-1 = {https://ethereum.github.io/yellowpaper/paper.pdf},
	Bdsk-Url-2 = {https://dx.doi.org/10.1017/CBO9781107415324.004}}