{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:05Z","timestamp":1742913605998,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030613792"},{"type":"electronic","value":"9783030613808"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-61380-8_1","type":"book-chapter","created":{"date-parts":[[2020,10,15]],"date-time":"2020-10-15T19:04:06Z","timestamp":1602788646000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Multi-level Approach to the Formal Semantics of Agent Societies"],"prefix":"10.1007","author":[{"given":"Alison R.","family":"Panisson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael H.","family":"Bordini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ant\u00f4nio Carlos","family":"da Rocha Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,13]]},"reference":[{"issue":"6","key":"1_CR1","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1016\/j.scico.2011.10.004","volume":"78","author":"O Boissier","year":"2013","unstructured":"Boissier, O., Bordini, R.H., H\u00fcbner, J.F., Ricci, A., Santi, A.: Multi-agent oriented programming with JaCaMo. Sci. Comput. Program. 78(6), 747\u2013761 (2013)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Auton. Agent. Multi-Agent Syst. 12(2), 239\u2013256 (2006)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in Agent Speak Using Jason (Wiley Series in Agent Technology). Wiley (2007)","DOI":"10.1002\/9780470061848"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10506-015-9164-z","volume":"23","author":"AC Rocha Costa","year":"2015","unstructured":"Rocha Costa, A.C.: Situated legal systems and their operational semantics. Artif. Intell. Law 23(1), 43\u2013102 (2015). \nhttps:\/\/doi.org\/10.1007\/s10506-015-9164-z","journal-title":"Artif. Intell. Law"},{"key":"1_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16335-8","volume-title":"A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies","author":"AC da Rocha Costa","year":"2019","unstructured":"da Rocha Costa, A.C.: A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-16335-8"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1007\/978-3-540-77002-2_49","volume-title":"Progress in Artificial Intelligence","author":"AC da Rocha Costa","year":"2007","unstructured":"da Rocha Costa, A.C., Dimuro, G.P.: A basis for an exchange value-based operational notion of morality for multiagent systems. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), vol. 4874, pp. 580\u2013592. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-77002-2_49"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-79003-7_11","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems III","author":"AC da Rocha Costa","year":"2008","unstructured":"da Rocha Costa, A.C., Dimuro, G.P.: Semantical concepts for a formal structural dynamics of situated multiagent systems. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN -2007. LNCS (LNAI), vol. 4870, pp. 139\u2013154. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-79003-7_11"},{"key":"1_CR8","unstructured":"Costa, A.C.R., Dimuro, G.P.: Introducing social groups and group exchanges in the poporg model. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, pp. 1297\u20131298. International Foundation for Autonomous Agents and Multiagent Systems (2009)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Costa, A.C.R., Dimuro, G.P.: A minimal dynamical mas organization model. In: Handbook of Research on Multia-Agent Systems: Semantics and Dynamics of Organizational Models, pp. 419\u2013445 (2009)","DOI":"10.4018\/978-1-60566-256-5.ch017"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-16867-3_5","volume-title":"Computational Logic in Multi-Agent Systems","author":"M Dastani","year":"2010","unstructured":"Dastani, M., Steunebrink, B.R.: Operational semantics for BDI modules in multi-agent programming. In: Dix, J., Fisher, M., Nov\u00e1k, P. (eds.) CLIMA 2009. LNCS (LNAI), vol. 6214, pp. 83\u2013101. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-16867-3_5"},{"key":"1_CR11","unstructured":"Dennis, L.A.: Agent infrastructure layer (AIL): design and operational semantics v1. Technical report, Technical Report ULCS-07-001, Department of Computer Science, University of Liverpool (2007)"},{"key":"1_CR12","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-79043-3_8","volume-title":"Programming Multi-Agent Systems","author":"LA Dennis","year":"2008","unstructured":"Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A common semantic basis for BDI languages. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 124\u2013139. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-79043-3_8"},{"issue":"4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/s10458-013-9238-9","volume":"28","author":"J Harland","year":"2014","unstructured":"Harland, J., Morley, D.N., Thangarajah, J., Yorke-Smith, N.: An operational semantics for the goal life-cycle in BDI agents. Auton. Agent. Multi-Agent Syst. 28(4), 682\u2013719 (2014)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/214427.214432","volume":"4","author":"C Hewitt","year":"1986","unstructured":"Hewitt, C.: Offices are open systems. ACM Trans. Inf. Syst. (TOIS) 4(3), 271\u2013287 (1986)","journal-title":"ACM Trans. Inf. Syst. (TOIS)"},{"issue":"4","key":"1_CR15","doi-asserted-by":"publisher","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."},{"issue":"3\u20134","key":"1_CR16","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1504\/IJAOSE.2007.016266","volume":"1","author":"JF Hubner","year":"2007","unstructured":"Hubner, J.F., Sichman, J.S., Boissier, O.: Developing organised multiagent systems using the moise+ model: programming issues at the system and agent levels. Int. J. Agent-Oriented Softw. Eng. 1(3\u20134), 370\u2013395 (2007)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"key":"1_CR17","unstructured":"Noriega, P.: Agent mediated auctions: the fishmarket metaphor. Institut d\u2019Investigaci\u00f3 en Intellig\u00e8ncia Artificial (1999)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Panisson, A.R., Bordini, R.H., Costa, A.C.R.: Towards multi-level semantics for multi-agent systems. In: 3th Workshop-School on Theoretical Computer Science (2015)","DOI":"10.1016\/j.entcs.2016.09.011"},{"key":"1_CR19","unstructured":"Panisson, A.R., Meneguzzi, F., Fagundes, M., Vieira, R., Bordini, R.H.: Formal semantics of speech acts for argumentative dialogues. In: Thirteenth International Conference on Autonomous Agents and Multiagent Systems, pp. 1437\u20131438 (2014)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Panisson, A.R., Meneguzzi, F., Vieira, R., Bordini, R.H.: Towards practical argumentation in multi-agent systems. In: 2015 Brazilian Conference on Intelligent Systems, BRACIS 2015 (2015)","DOI":"10.1109\/BRACIS.2015.30"},{"key":"1_CR21","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Computer Science Department, Aarhus University Denmark (1981)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"AS Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42\u201355. Springer, Heidelberg (1996). \nhttps:\/\/doi.org\/10.1007\/BFb0031845"},{"issue":"3\u20134","key":"1_CR23","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF01019459","volume":"6","author":"JC Reynolds","year":"1993","unstructured":"Reynolds, J.C.: The discoveries of continuations. Lisp Symb. Comput. 6(3\u20134), 233\u2013247 (1993)","journal-title":"Lisp Symb. Comput."},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10458-010-9140-7","volume":"23","author":"A Ricci","year":"2011","unstructured":"Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: an artifact-based perspective. Auton. Agent. Multi-Agent Syst. 23(2), 158\u2013192 (2011)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"1_CR25","unstructured":"van Riemsdijk, M.B., Hindriks, K.V., Jonker, C.M., Sierhuis, M.: Formalizing organizational constraints: a semantic approach. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, 10\u201314 May 2010, vol. 1\u20133, pp. 823\u2013830 (2010)"},{"key":"1_CR26","unstructured":"Searle, J.R.: The Construction of Social Reality. Simon and Schuster (1995)"},{"issue":"4","key":"1_CR27","first-page":"33","volume":"4","author":"C Sierra","year":"2004","unstructured":"Sierra, C., Rodriguez-Aguilar, J.A., Noriega, P., Esteva, M., Arcos, J.L.: Engineering multi-agent systems as electronic institutions. Eur. J. Inform. Prof. 4(4), 33\u201339 (2004)","journal-title":"Eur. J. Inform. Prof."},{"issue":"1","key":"1_CR28","first-page":"221","volume":"29","author":"R Vieira","year":"2007","unstructured":"Vieira, R., Moreira, A., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. J. Artif. Int. Res. 29(1), 221\u2013267 (2007)","journal-title":"J. Artif. Int. Res."},{"key":"1_CR29","unstructured":"Vivanco, M.E., Garc\u00eda, C.S.: Electronic Institutions: from specification to development. Consell Superior d\u2019Investigacions Cient\u00edfiques, Institut d\u2019Investigaci\u00f3 en Intellig\u00e9ncia Artificial (2003)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61380-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,15]],"date-time":"2020-10-15T19:26:43Z","timestamp":1602790003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61380-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030613792","9783030613808"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61380-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BRACIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Conference on Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rio Grande","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bracis2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www2.sbc.org.br\/bracis2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"JEMS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"228","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"91","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic BRACIS 2020 was held as a virtual event.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}