{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:50Z","timestamp":1740099110469,"version":"3.37.3"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319945798"},{"type":"electronic","value":"9783319945804"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-94580-4_5","type":"book-chapter","created":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T02:42:22Z","timestamp":1529376142000},"page":"59-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Ferrando","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Franceschini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,20]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/11558590_14","volume-title":"AI*IA 2005: Advances in Artificial Intelligence","author":"M Alberti","year":"2005","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SCIFF abductive proof-procedure. In: Bandini, S., Manzoni, S. (eds.) AI*IA 2005. LNCS (LNAI), vol. 3673, pp. 135\u2013147. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11558590_14"},{"key":"5_CR2","unstructured":"Alechina, N., Dastani, M., Logan, B.: Norm approximation for imperfect monitors. In: Proceedings of AAMAS 2014, pp. 117\u2013124. IFAAMAS\/ACM (2014)"},{"issue":"2\u20133","key":"5_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1561\/2500000031","volume":"3","author":"D Ancona","year":"2016","unstructured":"Ancona, D., Bono, V., Bravetti, M., Campos, J., Castagna, G., et al.: Behavioral types in programming languages. Found. Trends Program. Lang. 3(2\u20133), 95\u2013230 (2016)","journal-title":"Found. Trends Program. Lang."},{"key":"5_CR4","unstructured":"Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Global protocols as first class entities for self-adaptive agents. In: Proceedings of AAMAS, pp. 1019\u20131029. ACM (2015)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-37890-4_5","volume-title":"Declarative Agent Languages and Technologies X","author":"D Ancona","year":"2013","unstructured":"Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring MASs from multiparty global session types in Jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol. 7784, pp. 76\u201395. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37890-4_5"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Ancona, D., Ferrando, A., Franceschini, L., Mascardi, V.: Managing bad AIPs with RIVERtools. In: Demazeau, Y., et al. (eds.) PAAMS 2018, LNAI, vol. 10978, pp. 296\u2013300. Springer, Cham (2018)","DOI":"10.1007\/978-3-319-94580-4_24"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-30734-3_6","volume-title":"Theory and Practice of Formal Methods","author":"D Ancona","year":"2016","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Comparing trace expressions and linear temporal logic for runtime verification. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 47\u201364. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30734-3_6"},{"key":"5_CR8","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Parametric runtime verification of multiagent systems. In: Proceedings of AAMAS 2017, pp. 1457\u20131459. ACM (2017)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. In: IJAOSE. (2018, to appear)","DOI":"10.1504\/IJAOSE.2018.10017738"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11750734_15","volume-title":"Computational Logic in Multi-Agent Systems","author":"M Baldoni","year":"2006","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Verification of protocol conformance and agent interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 265\u2013283. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11750734_15"},{"issue":"4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2677206","volume":"14","author":"M Baldoni","year":"2014","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F.: A commitment-based infrastructure for programming socio-technical systems. ACM Trans. Internet Techn. 14(4), 1\u201323 (2014)","journal-title":"ACM Trans. Internet Techn."},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/978-3-319-25524-8_39","volume-title":"PRIMA 2015: Principles and Practice of Multi-Agent Systems","author":"M Baldoni","year":"2015","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F., Micalizio, R.: Exploiting social commitments in programming agent interaction. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 566\u2013574. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25524-8_39"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-35632-2_17","volume-title":"Runtime Verification","author":"D Basin","year":"2013","unstructured":"Basin, D., Klaedtke, F., Marinovic, S., Z\u0103linescu, E.: Monitoring compliance policies over incomplete and disagreeing logs. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 151\u2013167. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35632-2_17"},{"key":"5_CR14","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"FL Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley, Hoboken (2007)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L Bettini","year":"2008","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418\u2013433. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85361-9_33"},{"key":"5_CR16","volume-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley, Hoboken (2007)"},{"key":"5_CR17","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-10422-5_10","volume-title":"Intelligent Distributed Computing VIII","author":"D Briola","year":"2015","unstructured":"Briola, D., Mascardi, V., Ancona, D.: Distributed runtime verification of JADE multiagent systems. In: Camacho, D., Braubach, L., Venticinque, S., Badica, C. (eds.) Intelligent Distributed Computing VIII. SCI, vol. 570, pp. 81\u201391. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-10422-5_10"},{"key":"5_CR18","unstructured":"Bulling, N., Dastani, M., Knobbout, M.: Monitoring norm violations in multi-agent systems. In: Proceedings of AAMAS 2013, pp. 491\u2013498. IFAAMAS (2013)"},{"issue":"3\/4","key":"5_CR19","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1504\/IJAOSE.2007.016267","volume":"1","author":"G Casella","year":"2007","unstructured":"Casella, G., Mascardi, V.: West2East: exploiting web service technologies to engineer agent-based software. IJAOSE 1(3\/4), 396\u2013434 (2007)","journal-title":"IJAOSE"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party session. Log. Methods Comput. Sci. 8(1) (2012)","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"5_CR21","unstructured":"Chopra, A.K., Christie, S., Singh, M.P.: Splee: a declarative information-based language for multiagent interaction protocols. In: Proceedings of AAMAS 2017, pp. 1054\u20131063. ACM (2017)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Chopra, A.K., Singh, M.P.: Cupid: commitments in relational algebra. In: Proceedings of AAAI 2015, pp. 2052\u20132059. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9443"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"79","DOI":"10.4018\/978-1-59140-581-8.ch004","volume":"3690","author":"M Cossentino","year":"2005","unstructured":"Cossentino, M.: From requirements to code with the PASSI methodology. Agent-Orient. Methodol. 3690, 79\u2013106 (2005)","journal-title":"Agent-Orient. Methodol."},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1109\/TCYB.2015.2513430","volume":"47","author":"N Criado","year":"2017","unstructured":"Criado, N., Such, J.M.: Norm monitoring under partial action observability. IEEE Trans. Cybern. 47(2), 270\u2013282 (2017)","journal-title":"IEEE Trans. Cybern."},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28869-2_10","volume-title":"Programming Languages and Systems","author":"P-M Deni\u00e9lou","year":"2012","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 194\u2013213. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28869-2_10"},{"issue":"12","key":"5_CR26","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/TSE.2005.140","volume":"31","author":"N Desai","year":"2005","unstructured":"Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction protocols as design abstractions for business processes. IEEE Trans. Softw. Eng. 31(12), 1015\u20131027 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR27","first-page":"13","volume":"2056","author":"A Ferrando","year":"2017","unstructured":"Ferrando, A.: RIVERtools: an IDE for runtIme VERification of MASs, and beyond. CEUR Workshop Proc. 2056, 13\u201326 (2017)","journal-title":"CEUR Workshop Proc."},{"key":"5_CR28","unstructured":"Ferrando, A., Ancona, D., Mascardi, V.: Decentralizing MAS monitoring with DecAMon. In: Proceedings of AAMAS 2017, pp. 239\u2013248. ACM (2017)"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-75632-5_6","volume-title":"Lectures on Runtime Verification","author":"A Francalanza","year":"2018","unstructured":"Francalanza, A., P\u00e9rez, J.A., S\u00e1nchez, C.: Runtime verification for decentralised and distributed systems. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 176\u2013210. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_6"},{"key":"5_CR30","unstructured":"Garc\u00eda-Ojeda, J.C., DeLoach, S.A., Robby: AgentTool III: from process definition to code generation. In: Proceedings of AAMAS 2009, pp. 1393\u20131394. IFAAMAS (2009)"},{"issue":"1","key":"5_CR31","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1328897.1328472","volume":"43","author":"Kohei Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of POPL 2008, pp. 273\u2013284. ACM (2008)","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR32","unstructured":"Huget, M., Odell, J.: Representing agent interaction protocols with agent UML. In: Proceedings of AAMAS 2004, pp. 1244\u20131245. IEEE Computer Society (2004)"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Joshi, Y., Tchamgoue, G.M., Fischmeister, S.: Runtime verification of LTL on lossy traces. In: Proceedings of SAC 2017, pp. 1379\u20131386. ACM (2017)","DOI":"10.1145\/3019612.3019827"},{"issue":"5","key":"5_CR34","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"PB Ladkin","year":"1995","unstructured":"Ladkin, P.B., Leue, S.: Interpreting message flow graphs. Formal Aspects Comput. 7(5), 473\u2013509 (1995)","journal-title":"Formal Aspects Comput."},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction-and process-oriented choreographies. In: Proceedings of ICSEFM 2008, pp. 323\u2013332. IEEE (2008)","DOI":"10.1109\/SEFM.2008.11"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Papazoglou, M.P.: Service -oriented computing: concepts, characteristics and directions. In: Proceedings of WISE 2003, p. 3. IEEE Computer Society (2003)","DOI":"10.1109\/WISE.2003.1254461"},{"key":"5_CR37","unstructured":"Singh, M.P.: Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language. In: Proceedings of AAMAS 2011, pp. 491\u2013498. IFAAMAS (2011)"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"SD Stoller","year":"2012","unstructured":"Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 193\u2013207. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_15"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Tinnemeier, N.A.M., Dastani, M., Meyer, J.C., van der Torre, L.W.N.: Programming normative artifacts with declarative obligations and prohibitions. In: Proceedings of IAT 2009, pp. 145\u2013152. IEEE Computer Society (2009)","DOI":"10.1109\/WI-IAT.2009.144"},{"key":"5_CR40","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/11493402_12","volume-title":"Declarative Agent Languages and Technologies II","author":"M Winikoff","year":"2005","unstructured":"Winikoff, M., Liu, W., Harland, J.: Enhancing commitment machines. In: Leite, J., Omicini, A., Torroni, P., Yolum, I. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 198\u2013220. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11493402_12"},{"issue":"1","key":"5_CR41","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10458-017-9373-9","volume":"32","author":"M Winikoff","year":"2018","unstructured":"Winikoff, M., Yadav, N., Padgham, L.: A new hierarchical agent protocol notation. Auton. Agent. Multi-Agent Syst. 32(1), 59\u2013133 (2018)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45448-9_17","volume-title":"Intelligent Agents VIII","author":"P Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 235\u2013247. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45448-9_17"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Yukish, M., Peluso, E., Phoha, S., Sircar, S., Licari, J., Ray, A., Mayk, I.: Limits of control in designing distributed $${C}^2$$ experiments under imperfect communications. In: Military Communications Conference MILCOM 1994. IEEE (1994)","DOI":"10.1109\/MILCOM.1994.473855"}],"container-title":["Lecture Notes in Computer Science","Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94580-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T22:50:20Z","timestamp":1661467820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94580-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319945798","9783319945804"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94580-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}