{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:51:36Z","timestamp":1743126696613,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031479625"},{"type":"electronic","value":"9783031479632"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-47963-2_20","type":"book-chapter","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:41:26Z","timestamp":1700689286000},"page":"332-350","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Synchronous Agents, Verification, and\u00a0Blame\u2014A Deontic View"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6908-1756","authenticated-orcid":false,"given":"Karam","family":"Kharraz","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2165-3698","authenticated-orcid":false,"given":"Shaun","family":"Azzopardi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0629-6853","authenticated-orcid":false,"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3696-9222","authenticated-orcid":false,"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,23]]},"reference":[{"key":"20_CR1","unstructured":"Abarca, A.I.R., Broersen, J.M.: A STIT logic of responsibility. In: Faliszewski, P., Mascardi, V., Pelachaud, C., Taylor, M.E. (eds.) 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, 9-13 May 2022, pp. 1717\u20131719. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) (2022). https:\/\/www.ifaamas.org\/Proceedings\/aamas2022\/pdfs\/p1717.pdf"},{"issue":"5","key":"20_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM (JACM) 49(5), 672\u2013713 (2002)","journal-title":"J. ACM (JACM)"},{"key":"20_CR3","doi-asserted-by":"publisher","unstructured":"Azzopardi, S., Gatt, A., Pace, G.J.: Reasoning about partial contracts. In: JURIX 2016. Frontiers in Artificial Intelligence and Applications, vol.\u00a0294, pp. 23\u201332. IOS Press (2016). https:\/\/doi.org\/10.3233\/978-1-61499-726-9-23","DOI":"10.3233\/978-1-61499-726-9-23"},{"key":"20_CR4","doi-asserted-by":"publisher","unstructured":"Azzopardi, S., Pace, G.J., Schapachnik, F.: On observing contracts: deontic contracts meet smart contracts. In: JURIX 2018. Frontiers in Artificial Intelligence and Applications, vol.\u00a0313, pp. 21\u201330. IOS Press (2018). https:\/\/doi.org\/10.3233\/978-1-61499-935-5-21","DOI":"10.3233\/978-1-61499-935-5-21"},{"issue":"3","key":"20_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10506-016-9185-2","volume":"24","author":"S Azzopardi","year":"2016","unstructured":"Azzopardi, S., Pace, G.J., Schapachnik, F., Schneider, G.: Contract automata. Artif. Intell. Law 24(3), 203\u2013243 (2016). https:\/\/doi.org\/10.1007\/s10506-016-9185-2","journal-title":"Artif. Intell. Law"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11786849_7","volume-title":"Deontic Logic and Artificial Normative Systems","author":"J Broersen","year":"2006","unstructured":"Broersen, J.: Strategic deontic temporal logic as a reduction to ATL, with an application to Chisholm\u2019s scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 53\u201368. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11786849_7"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-74407-8_5","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"K Chatterjee","year":"2007","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 59\u201373. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74407-8_5"},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Chockler, H.: Causality and responsibility for formal verification and beyond. In: CREST@ETAPS 2016. EPTCS, vol.\u00a0224, pp.\u00a01\u20138 (2016). https:\/\/doi.org\/10.4204\/EPTCS.224.1","DOI":"10.4204\/EPTCS.224.1"},{"key":"20_CR9","unstructured":"Chockler, H., Halpern, J.Y.: Responsibility and blame: a structural-model approach. In: Gottlob, G., Walsh, T. (eds.) IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 9-15 August 2003, pp. 147\u2013153. Morgan Kaufmann (2003). http:\/\/ijcai.org\/Proceedings\/03\/Papers\/021.pdf"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1613\/jair.1391","volume":"22","author":"H Chockler","year":"2004","unstructured":"Chockler, H., Halpern, J.Y.: Responsibility and blame: a structural-model approach. J. Artif. Intell. Res. 22, 93\u2013115 (2004)","journal-title":"J. Artif. Intell. Res."},{"key":"20_CR11","doi-asserted-by":"publisher","unstructured":"Friedenberg, M., Halpern, J.Y.: Blameworthiness in multi-agent settings. In: Proceedings of the AAAI Conference on Artificial Intelligence vol. 33, no. 01, pp. 525\u2013532 (2019). https:\/\/doi.org\/10.1609\/aaai.v33i01.3301525","DOI":"10.1609\/aaai.v33i01.3301525"},{"issue":"2","key":"20_CR12","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1093\/lpr\/mgu020","volume":"14","author":"JY Halpern","year":"2015","unstructured":"Halpern, J.Y.: Cause, responsibility and blame: a structural-model approach. Law, Probab. Risk 14(2), 91\u2013118 (2015)","journal-title":"Law, Probab. Risk"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Kleiman-Weiner, M.: Towards formal definitions of blameworthiness, intention, and moral responsibility. In: AAAI\/IAAI\/EAAI 2018. AAAI Press (2018)","DOI":"10.1609\/aaai.v32i1.11557"},{"issue":"374","key":"20_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1093\/mind\/XCIV.374.177","volume":"94","author":"F Jackson","year":"1985","unstructured":"Jackson, F.: On the semantics and logic of obligation. Mind 94(374), 177\u2013195 (1985)","journal-title":"Mind"},{"issue":"6","key":"20_CR15","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1093\/logcom\/ext072","volume":"24","author":"E Lorini","year":"2013","unstructured":"Lorini, E., Longin, D., Mayor, E.: A logical analysis of responsibility attribution: emotions, individuals and collectives. J. Logic Comput. 24(6), 1313\u20131339 (2013). https:\/\/doi.org\/10.1093\/logcom\/ext072","journal-title":"J. Logic Comput."},{"key":"20_CR16","doi-asserted-by":"publisher","unstructured":"McNamara, P.: Deontic logic. In: Gabbay, D.M., Woods, J. (eds.) Logic and the Modalities in the Twentieth Century, Handbook of the History of Logic, vol.\u00a07, pp. 197\u2013288. Elsevier (2006). https:\/\/doi.org\/10.1016\/S1874-5857(06)80029-4","DOI":"10.1016\/S1874-5857(06)80029-4"},{"key":"20_CR17","doi-asserted-by":"publisher","unstructured":"Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 209\u2013216. AAMAS 2003, Association for Computing Machinery, New York, NY, USA (2003). https:\/\/doi.org\/10.1145\/860575.860609","DOI":"10.1145\/860575.860609"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-02261-6_27","volume-title":"Logic, Language, Information and Computation","author":"C Prisacariu","year":"2009","unstructured":"Prisacariu, C., Schneider, G.: $$\\cal{CL}$$: an action-based logic for reasoning about contracts. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS (LNAI), vol. 5514, pp. 335\u2013349. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02261-6_27"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-25927-5_15","volume-title":"Deontic Logic in Computer Science","author":"F Raimondi","year":"2004","unstructured":"Raimondi, F., Lomuscio, A.: Automatic verification of deontic properties of multi-agent systems. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 228\u2013242. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25927-5_15"},{"key":"20_CR20","doi-asserted-by":"publisher","unstructured":"Shea-Blymyer, C., Abbas, H.: A deontic logic analysis of autonomous systems\u2019 safety. In: HSCC 2020, pp. 26:1\u201326:11. ACM (2020). https:\/\/doi.org\/10.1145\/3365365.3382203","DOI":"10.1145\/3365365.3382203"},{"issue":"237","key":"20_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GH Von Wright","year":"1951","unstructured":"Von Wright, G.H.: Deontic logic. Mind 60(237), 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47963-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:43:20Z","timestamp":1700689400000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47963-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031479625","9783031479632"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47963-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"23 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Peru","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2023.compsust.utec.edu.pe\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}