{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T02:14:36Z","timestamp":1767665676405},"publisher-location":"Berlin, Heidelberg","reference-count":67,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75524-1_3","type":"book-chapter","created":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T00:07:09Z","timestamp":1189555629000},"page":"38-61","source":"Crossref","is-referenced-by-count":21,"title":["Current Issues in Multi-Agent Systems Development"],"prefix":"10.1007","author":[{"given":"Rafael H.","family":"Bordini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Winikoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11961536_5","volume-title":"Declarative Agent Languages and Technologies IV","author":"N. Alechina","year":"2006","unstructured":"Alechina, N., Bordini, R.H., H\u00fcbner, J.F., Jago, M., Logan, B.: Automating belief revision for agentspeak. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol.\u00a04327, pp. 1\u201316. Springer, Heidelberg (2006)"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.engappai.2004.11.019","volume":"18","author":"J.L. Arcos","year":"2005","unstructured":"Arcos, J.L., Esteva, M., Noriega, P., Rodr\u00edguez, J.A., Sierra, C.: Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence\u00a018(2), 191\u2013204 (2005)","journal-title":"Journal on Engineering Applications of Artificial Intelligence"},{"volume-title":"ISSTA 2004","year":"2004","key":"3_CR3","unstructured":"Avrunin, G.S., Rothermel, G. (eds.): ISSTA 2004. Proceedings of the ACM\/SIGSOFT International Symposium on Software Testing and Analysis, Boston, Massachusetts, USA, July 11-14, 2004. ACM, New York (2004)"},{"key":"3_CR4","volume-title":"Extreme Programming Explained: Embrace Change","author":"K. Beck","year":"2000","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley, London, UK (2000)"},{"key":"3_CR5","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"F. Bellifemine","year":"2005","unstructured":"Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: Jade - a java agent development framework. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, vol.\u00a05, Springer, Heidelberg (2005)"},{"volume-title":"Methodologies and Software Engineering for Agent Systems","year":"2004","key":"3_CR6","unstructured":"Bergenti, F., Gleizes, M.-P., Zambonelli, F. (eds.): Methodologies and Software Engineering for Agent Systems. Kluwer Academic Publishers, New York (2004)"},{"issue":"1","key":"3_CR7","first-page":"33","volume":"30","author":"R. Bordini","year":"2006","unstructured":"Bordini, R., Braubach, L., Dastani, M., Seghrouchni, A., Gomez-Sanz, J., Leite, J., O\u2019Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica\u00a030(1), 33\u201344 (2006)","journal-title":"Informatica"},{"volume-title":"Multi-agent Programming: Languages, Platforms, and Applications","year":"2005","key":"3_CR8","unstructured":"Bordini, R., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-agent Programming: Languages, Platforms, and Applications. Springer, Heidelberg (2005)"},{"key":"3_CR9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"896","volume-title":"Adaptive Agents and Multi-Agent Systems II","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: State-space reduction techniques in agent verification. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) Adaptive Agents and Multi-Agent Systems II. LNCS (LNAI), vol.\u00a03394, pp. 896\u2013903. Springer, Heidelberg (2005)"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Journal of Autonomous Agents and Multi-Agent Systems\u00a012(2), 239\u2013256 (2006)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR11","unstructured":"Bordini, R.H., H\u00fcbner, J.F., et\u00a0al.: Jason: A Java-based interpreter for an extended version of AgentSpeak, manual, release 0.9 edn. (July 2006), http:\/\/jason.sourceforge.net\/"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/0-387-26350-0_1","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, ch. 1","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, ch. 1, pp. 3\u201337. Springer, Heidelberg (2005)"},{"key":"3_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-540-30082-3_22","volume-title":"Multiagent System Technologies","author":"J.A. Bot\u00eda","year":"2004","unstructured":"Bot\u00eda, J.A., Hernansaez, J.M., Skarmeta, F.G.: Towards an approach for debugging MAS through the analysis of ACL messages. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol.\u00a03187, pp. 301\u2013312. Springer, Heidelberg (2004)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems\u00a08, 203\u2013236 (2004)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11752660_2","volume-title":"Agent-Oriented Software Engineering VI","author":"C. Cheong","year":"2006","unstructured":"Cheong, C., Winikoff, M.: Hermes: Designing goal-oriented agent interactions. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, Springer, Heidelberg (2006)"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1010091302035","volume":"4","author":"A. Cheyer","year":"2001","unstructured":"Cheyer, A., Martin, D.: The open agent architecture. Journal of Autonomous Agents and Multi-Agent Systems\u00a04(1), 143\u2013148 (2001)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR17","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"issue":"4","key":"3_CR18","doi-asserted-by":"crossref","first-page":"487","DOI":"10.2307\/2216075","volume":"25","author":"P.R. Cohen","year":"1991","unstructured":"Cohen, P.R., Levesque, H.J.: Teamwork. Nous\u00a025(4), 487\u2013512 (1991)","journal-title":"Nous"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1017\/S0269888905000482","volume":"20","author":"M. Dastani","year":"2006","unstructured":"Dastani, M., Gomez-Sanz, J.: Programming multi-agent systems. The Knowledge Engineering Review\u00a020(2), 151\u2013164 (2006)","journal-title":"The Knowledge Engineering Review"},{"key":"3_CR20","volume-title":"AAMAS 2007","author":"M. Dastani","year":"2007","unstructured":"Dastani, M., Hobo, D., Meyer, J.-J.C.: Practical extensions in agent programming languages. In: AAMAS 2007. Proceedings of the sixth International Joint Conference on Autonomous Agents and Multi-agent Systems, ACM Press, New York (2007)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M., Meyer, J.-J.: Goal types in agent programming. In: ECAI 2006. Proceedings of the 17th European Conference on Artificial Intelligence (2006)","DOI":"10.1145\/1160633.1160867"},{"key":"3_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-540-25936-7_6","volume-title":"Programming Multi-Agent Systems","author":"M. Dastani","year":"2004","unstructured":"Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.-J.C.: A programming language for cognitive agents: goal directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 111\u2013130. Springer, Heidelberg (2004)"},{"key":"3_CR23","volume-title":"AAMAS 2007","author":"M. Dastani","year":"2007","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: On the relation between agent specification and agent programming languages. In: AAMAS 2007. Proceedings of the sixth International Joint Conference on Autonomous Agents and Multi-agent Systems, ACM Press, New York (2007)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"DeLoach, S.A.: Analysis and design using MaSE and agentTool. In: MAICS 2001. Proceedings of the 12th Midwest Artificial Intelligence and Cognitive Science Conference (2001)","DOI":"10.21236\/ADA448191"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. Technical Note\u00a072, Australian Artificial Intelligence Institute (1997)","DOI":"10.1007\/BFb0026757"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a roadmap of current technologies and future trends. Computational Intelligence Journal 2007 (to appear)","DOI":"10.1111\/j.1467-8640.2007.00295.x"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/372202.372288","volume-title":"SAC 2001","author":"D. Flater","year":"2001","unstructured":"Flater, D.: Debugging agent interactions: a case study. In: SAC 2001. Proceedings of the 16th ACM Symposium on Applied Computing, pp. 107\u2013114. ACM Press, New York (2001)"},{"key":"3_CR28","first-page":"1242","volume-title":"AAMAS","author":"R.A. Flores","year":"2004","unstructured":"Flores, R.A., Kremer, R.C.: A pragmatic approach to build conversation protocols using social commitments. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) AAMAS. Autonomous Agents and Multi-Agent Systems, pp. 1242\u20131243. ACM Press, New York (2004)"},{"key":"3_CR29","first-page":"1383","volume":"74","author":"M.P. Georgeff","year":"1986","unstructured":"Georgeff, M.P., Lansky, A.L.: Procedural knowledge. Proceedings of the IEEE Special Issue on Knowledge Representation\u00a074, 1383\u20131398 (1986)","journal-title":"Proceedings of the IEEE Special Issue on Knowledge Representation"},{"key":"3_CR30","volume-title":"AAMAS 2005","author":"D. Grossi","year":"2005","unstructured":"Grossi, D., Dignum, F., Dastani, M., Royakkers, L.: Foundations of organizational structures in multi-agent systems. In: AAMAS 2005. Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems, ACM Press, New York (2005)"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Grossi, D., Dignum, F., Dignum, V., Dastani, M., Royakkers, L.: Structural aspects of the evaluation of agent organizations. In: Pre-proceedings of COIN@ECAI 2006 (2006)","DOI":"10.1145\/1160633.1160833"},{"volume-title":"Agent-Oriented Methodologies","year":"2005","key":"3_CR32","unstructured":"Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Publishing, USA (2005)"},{"issue":"4","key":"3_CR33","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., Boer, F.S.D., der Hoek, W.V., Meyer, J.-J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR34","unstructured":"Hodgson, A., R\u00f6nnquist, R., Busetta, P.: Specification of coordinated agent behaviour (the simple team approach). Technical Report\u00a05, Agent Oriented Software, Pty. Ltd. (1999), Available from http:\/\/www.agent-software.com"},{"key":"3_CR35","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11961536_9","volume-title":"Declarative Agent Languages and Technologies IV","author":"J.F. H\u00fcbner","year":"2006","unstructured":"H\u00fcbner, J.F., Bordini, R.H., Wooldridge, M.: Programming declarative goals using plan patterns. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol.\u00a04327, pp. 65\u201381. Springer, Heidelberg (2006)"},{"key":"3_CR36","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1007\/978-3-540-28645-5_51","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2004","author":"J.F. H\u00fcbner","year":"2004","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Boissier, O.: Using the $\\mathcal{M}$ oise+ for a cooperative framework of MAS reorganisation. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol.\u00a03171, pp. 506\u2013515. Springer, Heidelberg (2004)"},{"issue":"6","key":"3_CR37","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/64.180407","volume":"7","author":"F.F. Ingrand","year":"1992","unstructured":"Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert\u00a07(6) (1992)","journal-title":"IEEE Expert"},{"key":"3_CR38","unstructured":"Kollman, R., Selonen, P., Stroulia, E., Systa, T., Zundorf, A.: A study on the current state of the art in tool-supported UML-based static reverse engineering. In: WCRE 2002. Ninth Working Conference on Reverse Engineering (2002)"},{"key":"3_CR39","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/544862.544869","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems","author":"S. Kumar","year":"2002","unstructured":"Kumar, S., Huber, M.J., Cohen, P.R.: Representing and executing protocols as joint actions. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, Bologna, Italy, July 15-19, 2002, pp. 543\u2013550. ACM Press, New York (2002)"},{"key":"3_CR40","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-32260-3_6","volume-title":"Programming Multi-Agent Systems","author":"D.N. Lam","year":"2005","unstructured":"Lam, D.N., Barber, K.S.: Debugging agent behavior in an implemented agent system. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol.\u00a03346, pp. 104\u2013125. Springer, Heidelberg (2005)"},{"key":"3_CR41","first-page":"714","volume-title":"AAMAS 2004","author":"D. Morley","year":"2004","unstructured":"Morley, D., Myers, K.L.: The spark agent framework. In: Jennings, N., Sierra, C., Sonenberg, L., Tambe, M. (eds.) AAMAS 2004. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 714\u2013721. IEEE Computer Society, Los Alamitos (2004)"},{"key":"3_CR42","unstructured":"Okuyama, F.Y., Bordini, R.H., da Rocha Costa, A.C.: Spatially distributed normative objects. In: Boella, G., Boissier, O., Matson, E., V\u00e1zquez-Salceda, J. (eds.) Proceedings of the Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN), held with ECAI 2006, Riva del Garda, Italy (August 28, 2006)"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/11738817_5","volume-title":"Software Engineering for Multi-Agent Systems IV","author":"A. Omicini","year":"2006","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Coordination artifacts as first-class abstractions for MAS engineering: State of the research. In: Garcia, A., Choren, R., Lucena, C., Giorgini, P., Holvoet, T., Romanovsky, A. (eds.) Software Engineering for Multi-Agent Systems IV. LNCS, vol.\u00a03914, pp. 71\u201390. Springer, Heidelberg (2006)"},{"key":"3_CR44","doi-asserted-by":"crossref","DOI":"10.1002\/0470861223","volume-title":"Developing Intelligent Agent Systems: A Practical Guide","author":"L. Padgham","year":"2004","unstructured":"Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, West Sussex, England (2004)"},{"issue":"2","key":"3_CR45","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.engappai.2004.11.018","volume":"18","author":"L. Padgham","year":"2005","unstructured":"Padgham, L., Winikoff, M., Poutakidis, D.: Adding debugging support to the Prometheus methodology. Engineering Applications of Artificial Intelligence\u00a018(2), 173\u2013190 (2005)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"3_CR46","unstructured":"Papasimeon, M., Heinze, C.: Extending the UML for designing JACK agents. In: ASWEC 2001. Proceedings of the Australian Software Engineering Conference (2001)"},{"key":"3_CR47","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/0-387-26350-0_6","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, vol.\u00a06, pp. 149\u2013174. Springer, Heidelberg (2005)"},{"key":"3_CR48","unstructured":"Poslad, S., Buckle, P., Hadingham, R.: The fipa-os agent platform: Open source for open standards. In: Proceedings of the 5th International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents, pp. 355\u2013368 (2000)"},{"key":"3_CR49","doi-asserted-by":"crossref","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: AAMAS 2002. Proceedings of the First International Joint Conference on Autonomous Agents and Multi Agent Systems (2002)","DOI":"10.1145\/544964.544966"},{"key":"3_CR50","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1007\/978-3-540-39592-8_90","volume-title":"Foundations of Intelligent Systems","author":"D. Poutakidis","year":"2003","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M.: An exploration of bugs and debugging in multi-agent systems. In: Zhong, N., Ra\u015b, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol.\u00a02871, pp. 628\u2013632. Springer, Heidelberg (2003)"},{"key":"3_CR51","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.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"3_CR52","unstructured":"Reeves, J.: What is software design? C++ Journal (1992)"},{"key":"3_CR53","unstructured":"Tambe, M.: Agent architectures for flexible, practical teamwork. In: National Conference on Artificial Intelligence (AAAI-97) (1997)"},{"key":"3_CR54","first-page":"249","volume-title":"RE 2001","author":"A. Lamsweerde van","year":"2001","unstructured":"van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: RE 2001. Proceedings of the 5th IEEE International Symposium on Requirements Engineering, Toronto, pp. 249\u2013263. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"3_CR55","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/11595014_54","volume-title":"Progress in Artificial Intelligence","author":"M.B. Riemsdijk van","year":"2005","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Subgoal semantics in agent programming. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 548\u2013559. Springer, Heidelberg (2005)"},{"key":"3_CR56","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69619-3_6","volume-title":"Computational Logic in Multi-Agent Systems","author":"M.B. Riemsdijk van","year":"2007","unstructured":"van Riemsdijk, M.B., de Boer, F., Dastani, M., Meyer, J.-J.C.: Prototyping 3APL in the maude term rewriting language. In: Inoue, K., Satoh, K., Toni, F. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol.\u00a04371, Springer, Heidelberg (2007)"},{"key":"3_CR57","first-page":"3","volume-title":"ASE 2000","author":"W. Visser","year":"2000","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: ASE 2000. Proceedings of the Fifteenth International Conference on Automated Software Engineering, Grenoble, France, 11-15 September, pp. 3\u201312. IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"4","key":"3_CR58","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1013886.1007526","volume":"29","author":"Willem Visser","year":"2004","unstructured":"Visser, W., Pasareanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: Avrunin and Rothermel [3], pp. 97\u2013107.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"3_CR59","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/11678809","volume-title":"Environments for Multi-Agent Systems II","author":"D. Weyns","year":"2006","unstructured":"Weyns, D., Parunak, H.V.D., Michel, F.: Environments for Multi-Agent Systems II. In: E4MAS 2005. LNCS (LNAI), vol.\u00a03830, Springer, Heidelberg (2006)"},{"key":"3_CR60","doi-asserted-by":"crossref","unstructured":"Winikoff, M.: Implementing commitment-based interactions. In: Autonomous Agents and Multi-Agent Systems (AAMAS) (2007)","DOI":"10.1145\/1329125.1329283"},{"key":"3_CR61","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/3-540-45656-2_48","volume-title":"AI 2001: Advances in Artificial Intelligence","author":"M. Winikoff","year":"2001","unstructured":"Winikoff, M., Padgham, L., Harland, J.: Simplifying the development of intelligent agents. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) AI 2001: Advances in Artificial Intelligence. LNCS (LNAI), vol.\u00a02256, pp. 555\u2013568. Springer, Heidelberg (2001)"},{"key":"3_CR62","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: KR 2002. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France (2002)"},{"key":"3_CR63","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11691792_1","volume-title":"Declarative Agent Languages and Technologies III","author":"L. Winkelhagen","year":"2006","unstructured":"Winkelhagen, L., Dastani, M., Broersen, J.: Beliefs in agent implementation. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, Springer, Heidelberg (2006)"},{"issue":"3","key":"3_CR64","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"Michael Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems\u00a03(3) (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR65","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: AAMAS. Proceedings of the 1st Joint Conference on Autonomous Agents and MultiAgent Systems, pp. 527\u2013534 (2002)","DOI":"10.1145\/544865.544867"},{"issue":"1-3","key":"3_CR66","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","volume":"42","author":"P\u0131nar Yolum","year":"2004","unstructured":"Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence (AMAI), Special Issue on Computational Logic in Multi-Agent Systems (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"3","key":"3_CR67","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: the Gaia methodology. ACM Transactions on Software Engineering and Methodology\u00a012(3), 317\u2013370 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75524-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:23:08Z","timestamp":1619504588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75524-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755227"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75524-1_3","relation":{},"subject":[]}}