{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:12Z","timestamp":1725670152636},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642291128"},{"type":"electronic","value":"9783642291135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29113-5_9","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T13:11:51Z","timestamp":1332421911000},"page":"95-101","source":"Crossref","is-referenced-by-count":0,"title":["1000 Years of Coo-BDI"],"prefix":"10.1007","author":[{"given":"Viviana","family":"Mascardi","sequence":"first","affiliation":[]},{"given":"Davide","family":"Ancona","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Alves, A., et al.: Web Services Business Process Execution Language version 2.0, public review draft, August 23 (2006), \n                    \n                      http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-specification-draft.html\n                    \n                    \n                   (accessed on August 30, 2011)"},{"issue":"5","key":"9_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. Journal of the ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"9_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-25932-9_7","volume-title":"Declarative Agent Languages and Technologies","author":"D. Ancona","year":"2004","unstructured":"Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI Model with Cooperativity. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 109\u2013134. Springer, Heidelberg (2004)"},{"key":"9_CR4","unstructured":"Ancona, D., Mascardi, V., H\u00fcbner, J.F., Bordini, R.H.: Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, pp. 696\u2013705. IEEE Computer Society (2004)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11853107_5","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"M. Baldoni","year":"2006","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Interaction Protocols and Capabilities: A Preliminary Report. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol.\u00a04187, pp. 63\u201377. Springer, Heidelberg (2006)"},{"key":"9_CR6","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: The need of capability requirements inside choreographies and interaction protocols. In: Yan, Y., Zhang, L. (eds.) Proceedings of the International Workshop on Service Oriented Techniques, SOT 2006, pp. 17\u201324 (2006)"},{"key":"9_CR7","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Preserving players goals: a choreography-driven matchmaking approach. In: Baldoni, M., Boccalatte, A., De Paoli, F., Martelli, M., Mascardi, V. (eds.) Proceedings of the 8th AI*IA\/TABOO Joint Workshop \u201cFrom Objects to Agents\u201d, WOA 2007, pp. 132\u2013139. Seneca Edizioni Torino (2007)"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1504\/IJBPIM.2007.017751","volume":"2","author":"M. Baldoni","year":"2007","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management\u00a02(4), 247\u2013261 (2007)","journal-title":"International Journal of Business Process Integration and Management"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/B:AMAI.0000034527.45635.e5","volume":"42","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Moreira, \u00c1.F.: Proving BDI properties of agent-oriented programming languages. Annals of Mathematics and Artificial Intelligence\u00a042, 197\u2013226 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Wooldridge, M., H\u00fcbner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"#cr-split#-9_CR11.1","unstructured":"Bozzo, L., Mascardi, V., Ancona, D., Busetta, P.: COOWS: Adaptive BDI agents meet service-oriented computing. In: Gleizes, M.P., Kaminka, G.A., Now\u00e9, A., Ossowski, S., Tuyls, K., Verbeeck, K. (eds.) Proceedings of the 3rd European Workshop on Multi-Agent Systems, EUMAS 2005, p. 473. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten (2005)"},{"key":"#cr-split#-9_CR11.2","unstructured":"longer version of this paper also appeared in the Proceedings of the WWW\/Internet 2005 Conference, edited by P. Isa\u00ecas and M. B. Nunes, vol. II, pp. 205-209 (2005)"},{"key":"9_CR12","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1, W3C note, March 15 (2001), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl\n                    \n                    \n                   (accessed on August 30, 2011)"},{"key":"9_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1007\/978-3-540-74829-8_114","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"A. Consoli","year":"2007","unstructured":"Consoli, A., Tweedale, J., Jain, L.C.: An Architecture for Agent Coordination and Cooperation. In: Apolloni, B., Howlett, R.J., Jain, L.C. (eds.) KES 2007, Part III. LNCS (LNAI), vol.\u00a04694, pp. 934\u2013940. Springer, Heidelberg (2007)"},{"key":"9_CR14","unstructured":"Costantini, S., Dell\u2019Acqua, P., Pereira, L.M.: A multi-layer framework for evolving and learning agents. In: Proceedings of the AAAI 2008 Workshop on Metareasoning: Thinking about Thinking. Stanford University, AAAI Press (2008)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/978-3-642-22546-8_20","volume-title":"RuleML 2011","author":"S. Costantini","year":"2011","unstructured":"Costantini, S., Dell\u2019Acqua, P., Pereira, L.M.: Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. In: Pasche, A. (ed.) RuleML 2011 - Europe. LNCS, vol.\u00a06826, pp. 250\u2013265. Springer, Heidelberg (2011)"},{"key":"9_CR16","unstructured":"Costantini, S., Dell\u2019Acqua, P., Pereira, L.M., Toni, F.: Learning and evolving agents in user monitoring and training. In: Proceedings of the 48th National Conference of the Italian Association for Computer Science and Automatic Computation, AICA Conference 2010 (2010)"},{"key":"9_CR17","unstructured":"Costantini, S., Dell\u2019Acqua, P., Pereira, L.M., Tsintza, P.: Runtime verification of agent properties. In: Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 (2009)"},{"key":"9_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"key":"9_CR19","unstructured":"Costantini, S., Tocchio, A.: Learning by knowledge exchange in logical agents. In: Corradini, F., De Paoli, F., Merelli, E., Omicini, A. (eds.) Proceedings of the 6th AI*IA\/TABOO Joint Workshop \u201cFrom Objects to Agents\u201d, WOA 2005, pp. 1\u20138. Pitagora Editrice Bologna (2005)"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"Emerson, E.A., Halpern, J.Y.: \u201cSometimes\u201d and \u201cnot never\u201d revisited: on branching versus linear time temporal logic. Journal of the ACM\u00a033(1), 151\u2013178 (1986)","journal-title":"Journal of the ACM"},{"key":"9_CR21","volume-title":"Ontology Matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume-title":"CONCUR\u201993","author":"K. Honda","year":"1993","unstructured":"Honda, K.: Types for Dynamic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 509\u2013523. Springer, Heidelberg (1993)"},{"key":"9_CR23","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-93920-7_7","volume-title":"Declarative Agent Languages and Technologies VI","author":"T. Klapiscak","year":"2009","unstructured":"Klapiscak, T., Bordini, R.H.: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol.\u00a05397, pp. 91\u2013110. Springer, Heidelberg (2009)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Mascardi, V., Ancona, D., Bordini, R.H., Ricci, A.: CooL-AgentSpeak: Enhancing AgentSpeak-DL agents with plan exchange and ontology services. In: Boissier, O., Bradshaw, J., Cao, L., Fischer, K., Hacid, M.-S. (eds.) Proceedings of the IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, IAT 2011, pp. 109\u2013116. IEEE Computer Society (2011)","DOI":"10.1109\/WI-IAT.2011.255"},{"key":"9_CR25","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-77564-5_5","volume-title":"Declarative Agent Languages and Technologies V","author":"F. Meneguzzi","year":"2008","unstructured":"Meneguzzi, F., Luck, M.: Composing High-Level Plans for Declarative Agent Programming. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol.\u00a04897, pp. 69\u201385. Springer, Heidelberg (2008)"},{"key":"9_CR26","unstructured":"Montagna, R., Delzanno, G., Martelli, M., Mascardi, V.: BDI\n                    ATL\n                  : An alternating-time BDI logic for multiagent systems. In: Gleizes, M.P., Kaminka, G.A., Now\u00e9, A., Ossowski, S., Tuyls, K., Verbeeck, K. (eds.) Proceedings of the 3rd European Workshop on Multi-Agent Systems, EUMAS 2005, pp. 214\u2013223. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten (2005)"},{"key":"9_CR27","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-25932-9_8","volume-title":"Declarative Agent Languages and Technologies","author":"\u00c1.F. Moreira","year":"2004","unstructured":"Moreira, \u00c1.F., Vieira, R., Bordini, R.H.: Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 135\u2013154. Springer, Heidelberg (2004)"},{"key":"9_CR28","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/11691792_10","volume-title":"Declarative Agent Languages and Technologies III","author":"\u00c1.F. Moreira","year":"2006","unstructured":"Moreira, \u00c1.F., Vieira, R., Bordini, R.H., H\u00fcbner, J.F.: Agent-Oriented Programming with Underlying Ontological Reasoning. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 155\u2013170. Springer, Heidelberg (2006)"},{"key":"9_CR29","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.W., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"9_CR30","unstructured":"Rao, A.S., Georgeff, M.P.: Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI 1991, pp. 498\u2013505. Morgan Kaufmann (1991)"},{"key":"9_CR31","unstructured":"Rao, A.S., Georgeff, M.P.: Deliberation and intentions. In: D\u2019Ambrosio, B., Smets, P. (eds.) Proceedings of the 7th Conference on Uncertainty in Artificial Intelligence, UAI 1991. Morgan Kaufmann (1991)"},{"key":"9_CR32","unstructured":"Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference of Principles of Knowledge Representation and Reasoning, KR 1991. Morgan Kaufmann Publishers (1991)"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Varela, C., Abalde, C., Castro, L.M., Gul\u00edas, J.: On modelling agent systems with Erlang. In: Cesarini, F., Wadler, P. (eds.) 3rd ACM SIGPLAN Workshop on Erlang, Proceedings, pp. 65\u201370. ACM (2004)","DOI":"10.1145\/1022471.1022481"},{"key":"9_CR34","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11678823_8","volume-title":"Programming Multi-Agent Systems","author":"M. Winikoff","year":"2006","unstructured":"Winikoff, M.: An AgentSpeak Meta-interpreter and Its Applications. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol.\u00a03862, pp. 123\u2013138. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29113-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:24:31Z","timestamp":1620113071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29113-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642291128","9783642291135"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29113-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}