{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:47:58Z","timestamp":1725727678532},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386992"},{"type":"electronic","value":"9783642387005"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38700-5_9","type":"book-chapter","created":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T00:59:57Z","timestamp":1369789197000},"page":"138-157","source":"Crossref","is-referenced-by-count":3,"title":["Typing Multi-agent Programs in simpAL"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Ricci","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Santi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.infsof.2007.10.008","volume":"50","author":"F. Bellifemine","year":"2008","unstructured":"Bellifemine, F., Caire, G., Poggi, A., Rimassa, G.: Jade: A software framework for developing multi-agent applications. Lessons learned. Information & Software Technology\u00a050(1-2), 10\u201321 (2008)","journal-title":"Information & Software Technology"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R., H\u00fcbner, J., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, Ltd. (2007)","DOI":"10.1002\/9780470061848"},{"key":"9_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-71956-4_14","volume-title":"Programming Multi-Agent Systems","author":"R. Collier","year":"2007","unstructured":"Collier, R.: Debugging agents in agent factory. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2006. LNCS (LNAI), vol.\u00a04411, pp. 229\u2013248. Springer, Heidelberg (2007)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/96709.96721","volume-title":"Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990","author":"W.R. Cook","year":"1990","unstructured":"Cook, W.R., Hill, W., Canning, P.S.: Inheritance is not subtyping. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 125\u2013135. ACM, New York (1990)"},{"key":"9_CR5","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-20116-5_10","volume-title":"Software and Data Technologies","author":"F. Damiani","year":"2011","unstructured":"Damiani, F., Giannini, P., Ricci, A., Viroli, M.: A calculus of agents and artifacts. In: Cordeiro, J., Ranchordas, A., Shishkov, B. (eds.) ICSOFT 2009. CCIS, vol.\u00a050, pp. 124\u2013136. Springer, Heidelberg (2011)"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/62058.62060","volume":"20","author":"S. Danforth","year":"1988","unstructured":"Danforth, S., Tomlinson, C.: Type theories and object-oriented programmimg. ACM Comput. Surv.\u00a020(1), 29\u201372 (1988)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2apl: a practical agent programming language. Autonomous Agents and Multi-Agent Systems\u00a016(3), 214\u2013248 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/11785477_20","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"M. Dezani-Ciancaglini","year":"2006","unstructured":"Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 328\u2013352. Springer, Heidelberg (2006)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Grigore, C., Collier, R.: Supporting agent systems in the programming language. In: H\u00fcbner, J.F., Petit, J.-M., Suzuki, E. (eds.) Web Intelligence\/IAT Workshops, pp. 9\u201312. IEEE Computer Society (2011)","DOI":"10.1109\/WI-IAT.2011.174"},{"key":"9_CR10","first-page":"195","volume-title":"Proceedings of the Compilation of the Co-located Workshops on DSM 2011, TMC 2011, AGERE! 2011, AOOPES 2011, NEAT 2011, & VMIL 2011, SPLASH 2011 Workshops","author":"C.V. Grigore","year":"2011","unstructured":"Grigore, C.V., Collier, R.W.: Af-raf: an agent-oriented programming language with algebraic data types. In: Proceedings of the Compilation of the Co-located Workshops on DSM 2011, TMC 2011, AGERE! 2011, AOOPES 2011, NEAT 2011, & VMIL 2011, SPLASH 2011 Workshops, pp. 195\u2013200. ACM, New York (2011)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Hindriks, K.V.: Programming rational agents in goal. In: Multi-Agent Programming, pp. 119\u2013157. Springer US (2009)","DOI":"10.1007\/978-0-387-89299-3_4"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273\u2013284 (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"9_CR14","unstructured":"Howden, N., R\u00f6nnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agentsTM \u2014 summary of an agent infrastructure. In: Proc. of 2nd Int. Workshop on Infrastructure for Agents, MAS, and Scalable MAS (2001)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-40007-3_26","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"N. Kobayashi","year":"2003","unstructured":"Kobayashi, N.: Type systems for concurrent programs. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 439\u2013453. Springer, Heidelberg (2003)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Static typing. In: ACM SIGPLAN OOPS Messenger, vol.\u00a06, pp. 20\u201329. ACM (1995)","DOI":"10.1145\/260111.260214"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Mitchell, J.: Concepts in Programming Languages. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511804175"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems 17(3) (December 2008)","DOI":"10.1007\/s10458-008-9053-x"},{"key":"9_CR19","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-16178-0_11","volume-title":"Multiagent System Technologies","author":"A. Pokahr","year":"2010","unstructured":"Pokahr, A., Braubach, L., Jander, K.: Unifying agent and component concepts: Jadex active components. In: Dix, J., Witteveen, C. (eds.) MATES 2010. LNCS, vol.\u00a06251, pp. 100\u2013112. Springer, Heidelberg (2010)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: Bordini, R., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming. Kluwer (2005)","DOI":"10.1007\/0-387-26350-0_6"},{"key":"9_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":"A. Rao","year":"1996","unstructured":"Rao, A.: AgentSpeak (L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"9_CR23","unstructured":"Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: First International Conference on Multi Agent Systems, ICMAS 1995 (1995)"},{"key":"9_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. Autonomous Agents and Multi-Agent Systems\u00a023, 158\u2013192 (2011)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9_CR25","unstructured":"Ricci, A., Santi, A.: Agent-oriented computing: Agents as a paradigm for computer programming and software development. In: Proc. of the 3rd Int. Conf. on Future Computational Technologies and Applications, Future Computing 2011, Rome, Italy. IARIA (2011)"},{"key":"9_CR26","first-page":"159","volume-title":"Proc. of AGERE! 2011, SPLASH 2011 Workshops","author":"A. Ricci","year":"2011","unstructured":"Ricci, A., Santi, A.: Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project. In: Proc. of AGERE! 2011, SPLASH 2011 Workshops, pp. 159\u2013170. ACM, New York (2011)"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/2384716.2384745","volume-title":"Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH 2012","author":"A. Ricci","year":"2012","unstructured":"Ricci, A., Santi, A.: From actors to agent-oriented programming abstractions in simpal. In: Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH 2012, pp. 73\u201374. ACM, New York (2012)"},{"key":"9_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-32260-3_4","volume-title":"Programming Multi-Agent Systems","author":"R. Ross","year":"2005","unstructured":"Ross, R., Collier, R., O\u2019Hare, G.M.P.: AF-APL \u2013 bridging principles and practice in agent oriented languages. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol.\u00a03346, pp. 66\u201388. Springer, Heidelberg (2005)"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45910-3_4","volume-title":"ECOOP \u201988 European Conference on Object-Oriented Programming","author":"P. Wegner","year":"1988","unstructured":"Wegner, P., Zdonik, S.B.: Inheritance as an incremental modification mechanism or what like is and isn\u2019t like. In: Gjessing, S., Chepoi, V. (eds.) ECOOP 1988. LNCS, vol.\u00a0322, pp. 55\u201377. Springer, Heidelberg (1988)"},{"issue":"2","key":"9_CR30","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1006\/inco.2002.3113","volume":"174","author":"N. Yoshida","year":"2002","unstructured":"Yoshida, N., Hennessy, M.: Assigning types to processes. Inf. Comput.\u00a0174(2), 143\u2013179 (2002)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38700-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T07:57:09Z","timestamp":1557734229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38700-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386992","9783642387005"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38700-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}