{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:56:46Z","timestamp":1725523006985},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540939191"},{"type":"electronic","value":"9783540939207"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-93920-7_15","type":"book-chapter","created":{"date-parts":[[2008,12,24]],"date-time":"2008-12-24T09:33:38Z","timestamp":1230111218000},"page":"233-250","source":"Crossref","is-referenced-by-count":2,"title":["Strategic Agent Communication: An Argumentation-Driven Approach"],"prefix":"10.1007","author":[{"given":"Jamal","family":"Bentahar","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Mbarki","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"Bernard","family":"Moulin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-32261-0_13","volume-title":"Argumentation in Multi-Agent Systems","author":"L. Amgoud","year":"2005","unstructured":"Amgoud, L., Kaci, S.: On the Generation of Bipolar Goals in Argumentation-based Negotiation. In: Rahwan, I., Mora\u00eftis, P., Reed, C. (eds.) ArgMAS 2004. LNCS, vol.\u00a03366, pp. 192\u2013207. Springer, Heidelberg (2005)"},{"issue":"2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s11229-005-3488-2","volume":"152","author":"K. Atkinson","year":"2006","unstructured":"Atkinson, K., Bench-Capon, T., McBurney, P.: Computational Representation of Practical Argument. Synthese\u00a0152(2), 157\u2013206 (2006)","journal-title":"Synthese"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11750734_15","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Baldoni","year":"2006","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Verification of Protocol Conformance and Agent Interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol.\u00a03900, pp. 265\u2013283. Springer, Heidelberg (2006)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/11533092_12","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying Protocol Conformance for Logic-Based Communicating Agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol.\u00a03487, pp. 196\u2013212. Springer, Heidelberg (2005)"},{"key":"15_CR5","unstructured":"Bange, P.: Analyse Conversationnelle et th\u00e9orie de l\u2019Action, Paris, Hatier (1992)"},{"issue":"3","key":"15_CR6","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/logcom\/13.3.429","volume":"13","author":"T.J.M. Bench-Capon","year":"2003","unstructured":"Bench-Capon, T.J.M.: Persuasion in practical argument using value based argument. Journal of Logic and Computation\u00a013(3), 429\u2013448 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","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)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-75526-5_9","volume-title":"Argumentation in Multi-Agent Systems","author":"J. Bentahar","year":"2007","unstructured":"Bentahar, J., Mbarki, M., Moulin, B.: Specification and Complexity of Strategic-bsed Reasoning Using Argumentation. In: Maudet, N., Parsons, S., Rahwan, I. (eds.) ArgMAS 2006. LNCS (LNAI), vol.\u00a04766, pp. 142\u2013160. Springer, Heidelberg (2007)"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/11.2.257","volume":"11","author":"G. Brewka","year":"2001","unstructured":"Brewka, G.: Dynamic argument systems: A formal model of argumentation processes based on stuation calculus. Journal of Logic and Computation\u00a011(2), 257\u2013282 (2001)","journal-title":"Journal of Logic and Computation"},{"key":"15_CR10","unstructured":"Caelen, J.: Strat\u00e9gies de dialogue. Mod\u00e8les Formels d\u2019Int\u00e9raction (MFI 2003), Lille, CEPADUES Editions (May 2003)"},{"key":"15_CR11","unstructured":"Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: International Conference on Multi Agent Systems, pp. 41\u201348 (1995)"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/371578.371581","volume":"32","author":"C.I. Chesnevar","year":"2000","unstructured":"Chesnevar, C.I., Maguitman, A., Loui, R.: Logical models of argument. ACM Computing Surveys\u00a032, 337\u2013383 (2000)","journal-title":"ACM Computing Surveys"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence\u00a077, 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"15_CR14","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp. 679\u2013684 (2003)"},{"key":"15_CR15","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 (2006)","DOI":"10.1111\/j.1467-8640.2007.00295.x"},{"key":"15_CR16","volume-title":"Handbook of Theoretical Computer Science","author":"D.S. Johnson","year":"1990","unstructured":"Johnson, D.S.: A Catalog of Complexity Classes. In: Handbook of Theoretical Computer Science, ch.\u00a02, Elsevier Science Publishers, Amsterdam (1990)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11691792_11","volume-title":"Declarative Agent Languages and Technologies III","author":"H. Hayashi","year":"2006","unstructured":"Hayashi, H., Tokura, S., Hasegawa, T., Ozaki, F.: Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 171\u2013187. Springer, Heidelberg (2006)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-32261-0_5","volume-title":"Argumentation in Multi-Agent Systems","author":"A.C. Kakas","year":"2005","unstructured":"Kakas, A.C., Maudet, N., Mora\u00eftis, P.: Layered Strategies and Protocols for Argumentation-Based Agent Interaction. In: Rahwan, I., Mora\u00eftis, P., Reed, C. (eds.) ArgMAS 2004. LNCS, vol.\u00a03366, pp. 64\u201377. Springer, Heidelberg (2005)"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","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)"},{"issue":"3","key":"15_CR20","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1023\/A:1015023512975","volume":"17","author":"B. Moulin","year":"2002","unstructured":"Moulin, B., Irandoust, I., B\u00e9langer, M., Desbordes, G.: Explanation and argumentation capabilities: towards the creation of more persuasive agents. Artificial Intelligence Review\u00a017(3), 169\u2013222 (2002)","journal-title":"Artificial Intelligence Review"},{"key":"15_CR21","unstructured":"Nau, D.S., Cao, Y., Lotem, A., Munoz-Avila, H.: SHOP: Simple Hierarchical Ordered Planner. In: IJCAI 1999, pp. 968\u2013975 (1999)"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/11961536_12","volume-title":"Declarative Agent Languages and Technologies IV","author":"V. Nigam","year":"2006","unstructured":"Nigam, V., Leite, J.: A Dynamic Logic Programming Based System for Agents with Declarative Goals. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol.\u00a04327, pp. 174\u2013190. Springer, Heidelberg (2006)"},{"key":"15_CR23","volume-title":"Computational Complexity","author":"C.H. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)"},{"issue":"2","key":"15_CR24","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10339-007-0173-z","volume":"8","author":"G. Pezzulo","year":"2007","unstructured":"Pezzulo, G., Falcone, R., Hoffmann, J.: Anticipation and Anticipatory Behavior: Editorial. Cognitive Processing\u00a08(2), 67\u201370 (2007)","journal-title":"Cognitive Processing"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Handbook of Philosophical Logic, 2nd edn. (2000)","DOI":"10.1007\/978-94-017-0456-4_3"},{"key":"15_CR26","unstructured":"Sardina, S., De Giacomo, G., Lesperance, Y., Levesque, H.: On the Limits of Planning over Belief States under Strict Uncertainty. In: Proceedings of the KR 2006 Conference, June 2006, pp. 463\u2013471 (2006)"},{"key":"15_CR27","unstructured":"Shapiro, S., Brewka, G.: Dynamic interactions between goals and beliefs. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, pp. 2625\u20132630 (2007)"},{"key":"15_CR28","unstructured":"Shapiro, S., Lesperance, Y., Levesque, H.: Goal change. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2005), Denver, CO, pp. 582\u2013588 (2005)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Singh, M.P.: A social semantics for agent communication language. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 31\u201345 (2000)","DOI":"10.1007\/10722777_3"},{"key":"15_CR30","first-page":"269","volume-title":"Proc. ICMAS 1998","author":"I. Smith","year":"1998","unstructured":"Smith, I., Cohen, P., Bradshaw, J., Greaves, M., Holmback, H.: Desiging Conversation Policies using Joint Intention Theory. In: Proc. ICMAS 1998, pp. 269\u2013276. IEEE Press, Los Alamitos (1998)"},{"key":"15_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11750734_26","volume-title":"Computational Logic in Multi-Agent Systems","author":"F. Toni","year":"2006","unstructured":"Toni, F., Torroni, P.: Computational Logic in Multi-Agent Systems. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900. Springer, Heidelberg (2006)"},{"issue":"6","key":"15_CR32","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MIS.2007.100","volume":"22","author":"P. Torroni","year":"2007","unstructured":"Torroni, P., Gavanelli, M., Chesani, F.: Argumentation in the Semantic Web. IEEE Intelligent Systems\u00a022(6), 66\u201374 (2007)","journal-title":"IEEE Intelligent Systems"},{"key":"15_CR33","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/1082473.1082497","volume-title":"Proceedings of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005)","author":"W. Hoek van der","year":"2005","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pp. 157\u2013164. ACM Inc., New York (2005)"},{"key":"15_CR34","volume-title":"Strategies of Discourse Comprehension","author":"T.A. Dijk van","year":"1983","unstructured":"van Dijk, T.A., Kintsch, W.: Strategies of Discourse Comprehension. Academic Press, New York (1983)"},{"key":"15_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11493402_1","volume-title":"Declarative Agent Languages and Technologies II","author":"M.B. Riemsdijk van","year":"2005","unstructured":"van Riemsdijk, M.B., Dastani, M., Dignum, F.P.M., Meyer, J.-J.C.: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 1\u201318. Springer, Heidelberg (2005)"},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, B., Dastani, M., Meyer, J.-J.: Semantics of declarative goals in agent programming. In: AAMAS 2005, pp. 133\u2013140 (2005)","DOI":"10.1145\/1082473.1082494"},{"key":"15_CR37","volume-title":"KR 2002","author":"M. Winikoff","year":"2002","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: KR 2002. Morgan Kaufmann, San Francisco (2002)"},{"issue":"1-3","key":"15_CR38","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","volume":"42","author":"P. 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\u00a042(1-3), 227\u2013253 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93920-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:20:12Z","timestamp":1558027212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93920-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540939191","9783540939207"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93920-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}