{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T08:07:36Z","timestamp":1746086856246,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319035239"},{"type":"electronic","value":"9783319035246"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03524-6_26","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T12:35:00Z","timestamp":1386592500000},"page":"300-311","source":"Crossref","is-referenced-by-count":3,"title":["On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol"],"prefix":"10.1007","author":[{"given":"Viviana","family":"Mascardi","sequence":"first","affiliation":[]},{"given":"Daniela","family":"Briola","sequence":"additional","affiliation":[]},{"given":"Davide","family":"Ancona","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Ancona, D., Barbieri, M., Mascardi, V.: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In: SAC. ACM (2013)","DOI":"10.1145\/2480362.2480620"},{"key":"26_CR2","series-title":"LNAI","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.\u00a07784, pp. 76\u201395. Springer, Heidelberg (2013)"},{"issue":"2","key":"26_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2438653.2438657","volume":"4","author":"M. Baldoni","year":"2013","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM Trans. Intell. Syst. Technol.\u00a04(2), 22:1\u201322:25 (2013)","journal-title":"ACM Trans. Intell. Syst. Technol."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"26_CR5","unstructured":"Briola, D., Mascardi, V.: Design and implementation of a NetLogo interface for the stand-alone FYPA system. In: WOA 2011, pp. 41\u201350 (2011)"},{"key":"26_CR6","first-page":"106","volume":"4","author":"D. Briola","year":"2009","unstructured":"Briola, D., Mascardi, V., Martelli, M.: Intelligent agents that monitor, diagnose and solve problems: Two success stories of industry-university collaboration. Journal of Information Assurance and Security\u00a04, 106\u2013117 (2009)","journal-title":"Journal of Information Assurance and Security"},{"key":"26_CR7","unstructured":"Briola, D., Mascardi, V., Martelli, M., Caccia, R., Milani, C.: Dynamic resource allocation in a MAS: A case study from the industry. In: WOA 2009 (2009)"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"issue":"1","key":"26_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10458-012-9202-0","volume":"27","author":"F. Chesani","year":"2013","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems\u00a027(1), 85\u2013130 (2013)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Elfazziki, A., Nejeoui, A., Sadgal, M.: Advanced internet based systems and applications, pp. 169\u2013179. Springer (2009)","DOI":"10.1007\/978-3-642-01350-8_16"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Ghosh, S., Dutta, A.: Multi-agent based railway track management system. In: IACC 2013, pp. 1408\u20131413 (2013)","DOI":"10.1109\/IAdCC.2013.6514433"},{"issue":"2","key":"26_CR12","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.jal.2005.12.011","volume":"5","author":"L. Giordano","year":"2007","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and verifying interaction protocols in a temporal action logic. Journal of Applied Logic\u00a05(2), 214\u2013234 (2007)","journal-title":"Journal of Applied Logic"},{"issue":"1","key":"26_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888900001090","volume":"15","author":"C.P. Gomes","year":"2000","unstructured":"Gomes, C.P.: Artificial intelligence and operations research: challenges and opportunities in planning and scheduling. Knowl. Eng. Rev.\u00a015(1), 1\u201310 (2000)","journal-title":"Knowl. Eng. Rev."},{"issue":"4","key":"26_CR14","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1023\/A:1021512627215","volume":"37","author":"M. Hadad","year":"2003","unstructured":"Hadad, M., Kraus, S., Gal, Y., Lin, R.: Temporal reasoning for a collaborative planning agent in a dynamic environment. Annals of Mathematics and Artificial Intelligence\u00a037(4), 331\u2013379 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"26_CR15","unstructured":"Huget, M.-P., Bauer, B., Odell, J., Levy, R., Turci, P., Cervenka, R., Zhu, H.: FIPA modeling: Interaction diagrams. Working Draft Version 2003-07-02 (2003), \n                      http:\/\/www.auml.org\/auml\/documents\/ID-03-07-02.pdf"},{"issue":"1","key":"26_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N.R. Jennings","year":"1998","unstructured":"Jennings, N.R., Sycara, K.P., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems\u00a01(1), 7\u201338 (1998)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"WAGA 1990","author":"D.E. Knuth","year":"1990","unstructured":"Knuth, D.E.: The genesis of Attribute Grammars. In: Deransart, P., Jourdan, M. (eds.) WAGA 1990. LNCS, vol.\u00a0461, pp. 1\u201312. Springer, Heidelberg (1990)"},{"key":"26_CR18","unstructured":"Mascardi, V., Ancona, D.: Attribute global types for dynamic checking of protocols in logic-based multiagent systems (technical communication). Theory and Practice of Logic Programming, On-line Supplement (2013)"},{"issue":"4","key":"26_CR19","first-page":"247","volume":"1","author":"A. Siahvashi","year":"2010","unstructured":"Siahvashi, A., Moaveni, B.: Automatic train control based on the multi-agent control of cooperative systems. TJMCS\u00a01(4), 247\u2013257 (2010)","journal-title":"TJMCS"},{"issue":"2","key":"26_CR20","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1287\/trsc.1100.0344","volume":"45","author":"C.W. Tsang","year":"2011","unstructured":"Tsang, C.W., Ho, T.K., Ip, K.H.: Train schedule coordination at an interchange station through agent negotiation. Transportation Science\u00a045(2), 258\u2013270 (2011)","journal-title":"Transportation Science"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2013: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03524-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T21:51:39Z","timestamp":1676843499000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-03524-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319035239","9783319035246"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03524-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}