{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T18:07:24Z","timestamp":1663697244147},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,11,13]],"date-time":"2014-11-13T00:00:00Z","timestamp":1415836800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Distrib Parallel Databases"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s10619-014-7161-y","type":"journal-article","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T21:08:48Z","timestamp":1415999328000},"page":"3-31","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["An abstract formal basis for digital crowds"],"prefix":"10.1007","volume":"33","author":[{"given":"Marija","family":"Slavkovik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise A.","family":"Dennis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,13]]},"reference":[{"key":"7161_CR1","unstructured":"Barbuceanu, M., Fox, M.S.: COOL: A Language for Describing Coordination in Multi Agent Systems. In: ICMAS, pp. 17\u201324. The MIT Press, San Francisco (1995)"},{"issue":"3","key":"7161_CR2","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N Belnap","year":"1988","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: a Canonical form for agentives. Theoria 54(3), 175\u2013199 (1988)","journal-title":"Theoria"},{"key":"7161_CR3","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 3\u201337. Springer (2005)","DOI":"10.1007\/0-387-26350-0_1"},{"key":"7161_CR4","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"3","key":"7161_CR5","doi-asserted-by":"crossref","first-page":"1753","DOI":"10.1016\/S0304-3975(02)00078-6","volume":"290","author":"F Boer de","year":"2003","unstructured":"de Boer, F., van Eijk, R., van der Hoek, J.-J., Meyer, W.: A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3), 1753\u20131773 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"7161_CR6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"FS Boer de","year":"2007","unstructured":"de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J-JCh.: A verification framework for agent programming with declarative goals. J. Appl. Logic 5(2), 277\u2013302 (2007)","journal-title":"J. Appl. Logic"},{"key":"7161_CR7","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: A BDI Language for Verifiable Agents. In: Proceedings of the AISB Workshop on Logic and the Simulation of Interaction and Reasoning. AISB (2008)"},{"issue":"1","key":"7161_CR8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5\u201363 (2012)","journal-title":"Autom. Softw. Eng."},{"key":"7161_CR9","series-title":"Specification and verification of multi-agent systems","volume-title":"Multiagent Systems","author":"J Dix","year":"2013","unstructured":"Dix, J., Fisher, M.: Multiagent Systems. Specification and verification of multi-agent systems, vol. 14. MIT Press, Cambridge (2013)"},{"issue":"2","key":"7161_CR10","first-page":"1","volume":"2","author":"D Elgesem","year":"1997","unstructured":"Elgesem, D.: The modal logic of agency. Nordic J. Philos. Logic 2(2), 1\u201346 (1997)","journal-title":"Nordic J. Philos. Logic"},{"issue":"2","key":"7161_CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1177\/0165551512437638","volume":"38","author":"E Estell\u00e9s-Arolas","year":"2012","unstructured":"Estell\u00e9s-Arolas, E., Gonz\u00e1lez-Ladr\u00f3n-De-Guevara, F.: Towards an integrated crowdsourcing definition. J. Inf. Sci. 38(2), 189\u2013200 (2012)","journal-title":"J. Inf. Sci."},{"issue":"3","key":"7161_CR12","doi-asserted-by":"crossref","first-page":"283","DOI":"10.3145\/epi.2012.may.09","volume":"21","author":"E Estrell\u00e9s Arolas","year":"2012","unstructured":"Estrell\u00e9s Arolas, E., Gonz\u00e1lez-Ladr\u00f3n-De-Guevara, F.: Clasificaci\u00f3n de iniciativas de crowdsourcing basada en tareas. El Profesional de la Informacion 21(3), 283\u2013291 (2012)","journal-title":"El Profesional de la Informacion"},{"key":"7161_CR13","first-page":"480","volume-title":"Temporal Logic, Lecture Notes in Computer Science","author":"M Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent METATEM: the language and its applications. In: Gabbay, DovM, Ohlbach, HansJ\u00fcrgen (eds.) Temporal Logic, Lecture Notes in Computer Science, vol. 827, pp. 480\u2013505. Springer, Berlin (1994)"},{"key":"7161_CR14","doi-asserted-by":"crossref","DOI":"10.1002\/9781119991472","volume-title":"An Introduction to Practical Formal Methods Using Temporal Logic","author":"M Fisher","year":"2011","unstructured":"Fisher, M.: An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, Hoboken (2011)"},{"key":"7161_CR15","unstructured":"Fisher, M., Dennis, L., Hepple, A.: Modular Multi-Agent Design. Technical Report ULCS-09-002, Department of Computer Science, University of Liverpool (2009)"},{"key":"7161_CR16","unstructured":"Fisher, M., Kakoudakis, T.: Flexible Agent Grouping In Executable Temporal Logic. In: Proceedings of the 12th International Symposium on Languages for Intensional Programming (ISLIP). World Scientific Press (1999)"},{"key":"7161_CR17","doi-asserted-by":"crossref","unstructured":"Fornara, N., Okouya, D., Colombetti, M.: Using OWL 2 DL for Expressing ACL Content and Semantics. In: Multi-Agent Systems, volume 7541 of Lecture Notes in Computer Science, pp. 97\u2013113. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-34799-3_7"},{"key":"7161_CR18","series-title":"A common basis for agent organisation in BDI languages","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-540-85058-8_5","volume-title":"Languages, Methodologies and Development Tools for Multi-Agent Systems","author":"A Hepple","year":"2008","unstructured":"Hepple, A., Dennis, L., Fisher, M.: Languages, Methodologies and Development Tools for Multi-Agent Systems. A common basis for agent organisation in BDI languages, pp. 71\u201388. Springer, Berlin (2008)"},{"issue":"4","key":"7161_CR19","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"KV Hindriks","year":"1999","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J-JCh.: Agent programming in 3APL. Auton. Agents Multi-Agent Syst. 2(4), 357\u2013401 (1999)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"7161_CR20","unstructured":"Ho, C.J., Zhang, Y., Wortman Vaughan, J., van der Schaar, M.: Towards Social Norm Design for Crowdsourcing Markets. In: Proceedings of Human Computation Workshop (2012)"},{"issue":"4","key":"7161_CR21","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1017\/S0269888905000317","volume":"19","author":"B Horling","year":"2004","unstructured":"Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), 281\u2013316 (2004)","journal-title":"Knowl. Eng. Rev."},{"key":"7161_CR22","unstructured":"Howe. J.: The Rise of Crowdsourcing. Wired, Issue 14.06, (2006)"},{"issue":"2","key":"7161_CR23","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"NR Jennings","year":"2000","unstructured":"Jennings, N.R.: On agent-based software engineering. Artif. Intell. 117(2), 277\u2013296 (2000)","journal-title":"Artif. Intell."},{"issue":"1","key":"7161_CR24","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"NR Jennings","year":"1998","unstructured":"Jennings, N.R., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. Auton. Agents Multi-Agent Syst. 1(1), 7\u201338 (1998)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"7161_CR25","unstructured":"Kamar, E., Horvitz, E.: Incentives for Truthful Reporting in Crowdsourcing. In: Proceedings of the International Confernece AAMAS, pp. 1329\u20131330 (2012)"},{"key":"7161_CR26","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Proceedings of the 12th International Confernece Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS), vol. 2324 LNCS. Springer, Berlin (2002)","DOI":"10.1007\/3-540-46029-2_13"},{"key":"7161_CR27","first-page":"70","volume-title":"Collective Behaviour and Social Movements","author":"J Lofland","year":"1993","unstructured":"Lofland, J.: Collective behaviour: the elementary forms. In: Curtis, R.L., Aguirre, B.E. (eds.) Collective Behaviour and Social Movements, pp. 70\u201375. Pearsons, Boston (1993)"},{"issue":"4","key":"7161_CR28","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1017\/S1471068404002029","volume":"4","author":"V Mascardi","year":"2004","unstructured":"Mascardi, V., Martelli, M., Sterling, L.: Logic-based specification languages for intelligent software agents. Theory Pract. Log. Program. 4(4), 429\u2013494 (2004)","journal-title":"Theory Pract. Log. Program."},{"key":"7161_CR29","first-page":"209","volume-title":"Lecture Notes in Computer Science","author":"P McBurney","year":"2005","unstructured":"McBurney, P., Parsons, S.: Locutions for argumentation in agent interaction protocols. Agent communication. In: van Eijk, R., Huget, M.-P., Dignum, F. (eds.) Lecture Notes in Computer Science, vol. 3396, pp. 209\u2013225. Springer, Berlin (2005)"},{"key":"7161_CR30","volume-title":"We Are Anonymous: Inside the Hacker World of LulzSec, Anonymous, and the Global Cyber Insurgency","author":"P Olson","year":"2012","unstructured":"Olson, P.: We Are Anonymous: Inside the Hacker World of LulzSec, Anonymous, and the Global Cyber Insurgency. Little, Brown and Company, New York (2012)"},{"key":"7161_CR31","volume-title":"Computational Complexity","author":"CH Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)"},{"issue":"4","key":"7161_CR32","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1023\/A:1010016503852","volume":"2","author":"J Pitt","year":"1999","unstructured":"Pitt, J., Mamdani, A.: Some remarks on the semantics of fipa\u2019s agent communication language. Auton. Agents Multi-Agent Syst. 2(4), 333\u2013356 (1999)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"7161_CR33","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 149\u2013174. Springer, Berlin (2005)","DOI":"10.1007\/0-387-26350-0_6"},{"issue":"2","key":"7161_CR34","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.jal.2005.12.010","volume":"5","author":"F Raimondi","year":"2007","unstructured":"Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Logic 5(2), 235\u2013251 (2007)","journal-title":"J. Appl. Logic"},{"key":"7161_CR35","doi-asserted-by":"crossref","unstructured":"Rao, A. S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Agents Breaking Away: Proceedings of 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, vol. 1038 LNCS, pp. 42\u201355. Springer, New York (1996)","DOI":"10.1007\/BFb0031845"},{"key":"7161_CR36","unstructured":"Rao, A.S., Georgeff, M.P.: Modelling Agents within a BDI-Architecture. In: Proceedings of the International Conference Principles of Knowledge Representation and Reasoning, KR. Morgan Kaufmann (1991)"},{"key":"7161_CR37","unstructured":"Rao, A.S., Georgeff, M.P.: BDI Agents: from Theory to Practice. In: Proceedings of the 1st International Confernece Multi-Agent Systems (ICMAS), pp. 312\u2013319, San Francisco, USA (1995)"},{"key":"7161_CR38","volume-title":"Smart Mobs: The Next Social Revolution","author":"H Rheingold","year":"2003","unstructured":"Rheingold, H.: Smart Mobs: The Next Social Revolution. Perseus Books, Cambridge (2003)"},{"issue":"7","key":"7161_CR39","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3917\/jie.007.0093","volume":"1","author":"E Schenk","year":"2011","unstructured":"Schenk, E., Guittard, C.: Towards a characterization of crowdsourcing practices. J. Innov. Econ. 1(7), 93\u2013107 (2011)","journal-title":"J. Innov. Econ."},{"issue":"3","key":"7161_CR40","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/A:1010076027707","volume":"3","author":"K Schild","year":"2000","unstructured":"Schild, K.: On the relationship between BDI logics and standard logics of concurrency. Auton. Agents Multi-Agent Syst. 3(3), 259\u2013283 (2000)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"7161_CR41","series-title":"A Taxonomy of Illocutionary Acts","first-page":"344","volume-title":"Language, Mind, and Knowledge (Minneapolis Studies in the Philosophy of Science)","author":"JR Searle","year":"1975","unstructured":"Searle, J.R.: Language, Mind, and Knowledge (Minneapolis Studies in the Philosophy of Science). A Taxonomy of Illocutionary Acts, vol. 7, pp. 344\u2013369. University of Minneapolis Press, Minneapolis (1975)"},{"issue":"1","key":"7161_CR42","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51\u201392 (1993)","journal-title":"Artif. Intell."},{"key":"7161_CR43","first-page":"37","volume-title":"Lecture Notes in Computer Science","author":"MP Singh","year":"2003","unstructured":"Singh, M.P.: Agent Communication Languages: Rethinking the Principles. Communication in Multiagent Systems. In: Huget, Marc-Philippe (ed.) Lecture Notes in Computer Science, vol. 2650, pp. 37\u201350. Springer, Berlin (2003)"},{"key":"7161_CR44","series-title":"Modal and temporal logics","volume-title":"Handbook of Logic in Computer Science","author":"C Stirling","year":"1992","unstructured":"Stirling, C.: Handbook of Logic in Computer Science. Modal and temporal logics. Oxford University Press, Oxford (1992)"},{"key":"7161_CR45","first-page":"1","volume":"28","author":"N Troquard","year":"2013","unstructured":"Troquard, N.: Reasoning about coalitional agency and ability in the logics of \u201cbringing-it-about\u201d. Auton. Agents Multi-Agent Syst. 28, 1\u201327 (2013)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"7161_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Springer, Berlin (2007)","edition":"1"},{"key":"7161_CR47","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1613\/jair.2221","volume":"29","author":"R Vieira","year":"2007","unstructured":"Vieira, R., Moreira, A.F., Wooldridge, M., Bordini, R.: On the formal semantics of speech-act based communication in an agent-oriented programming language. J. Artif. Intell. Res. (JAIR) 29, 221\u2013267 (2007)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"7161_CR48","doi-asserted-by":"crossref","unstructured":"Winikoff, M.: Implementing Commitment-Based Interactions. In: Proceedings of the 6th International Conference Autonomous Agents and Multiagent Systems (AAMAS), pp. 1\u20138. ACM (2007)","DOI":"10.1145\/1329125.1329283"},{"key":"7161_CR49","series-title":"Agency and the Logic of Ability","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BFb0055018","volume-title":"Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications","author":"W Wobcke","year":"1998","unstructured":"Wobcke, W.: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. Agency and the Logic of Ability, vol. 1441, pp. 31\u201345. Springer, Berlin (1998)"},{"key":"7161_CR50","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Semantic issues in the verification of agent communication languages. Auton. Agents Multi-Agent Syst. 3, 9\u201331 (2000)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"7161_CR51","series-title":"Agent-Oriented Software Engineering: The State of the Art","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-44564-1_1","volume-title":"Agent-Oriented Software Engineering","author":"M Wooldridge","year":"2001","unstructured":"Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering. Agent-Oriented Software Engineering: The State of the Art, vol. 1957, pp. 1\u201328. Springer, Berlin (2001)"},{"issue":"2","key":"7161_CR52","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115\u2013152 (1995)","journal-title":"Knowl. Eng. Rev."},{"key":"7161_CR53","first-page":"1","volume":"8","author":"Y Zhao","year":"2012","unstructured":"Zhao, Y., Zhu, Q.: Evaluation on crowdsourcing research: current status and future direction. Inf. Syst. Front. 8, 1\u201318 (2012)","journal-title":"Inf. Syst. Front."}],"container-title":["Distributed and Parallel Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-014-7161-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10619-014-7161-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-014-7161-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T11:34:31Z","timestamp":1566041671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10619-014-7161-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,13]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["7161"],"URL":"https:\/\/doi.org\/10.1007\/s10619-014-7161-y","relation":{},"ISSN":["0926-8782","1573-7578"],"issn-type":[{"value":"0926-8782","type":"print"},{"value":"1573-7578","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,13]]}}}