{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:11Z","timestamp":1725670151455},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_11","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T13:11:51Z","timestamp":1332421911000},"page":"111-116","source":"Crossref","is-referenced-by-count":0,"title":["Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages"],"prefix":"10.1007","author":[{"given":"\u00c1lvaro F.","family":"Moreira","sequence":"first","affiliation":[]},{"given":"Renata","family":"Vieira","sequence":"additional","affiliation":[]},{"given":"Rafael H.","family":"Bordini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Ancona, D., Mascardi, V., Hubner, J.F., Bordini, R.H.: Coo-agentspeak: Cooperation in AgentSpeak through plan exchange. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, vol.\u00a02, pp. 696\u2013705. IEEE Computer Society (2004)"},{"key":"11_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-69619-3_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Bentahar","year":"2007","unstructured":"Bentahar, J., Moulin, B., Meyer, J.-J.C., Lesp\u00e9rance, Y.: A New Logical Semantics for Agent Communication. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 151\u2013170. Springer, Heidelberg (2007)"},{"issue":"1-3","key":"11_CR3","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: The Asymmetry Thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence\u00a042(1-3), 197\u2013226 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"11_CR4","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming multi-agent systems in AgentSpeak using Jason","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. Wiley, Chichester (2007)"},{"key":"11_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-32260-3_3","volume-title":"Programming Multi-Agent Systems","author":"L. Braubach","year":"2005","unstructured":"Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal Representation for BDI Agent Systems. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol.\u00a03346, pp. 44\u201365. Springer, Heidelberg (2005)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Cleaver, T.W., Sattar, A., Ferdous, R.: User defined monitoring strategies for bdi agent programs. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1055\u20131057. ACM (2006)","DOI":"10.1145\/1160633.1160821"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042(3), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"11_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-16138-4_3","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2010","author":"C. Fuzitaki","year":"2010","unstructured":"Fuzitaki, C., Moreira, \u00c1., Vieira, R.: Ontology Reasoning in Agent-Oriented Programming. In: da Rocha Costa, A.C., Vicari, R.M., Tonidandel, F. (eds.) SBIA 2010. LNCS (LNAI), vol.\u00a06404, pp. 21\u201330. Springer, Heidelberg (2010)"},{"key":"11_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1007\/978-3-540-88636-5_80","volume-title":"MICAI 2008: Advances in Artificial Intelligence","author":"A. Guerra-Hern\u00e1ndez","year":"2008","unstructured":"Guerra-Hern\u00e1ndez, A., Castro-Manzano, J.M., El-Fallah-Seghrouchni, A.: Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning. In: Gelbukh, A., Morales, E.F. (eds.) MICAI 2008. LNCS (LNAI), vol.\u00a05317, pp. 848\u2013858. Springer, Heidelberg (2008)"},{"key":"11_CR10","series-title":"Lecture Notes in Artificial Intelligence","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":"11_CR11","doi-asserted-by":"crossref","unstructured":"Labrou, Y., Finin, T.: A semantics approach for KQML\u2014a general purpose communication language for software agents. In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM 1994), pp. 447\u2013455. ACM Press (1994)","DOI":"10.1145\/191246.191320"},{"key":"11_CR12","unstructured":"Meneguzzi, F., Luck, M.: A new logical semantics for agent communication. In: From Agent Theory to Agent Implementatio, 6th Internatinal Workshop. Helds in Conjunction with AAMAS 2008 (2008)"},{"key":"11_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":"11_CR14","unstructured":"Moreira, \u00c1.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS 2002), Held in Conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22-25, pp. 45\u201359 (2002)"},{"key":"11_CR15","series-title":"Lecture Notes in Artificial Intelligence","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":"11_CR16","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":"11_CR17","unstructured":"van Riemsdijk, M.B., Dastani, M., Winikoff, M.: Goals in agent systems: a unifying framework. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, vol.\u00a02, pp. 713\u2013720. IFAAMAS (2008)"},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/s10458-010-9130-9","volume":"23","author":"S. Sardi\u00f1a","year":"2011","unstructured":"Sardi\u00f1a, S., Padgham, L.: A BDI agent programming language with failure handling, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems\u00a023(1), 18\u201370 (2011)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"11_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts: An Essay in the Philosophy of Language","author":"J.R. Searle","year":"1969","unstructured":"Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)"},{"issue":"12","key":"11_CR20","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031(12), 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"11_CR21","unstructured":"Thielscher, M.: Integrating Action Calculi and AgentSpeak: Closing the gap. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, pp. 79\u201389. AAAI Press (2010)"},{"key":"11_CR22","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1613\/jair.2221","volume":"29","author":"R. Vieira","year":"2007","unstructured":"Vieira, R., Moreira, \u00c1.F., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence and Research (JAIR)\u00a029, 221\u2013267 (2007)","journal-title":"Journal of Artificial Intelligence and Research (JAIR)"}],"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_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:24:26Z","timestamp":1620113066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29113-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642291128","9783642291135"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29113-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}