{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:46:55Z","timestamp":1771026415316,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221241","type":"print"},{"value":"9783540259329","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25932-9_7","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:16:46Z","timestamp":1280261806000},"page":"109-134","source":"Crossref","is-referenced-by-count":18,"title":["Coo-BDI: Extending the BDI Model with Cooperativity"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. The Knowledge Engineering Review\u00a010, 115\u2013152 (1995)","journal-title":"The Knowledge Engineering Review"},{"key":"7_CR2","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., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems\u00a01, 7\u201338 (1998)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR3","unstructured":"Rao, A.S., Georgeff, M.: BDI agents: from theory to practice. In: Lesser, V., Gasser, L. (eds.) Proc. of the 1st International ICMAS Conference, pp. 312\u2013319 (1995)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao, A.S., Georgeff, M.: Decision procedures for BDI logics. Journal of Logic and Computation\u00a08, 293\u2013342 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR5","unstructured":"Winikoff, M.: AgentTalk Home Page (2001), http:\/\/goanna.cs.rmit.edu.au\/~winikoff\/agenttalk"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44525-0_11","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"M. d\u2019Inverno","year":"2000","unstructured":"d\u2019Inverno, M., Hindriks, K.V., Luck, M.: A formal architecture for the 3APL agent programming language. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 168\u2013187. Springer, Heidelberg (2000)"},{"key":"7_CR7","series-title":"LNAI","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 (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"7_CR8","unstructured":"Busetta, P., Ronnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agents \u2013 components for intelligent agents in Java. AgentLink News Letter\u00a02 (1999)"},{"key":"7_CR9","unstructured":"Myers, K.L.: User guide for the procedural reasoning system. Technical report, Artificial Intelligence Center, Menlo Park, CA (1997)"},{"key":"7_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0026757","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol.\u00a01365, pp. 155\u2013176. Springer, Heidelberg (1998)"},{"key":"7_CR11","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. of the 3rd International CLIMA Workshop","author":"R.H. Bordini","year":"2002","unstructured":"Bordini, R.H., Moreira, \u00c1.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proc. of the 3rd International CLIMA Workshop. Electronic Notes in Theoretical Computer Science, vol.\u00a070(5), Elsevier, Amsterdam (2002)"},{"key":"7_CR12","unstructured":"Moreira, \u00c1.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Proc. of the LABS Workshop, held in conjunction with KR 2002, pp. 45\u201359 (2002)"},{"key":"7_CR13","series-title":"Lecture Notes in Artificial Intelligence","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":"7_CR14","first-page":"1294","volume-title":"Proc. of the 1st International AAMAS Joint Conference","author":"R.H. Bordini","year":"2002","unstructured":"Bordini, R.H., Bazzan, A.L.C., de O. Jannone, R., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling. In: Castelfranchi, C., Johnson, W.L. (eds.) Proc. of the 1st International AAMAS Joint Conference, pp. 1294\u20131302. ACM Press, New York (2002)"},{"key":"7_CR15","first-page":"137","volume-title":"Proc. of the LID International Workshop","author":"R. Kowalski","year":"1996","unstructured":"Kowalski, R., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) Proc. of the LID International Workshop, pp. 137\u2013149. Springer, Heidelberg (1996)"},{"key":"7_CR16","first-page":"63","volume":"6","author":"J.A. Robinson","year":"1971","unstructured":"Robinson, J.A.: Computational logic: The unification computation. Machine intelligence\u00a06, 63\u201372 (1971)","journal-title":"Machine intelligence"},{"key":"7_CR17","unstructured":"Padgham, L., Lambrix, P.: Agent capabilities: Extending BDI theory. In: Proc. of the 7th AAAI National Conference, pp. 68\u201373. AAAI Press\u2013The MIT Press (2000)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/375735.375766","volume-title":"Proc. of the 5th International Agents Conference","author":"J. Broersen","year":"2001","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: Proc. of the 5th International Agents Conference, pp. 9\u201316. ACM Press, New York (2001)"},{"key":"7_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-36078-6_8","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Dastani","year":"2002","unstructured":"Dastani, M., van der Torre, L.: An extension of BDI CTL with functional dependencies and components. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514, pp. 115\u2013129. Springer, Heidelberg (2002)"},{"key":"7_CR20","first-page":"202","volume-title":"Proc. of the 1st Asia-Pacific Conference on Intelligent Agent Technology","author":"P. Panzarasa","year":"1999","unstructured":"Panzarasa, P., Norman, T., Jennings, N.R.: Modeling sociality in the BDI framework. In: Liu, J., Zhong, N. (eds.) Proc. of the 1st Asia-Pacific Conference on Intelligent Agent Technology, pp. 202\u2013206. World Scientific Publishing, Singapore (1999)"},{"key":"7_CR21","first-page":"390","volume-title":"Proc. of the 14th Australian Joint Conference on AI","author":"V. Padmanabhan","year":"2001","unstructured":"Padmanabhan, V., Governatori, G., Sattar, A.: Actions made explicit in BDI. In: Stumptner, M., Corbett, D., Brooks, M.J. (eds.) Proc. of the 14th Australian Joint Conference on AI, pp. 390\u2013401. Springer, Heidelberg (2001)"},{"key":"7_CR22","first-page":"111","volume-title":"Proc. of the 4th International ICMAS Conference","author":"F. Dignum","year":"2000","unstructured":"Dignum, F., Morley, D., Sonenberg, E., Cavendon, L.: Towards socially sophisticated BDI agents. In: Proc. of the 4th International ICMAS Conference, pp. 111\u2013118. IEEE Computer Society, Los Alamitos (2000)"},{"key":"7_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-25932-9_9","volume-title":"Declarative Agent Languages and Technologies","author":"B.V. Tr\u00e2n","year":"2004","unstructured":"Tr\u00e2n, B.V., Harland, J., Hamilton, M.: A combined logic of expectation and observation (a generalization of BDI logics). In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 155\u2013172. Springer, Heidelberg (2004)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Busetta, P., Ramamohanarao, K.: An architecture for mobile BDI agents. In: Proc. of the 1998 ACM SAC Symposium (1998)","DOI":"10.1145\/330560.330854"},{"key":"7_CR25","unstructured":"Busetta, P., Bailey, J., Kotagiri, R.: A reliable computational model for BDI agents. In: Proc. of the Workshop on Safe Agents. Held in conjuction with AAMAS 2003 (2003)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Huber, M.J.: JAM: A BDI-theoretic mobile agent architecture. AgentLink News Letter 5 (2000)","DOI":"10.1145\/301136.301202"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3540608052_77","volume-title":"Intelligent Agents II - Agent Theories, Architectures, and Languages","author":"J. Mayfield","year":"1996","unstructured":"Mayfield, J., Labrou, Y., Finin, T.: Evaluation of KQML as an agent communication language. In: Tambe, M., M\u00fcller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol.\u00a01037, pp. 347\u2013360. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25932-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:33:00Z","timestamp":1559316780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25932-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221241","9783540259329"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25932-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}