{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:14:45Z","timestamp":1725549285386},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540245261"},{"type":"electronic","value":"9783540322610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32261-0_4","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T11:54:14Z","timestamp":1267444454000},"page":"44-63","source":"Crossref","is-referenced-by-count":3,"title":["A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication"],"prefix":"10.1007","author":[{"given":"Jamal","family":"Bentahar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Moulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brahim","family":"Chaib-draa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Amgoud, L., Maudet, N., Parsons, N.: An argumentation-based semantics for agent communication languages. In: 15th Euro. Conf. on AI, pp. 38\u201342 (2002)"},{"key":"4_CR2","volume-title":"Commitment and Argument Network: a formal framework for representing conversation dynamics Logic and Dialogue","author":"J. Bentahar","year":"2004","unstructured":"Bentahar, J., Moulin, B., Chaib-draa, B.: Commitment and Argument Network: a formal framework for representing conversation dynamics Logic and Dialogue. Kluwer, Dordrecht (2004) (to appear)"},{"key":"4_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-24608-4_9","volume-title":"Advances in Agent Communication","author":"J. Bentahar","year":"2004","unstructured":"Bentahar, J., Moulin, B., Chaib-draa, B.: Commitment and argument network: a new formalism for agent communication. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 146\u2013165. Springer, Heidelberg (2004)"},{"key":"4_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-540-32261-0_9","volume-title":"Argumentation in Multi-Agent Systems","author":"J. Bentahar","year":"2005","unstructured":"Bentahar, J., Moulin, B., Chaib-draa, B.: Specifying and Implementing a Persuasion Dialogue Game using Commitments and Arguments. In: Rahwan, I., Mora\u00eftis, P., Reed, C. (eds.) ArgMAS 2004. LNCS (LNAI), vol.\u00a03366, pp. 130\u2013148. Springer, Heidelberg (2005)"},{"key":"4_CR5","unstructured":"Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: The Int. Conf. ICMAS, pp. 41\u201348 (1995)"},{"issue":"8","key":"4_CR6","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1007\/BF00264284","volume":"27","author":"R. Cleaveland","year":"1990","unstructured":"Cleaveland, R.: Tableau-based model checking in the propositional mu-calculus. Acta Informatica\u00a027(8), 725\u2013747 (1990)","journal-title":"Acta Informatica"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1111\/1467-8640.00184","volume":"18","author":"B. Chaib-draa","year":"2002","unstructured":"Chaib-draa, B., Dignum, F.: Trends in agent communication language. Computational Intelligence\u00a018(2), 89\u2013101 (2002)","journal-title":"Computational Intelligence"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Cohen, P.R., Levesque, H.J.: Persistence, intentions and commitment. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication, Cambridge, pp. 33\u201370 (1990)","DOI":"10.7551\/mitpress\/3839.003.0005"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Dastani, M., Hulstijn, J., der Torre, L.V.: Negotiation protocols and dialogue games. In: The Belgium\/Dutch AI Conf. Kaatsheuvel, pp. 13-20 (2000)","DOI":"10.1145\/375735.376092"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Elvang-Goransson, M., Fox, J., Krause, P.: Dialectic reasoning with inconsistent information. In: The 9th Conf. on Uncertainty in AI, pp. 114\u2013121 (1993)","DOI":"10.1016\/B978-1-4832-1451-1.50018-4"},{"key":"4_CR11","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 995\u20131072. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"4_CR12","first-page":"291","volume-title":"Software Agent","author":"T. Finin","year":"1997","unstructured":"Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Bradshaw, J.M. (ed.) Software Agent, pp. 291\u2013316. MIT Press, Cambridge (1997)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: The First Int. Conf. on AAMAS, pp. 536\u2013542 (2002)","DOI":"10.1145\/544862.544868"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, vol.\u00a02, pp. 497\u2013604 (1984)","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Rahwan, I., Ramchurn, S.D., Jennings, N.R., McBurney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. Knowledge Engineering Review (2004) (to appear)","DOI":"10.1017\/S0269888904000098"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/jigpal\/11.2.133","volume":"11","author":"W. Hoek Van der","year":"2003","unstructured":"Van der Hoek, W., Wooldridge, M.: Towards a logic of rational agency. Logic Journal of the IGPL\u00a011(2), 133\u2013157 (2003)","journal-title":"Logic Journal of the IGPL"},{"key":"4_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-24608-4_10","volume-title":"Advances in Agent Communication","author":"A.U. Mallya","year":"2004","unstructured":"Mallya, A.U., Yolum, P., Singh, M.: Resolving Commitments Among Autonomous Agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 166\u2013182. Springer, Heidelberg (2004)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"McBurney, P., Parsons, S., Wooldridge, M.: Desiderata for agent argumentation protocols. In: The First Int. Conf. on AAMAS, pp. 402\u2013409 (2002)","DOI":"10.1145\/544741.544836"},{"issue":"1-2","key":"4_CR19","first-page":"1","volume":"113","author":"J.-J.C. Meyer","year":"1999","unstructured":"Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical Approach to the dynamics of commitments. AI Journal\u00a0113(1-2), 1\u201340 (1999)","journal-title":"AI Journal"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/logcom\/8.3.261","volume":"8","author":"S. Parsons","year":"1998","unstructured":"Parsons, S., Sierra, C., Jennings, N.: Agents that reason and negotiate by arguing. Journal of Logic and Computation\u00a08(3), 261\u2013292 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR21","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/10722777_11","volume-title":"Issues in Agent Communication","author":"J. Pitt","year":"2000","unstructured":"Pitt, J., Mamdani, A.: Communication protocols in multi-agent systems: a development method and reference architecture. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol.\u00a01916, pp. 160\u2013177. Springer, Heidelberg (2000)"},{"key":"4_CR22","unstructured":"Rao, A.S., Georgeff, M.P.: BDI agents: from theory to practice. In: The Int. Conf. ICMAS, pp. 312\u2013319 (1995)"},{"issue":"12","key":"4_CR23","doi-asserted-by":"crossref","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":"4_CR24","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/10722777_3","volume-title":"Issues in Agent Communication","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication language. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol.\u00a01916, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: The Second Int. Conf. on AAMAS, pp. 528\u2013535 (2003)","DOI":"10.1145\/860575.860660"}],"container-title":["Lecture Notes in Computer Science","Argumentation in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32261-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,24]],"date-time":"2024-03-24T10:26:07Z","timestamp":1711275967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32261-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540245261","9783540322610"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32261-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}