{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:06Z","timestamp":1725511986622},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696186"},{"type":"electronic","value":"9783540696193"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69619-3_9","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T19:32:47Z","timestamp":1179171167000},"page":"151-170","source":"Crossref","is-referenced-by-count":8,"title":["A New Logical Semantics for Agent Communication"],"prefix":"10.1007","author":[{"given":"Jamal","family":"Bentahar","sequence":"first","affiliation":[]},{"given":"Bernard","family":"Moulin","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Amgoud, L., Maudet, N., Parsons, S.: An argumentation-based semantics for agent communication languages. In: 15th European Conf. on AI, pp. 38\u201342 (2002)"},{"key":"9_CR2","series-title":"Lecture Notes in Artificial Intelligence","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.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol.\u00a03900, pp. 265\u2013283. Springer, Heidelberg (2006)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/BF01028971","volume":"51","author":"N. Belnap","year":"1992","unstructured":"Belnap, N., Perloff, M.: The way of the agent. Studia Logica\u00a051, 463\u2013484 (1992)","journal-title":"Studia Logica"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"777","DOI":"10.2307\/2108182","volume":"51","author":"N. Belnap","year":"1991","unstructured":"Belnap, N.: Backwards and towards in the modal logic of Agency. Philosophy and Phenomenological Research\u00a051, 777\u2013807 (1991)","journal-title":"Philosophy and Phenomenological Research"},{"key":"9_CR5","unstructured":"Bentahar, J.: A pragmatic and semantic unified framework for agent communication. Ph.D. Thesis, Laval University, Canada (May 2005)"},{"key":"9_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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":"9_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/11533092_11","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Bentahar","year":"2005","unstructured":"Bentahar, J., Moulin, B., Meyer, J-J.C., Chaib-draa, B.: A computational model for conversation policies for agent communication. In: Leite, J.A., Torroni, P. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol.\u00a03487, pp. 178\u2013195. Springer, Heidelberg (2005)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Bentahar, J., Moulin, B., Meyer, J-J.C., Chaib-draa, B.: A logical model for commitment and argument network for agent communication. In: Proc. of the Int. Joint Conf. on AAMAS, pp. 792\u2013799 (2004)","DOI":"10.1007\/978-3-540-24608-4_9"},{"key":"9_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-32261-0_4","volume-title":"Argumentation in Multi-Agent Systems","author":"J. Bentahar","year":"2005","unstructured":"Bentahar, J., Moulin, B., Meyer, J-J.C., Chaib-draa, B.: A modal semantics for an argumentation-based pragmatics for agent communication. In: Rahwan, I., Mora\u00eftis, P., Reed, C. (eds.) ArgMAS 2004. LNCS (LNAI), vol.\u00a03366, pp. 44\u201363. Springer, Heidelberg (2005)"},{"key":"9_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 135\u2013154. Springer, Heidelberg (2004)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BF01028972","volume":"51","author":"B.F. Chellas","year":"1992","unstructured":"Chellas, B.F.: Time and modality in the logic of agency. Studia Logica\u00a051, 485\u2013518 (1992)","journal-title":"Studia Logica"},{"key":"9_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11691792_7","volume-title":"Declarative Agent Languages and Technologies III","author":"S. Costantini","year":"2006","unstructured":"Costantini, S., Tocchio, A.: About declarative semantics of logic-based agent languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 106\u2013123. Springer, Heidelberg (2006)"},{"key":"9_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":"9_CR14","doi-asserted-by":"crossref","unstructured":"Elvang-Goransson, M., Fox, J., Krause, P.: Dialectic reasoning with inconsistent information. In: 9th Conf. on Uncertainty in Artificial Intelligence, pp. 114\u2013121 (1993)","DOI":"10.1016\/B978-1-4832-1451-1.50018-4"},{"issue":"1","key":"9_CR15","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.: Sometimes and not never, revisited: on branching versus linear time temporal logic. Journal ACM\u00a033(1), 151\u2013178 (1986)","journal-title":"Journal ACM"},{"key":"9_CR16","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proc. of the Int. Joint Conf. on Artificial Intelligence, pp. 679\u2013684 (2003)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Guerin, F., Pitt, J.: Denotational semantics for agent communication languages. In: Proc. of 5th International Conf. on Autonomous Agents, pp. 497\u2013504 (2001)","DOI":"10.1145\/375735.376427"},{"key":"9_CR18","unstructured":"Harel, D.: Dynamic logic: axiomatics and expressive power. Ph.D. Thesis (1979)"},{"key":"9_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/3-540-46767-X_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A.C. Kakas","year":"1999","unstructured":"Kakas, A.C., Miller, R., Toni, F.: An argumentation framework for reasoning about actions and change. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 78\u201391. Springer, Heidelberg (1999)"},{"key":"9_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-540-24608-4_10","volume-title":"Advances in Agent Communication","author":"A. Mallya","year":"2004","unstructured":"Mallya, A., Yolum, P., Singh, M.P.: Resolving commitments among autonomous agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 166\u2013182. Springer, Heidelberg (2004)"},{"key":"9_CR21","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":"9_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-45448-9_30","volume-title":"Intelligent Agents VIII","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: Dialogues for negotiation: agent varieties and dialogue sequences. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 405\u2013421. Springer, Heidelberg (2002)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","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, vol.\u00a01916, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"9_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/11750734_26","volume-title":"Computational Logic in Multi-Agent Systems","author":"F. Toni","year":"2006","unstructured":"Toni, F.: Multi-agent systems in computational logic: challenges and outcomes of the SOCS project. In: Toni, F., Torroni, P. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol.\u00a03900, pp. 420\u2013426. Springer, Heidelberg (2006)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Torroni, P.: Computational logic in multi-agent systems: recent advances and future directions. in: Dix, J., Leite, J., Satoh, K. (eds.) Annals of Mathematics and Artificial Intelligence 42(1-3), 293\u2013305. Kluwer Academic Publishers, Dordrecht (2004)","DOI":"10.1023\/B:AMAI.0000034530.72860.31"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proc. of the Int. Joint Conf. on AAMAS, pp. 528\u2013535 (2003)","DOI":"10.1145\/860575.860660"},{"issue":"1","key":"9_CR27","first-page":"9","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Semantic issues in the verification of agent communication languages. Journal of AAMAS 3(1), 9\u201331. Springer, Heidelberg (2000)","journal-title":"Journal of AAMAS"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69619-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:01:53Z","timestamp":1605744113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69619-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540696186","9783540696193"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69619-3_9","relation":{},"subject":[]}}