{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T20:03:40Z","timestamp":1771617820556,"version":"3.50.1"},"publisher-location":"Boston, MA","reference-count":100,"publisher":"Springer US","isbn-type":[{"value":"9780387981963","type":"print"},{"value":"9780387981970","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-98197-0_13","type":"book-chapter","created":{"date-parts":[[2009,6,12]],"date-time":"2009-06-12T04:00:16Z","timestamp":1244779216000},"page":"261-280","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":68,"title":["Dialogue Games for Agent Argumentation"],"prefix":"10.1007","author":[{"given":"Peter","family":"McBurney","sequence":"first","affiliation":[]},{"given":"Simon","family":"Parsons","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,5,10]]},"reference":[{"key":"13_CR1","first-page":"1","volume-title":"Semantics and Logics of Computation","author":"S. Abramsky","year":"1997","unstructured":"S. Abramsky. Semantics of interaction: an introduction to game semantics. In A. M. Pitts and P. Dybjer, editors, Semantics and Logics of Computation, pages 1\u201331. Cambridge University Press, Cambridge, UK, 1997."},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1017\/S0960129500000931","volume":"6","author":"S.J. Ambler","year":"1996","unstructured":"S. J. Ambler. A categorical approach to the semantics of argumentation. Mathematical Structures in Computer Science, 6:167\u2013188, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/ICMAS.2000.858428","volume-title":"Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000)","author":"L. Amgoud","year":"2000","unstructured":"L. Amgoud, N. Maudet, and S. Parsons. Modelling dialogues using argumentation. In E. Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000), pages 31\u201338, Boston, MA, USA, 2000. IEEE Press."},{"key":"13_CR4","first-page":"338","volume-title":"Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000)","author":"L. Amgoud","year":"2000","unstructured":"L. Amgoud, S. Parsons, and N. Maudet. Arguments, dialogue, and negotiation. In W.Horn, editor, Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000), pages 338\u2013342, Berlin, Germany, 2000. IOS Press."},{"key":"13_CR5","unstructured":"Aristotle. Topics. Clarendon Press, Oxford, UK, 1928. (W. D. Ross, Editor)."},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10458-005-1166-x","volume":"11","author":"K. Atkinson","year":"2005","unstructured":"K. Atkinson, T. Bench-Capon, and P. McBurney. A dialogue game protocol for multi-agent argument for proposals over action. Autonomous Agents and Multi-Agent Systems, 11(2):153\u2013171, 2005.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"13_CR7","volume-title":"Proceedings of the Fifth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2008)","author":"K. Atkinson","year":"2008","unstructured":"K. Atkinson, R. Girle, P. McBurney, and S. Parsons. Command dialogues. In I. Rahwan and P. Moraitis, editors, Proceedings of the Fifth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2008), Lisbon, Portugal, 2008. AAMAS 2008."},{"key":"13_CR8","volume-title":"How To Do Things with Words","author":"J.L. Austin","year":"1962","unstructured":"J.L. Austin. How To Do Things with Words. Oxford University Press, Oxford, UK, 1962."},{"key":"13_CR9","unstructured":"T.J.M. Bench-Capon, P. E. Dunne, and P. H. Leng. Interacting with knowledge-based systems through dialogue games. In Proceedings of the Eleventh International Conference on Expert Systems and Applications, pages 123\u2013140, Avignon, 1991."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1023\/A:1008308627745","volume":"8","author":"T.J.M. Bench-Capon","year":"2000","unstructured":"T.J.M. Bench-Capon, T. Geldard, and P.H. Leng. A method for the computational modelling of dialectical argument with dialogue games. Artificial Intelligence and Law, 8:233\u2013254, 2000.","journal-title":"Artificial Intelligence and Law"},{"key":"13_CR11","volume-title":"Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007)","author":"E. Black","year":"2007","unstructured":"E. Black and A. Hunter. A generative inquiry dialogue system. In M. Huhns, O. Shehory, E.H. Durfee, and M. Yokoo, editors, Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007), Honolulu, Hawaii, USA, 2007. IFAAMAS, ACM Press."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"P. Bretier and D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In J.P.M. et al., editor, Intelligent Agents III, Lecture Notes in Artificial Intelligence 1193, pages 189\u2013204. Springer, Berlin, Germany, 1997.","DOI":"10.1007\/BFb0013586"},{"issue":"3","key":"13_CR13","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1093\/logcom\/13.3.377","volume":"13","author":"C. Cayrol","year":"2003","unstructured":"C. Cayrol, S. Doutre, and J. Mengin. On decision problems related to the preferred semantics for argumentation frameworks. Journal of Logic and Computation, 13(3):377\u2013403, 2003.","journal-title":"Journal of Logic and Computation"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"E. Cogan, S. Parsons, and P. McBurney. New types of inter-agent dialogs. In S.P. et al., editor, Argumentation in Multi-Agent Systems: Second International Workshop (ArgMAS 2005), Lecture Notes in Computer Science 4049, pages 154\u2013168. Springer, Berlin, Germany, 2006.","DOI":"10.1007\/11794578_10"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P.R.C. et al., editor, Intentions in Communication, pages 221\u2013255. MIT Press, Cambridge, MA, USA, 1990.","DOI":"10.7551\/mitpress\/3839.003.0014"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0364-0213(79)80006-3","volume":"3","author":"P.R. Cohen","year":"1979","unstructured":"P. R. Cohen and C. R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3:177\u2013212, 1979.","journal-title":"Cognitive Science"},{"key":"13_CR17","first-page":"415","volume-title":"Applications of Uncertainty Formalisms, Lecture Notes in Artificial Intelligence 1455","author":"S. Das","year":"1998","unstructured":"S. Das. How much does an agent believe: An extension of modal epistemic logic. In A. Hunter and S. Parsons, editors, Applications of Uncertainty Formalisms, Lecture Notes in Artificial Intelligence 1455, pages 415\u2013426. Springer, Berlin, Germany, 1998."},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.2307\/3318616","volume":"5","author":"A.P. Dawid","year":"1999","unstructured":"A.P. Dawid and V.G. Vovk. Prequential probability: principles and properties. Bernoulli, 5:125\u2013162, 1999.","journal-title":"Bernoulli"},{"issue":"3","key":"13_CR19","doi-asserted-by":"publisher","first-page":"1753","DOI":"10.1016\/S0304-3975(02)00078-6","volume":"290","author":"F.S. de Boer","year":"2003","unstructured":"F.S. deBoer, R. Eijk, W.v. Hoek, and J.-J.C. Meyer. A fully abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science, 290(3):1753\u20131773, 2003.","journal-title":"Theoretical Computer Science"},{"key":"13_CR20","first-page":"150","volume-title":"Intelligent Agents VII, Lecture Notes in Artificial Intelligence 1986","author":"F. Dignum","year":"2000","unstructured":"F. Dignum, B. Dunin-Ke\u00b8plicz, and R. Verbrugge. Agent theory for team formation by dialogue. In C. Castelfranchi and Y. Lesp\u00e9rance, editors, Intelligent Agents VII, Lecture Notes in Artificial Intelligence 1986, pages 150\u2013166, Berlin, Germany, 2000. Springer."},{"issue":"2","key":"13_CR21","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1093\/jigpal\/9.2.289","volume":"9","author":"F. Dignum","year":"2001","unstructured":"F. Dignum, B. Dunin-Ke\u00b8plicz, and R. Verbrugge. Creating collective intention through dialogue. Logic Journal of the IGPL, 9(2):305\u2013319, 2001.","journal-title":"Logic Journal of the IGPL"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"S. Doutre, P. McBurney, and M. Wooldridge. Law-governed Linda as a semantics for agent interaction protocols. In F.D. et al., editor, Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pages 1257\u20131258, New York City, NY, USA, 2005. ACM Press.","DOI":"10.1145\/1082473.1082721"},{"key":"13_CR23","volume-title":"Information-seeking agent dialogs with permissions and arguments","author":"S. Doutre","year":"2005","unstructured":"S. Doutre, P. McBurney, M. Wooldridge, and W. Barden. Information-seeking agent dialogs with permissions and arguments. Technical Report ULCS-05-010, Department of Computer Science, University of Liverpool, Liverpool, UK, 2005."},{"key":"13_CR24","first-page":"12","volume-title":"Proceedings of the Ninth International Conference on AI and Law (ICAIL-03)","author":"P.E. Dunne","year":"2003","unstructured":"P.E. Dunne. Prevarication in dispute protocols. In G. Sartor, editor, Proceedings of the Ninth International Conference on AI and Law (ICAIL-03), pages 12\u201321, New York, NY, USA, 2003. ACM Press."},{"key":"13_CR25","first-page":"329","volume-title":"Computational Models of Argument: Proceedings of COMMA 2006","author":"P.E. Dunne","year":"2006","unstructured":"P.E. Dunne. Suspicion of hidden agenda in persuasive argument. In P.E. Dunne and T.J.M. Bench-Capon, editors, Computational Models of Argument: Proceedings of COMMA 2006, pages 329\u2013340, Amsterdam, The Netherlands, 2006. IOS Press."},{"issue":"2","key":"13_CR26","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(03)00076-6","volume":"149","author":"P.E. Dunne","year":"2003","unstructured":"P.E. Dunne and T.J.M. Bench-Capon. Two party immediate response disputes: Properties and efficiency. Artificial Intelligence, 149(2):221\u2013250, 2003.","journal-title":"Artificial Intelligence"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"P.E. Dunne and P. McBurney. Optimal utterances in dialogue protocols. In J.S.R. et al., editor, Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003), pages 608\u2013615, New York City, NY, USA, 2003. ACM Press.","DOI":"10.1145\/860575.860673"},{"key":"13_CR28","volume-title":"A Dangerous Game","author":"F. D\u00fcrrenmatt","year":"1960","unstructured":"F. D\u00fcrrenmatt. A Dangerous Game. Jonathan Cape, London, UK, 1960. (Translation by R. and C. Winston of Die Panne, published in German in 1956.)."},{"key":"13_CR29","volume-title":"Programming Languages for Agent Communications","author":"R. Eijk","year":"2000","unstructured":"R. Eijk. Programming Languages for Agent Communications. PhD thesis, Department of Computer Science, Utrecht University, Utrecht, The Netherlands, 2000."},{"key":"13_CR30","first-page":"80","volume-title":"Issues in Agent Communications, Lecture Notes in Artificial Intelligence 1916","author":"R. Eijk","year":"2000","unstructured":"R. Eijk, F.S. deBoer, W.v. Hoek, and J.-J.C. Meyer. Operational semantics for agent communications. In F. Dignum and M. Greaves, editors, Issues in Agent Communications, Lecture Notes in Artificial Intelligence 1916, pages 80\u201395. Springer, Berlin, Germany, 2000."},{"issue":"5","key":"13_CR31","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1093\/logcom\/11.5.701","volume":"11","author":"R. Eijk","year":"2001","unstructured":"R. Eijk, F.S. deBoer, W.v. Hoek, and J.-J.C. Meyer. Modal logic with bounded quantification over worlds. Journal of Logic and Computation, 11(5):701\u2013715, 2001.","journal-title":"Journal of Logic and Computation"},{"key":"13_CR32","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"R.E. Fikes and N.J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"13_CR33","first-page":"291","volume-title":"Software Agents","author":"T. Finin","year":"1997","unstructured":"T. Finin, Y. Labrou, and J. Mayfield. KQML as an agent communication language. In J. Bradshaw, editor, Software Agents, pages 291\u2013316. MIT Press, Cambridge, USA, 1997."},{"key":"13_CR34","volume-title":"Proceedings of the Fifth International Workshop on Software Specification and Design","author":"A. Finkelstein","year":"1989","unstructured":"A. Finkelstein and H. Fuks. Multi-party specification. In Proceedings of the Fifth International Workshop on Software Specification and Design, Pittsburgh, PA, USA, 1989. ACM Sigsoft Engineering Notes."},{"key":"13_CR35","unstructured":"FIPA. Communicative Act Library Specification. Standard SC00037J, IEEE Foundation for Intelligent Physical Agents, 3 December 2002."},{"issue":"1","key":"13_CR36","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR37","unstructured":"R. Goldblatt. Topoi: The Categorial Analysis of Logic. North-Holland, Amsterdam, The Netherlands, 1979."},{"key":"13_CR38","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00871972","volume":"2","author":"T.F. Gordon","year":"1994","unstructured":"T.F. Gordon. The Pleadings Game: An exercise in computational dialectics. Artificial Intelligence and Law, 2:239\u2013292, 1994.","journal-title":"Artificial Intelligence and Law"},{"key":"13_CR39","first-page":"118","volume-title":"Issues in Agent Communication, Lecture Notes in Artificial Intelligence 1916","author":"M. Greaves","year":"2000","unstructured":"M. Greaves, H. Holmback, and J. Bradshaw. What is a conversation policy? In F. Dignum and M. Greaves, editors, Issues in Agent Communication, Lecture Notes in Artificial Intelligence 1916, pages 118\u2013131. Springer, Berlin, Germany, 2000."},{"key":"13_CR40","volume-title":"Language and the Theory of Information","author":"C.L. Hamblin","year":"1957","unstructured":"C.L. Hamblin. Language and the Theory of Information. Ph.D. thesis, Logic and Scientific Method Programme, University of London, London, UK, 1957."},{"key":"13_CR41","volume-title":"Fallacies","author":"C.L. Hamblin","year":"1970","unstructured":"C.L. Hamblin. Fallacies. Methuen, London, UK, 1970."},{"key":"13_CR42","doi-asserted-by":"publisher","first-page":"144","DOI":"10.2307\/1905748","volume":"24","author":"J.C. Harsanyi","year":"1956","unstructured":"J. C. Harsanyi. Approaches to the bargaining problem before and after the theory of games: a critical discussion of Zeuthen\u2019s, Hicks\u2019 and Nash\u2019s theories. Econometrica, 24:144\u2013157, 1956.","journal-title":"Econometrica"},{"key":"13_CR43","first-page":"3","volume-title":"Festschrift zur Feier der Enth\u00fcllung des Gauss-Weber-Denkmals in G\u00f6ttingen","author":"D. Hilbert","year":"1899","unstructured":"D. Hilbert. Grundlagen der Geometrie. In Festschrift zur Feier der Enth\u00fcllung des Gauss-Weber-Denkmals in G\u00f6ttingen, pages 3\u201392. Teubner, Leipzig, Germany, 1899."},{"key":"13_CR44","doi-asserted-by":"crossref","unstructured":"K.V. Hindriks, F.S. de Boer, W. Hoek, and J.-J.C. Meyer. Formal semantics for an abstract agent progamming language. In M.P.S. et al., editor, Intelligent Agents IV, Lecture Notes in Artificial Intelligence 1365, pages 215\u2013229. Springer, Berlin, Germany, 1998.","DOI":"10.1007\/BFb0026761"},{"key":"13_CR45","first-page":"46","volume-title":"Language-games for quantifiers. Americal Philosophical Quarterly Monograph Series 2: Studies in Logical Theory","author":"J. Hintikka","year":"1968","unstructured":"J. Hintikka. Language-games for quantifiers. Americal Philosophical Quarterly Monograph Series 2: Studies in Logical Theory, pages 46\u201372, 1968. Blackwell, Oxford, UK."},{"issue":"1","key":"13_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00869545","volume":"77","author":"J. Hintikka","year":"1988","unstructured":"J. Hintikka. On the development of the model-theoretic viewpoint in logical theory. Synthese, 77(1):1\u201336, 1988.","journal-title":"Synthese"},{"key":"13_CR47","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/B978-044481714-3\/50009-6","volume-title":"Handbook of Logic and Language","author":"J. Hintikka","year":"1997","unstructured":"J. Hintikka and G. Sandu. Game-theoretical semantics. In J. Benthem and A. Meulen, editors, Handbook of Logic and Language, pages 361\u2013410. Elsevier, Amsterdam, The Netherlands, 1997."},{"key":"13_CR48","volume-title":"A Shorter Model Theory","author":"W. Hodges","year":"1997","unstructured":"W. Hodges. A Shorter Model Theory. Cambridge University Press, Cambridge, UK, 1997."},{"key":"13_CR49","volume-title":"Dialogue Models for Inquiry and Transaction","author":"J. Hulstijn","year":"2000","unstructured":"J. Hulstijn. Dialogue Models for Inquiry and Transaction. PhD thesis, Universiteit Twente, Enschede, The Netherlands, 2000."},{"key":"13_CR50","doi-asserted-by":"crossref","unstructured":"J. Hulstijn, M. Dastani, and L. Torre. Negotiation protocols and dialogue games. In Proceedings of the Belgian-Dutch AI Conference (BNAIC-2000), ADDRESS =, 2000.","DOI":"10.1145\/375735.376092"},{"key":"13_CR51","first-page":"63","volume-title":"Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL-99)","author":"H. Jakobovits","year":"1899","unstructured":"H. Jakobovits and D. Vermeir. Dialectic semantics for argumentation frameworks. In Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL-99), pages 63\u201372, New York, NY, USA, 1999. ACM Press."},{"key":"13_CR52","first-page":"253","volume-title":"Communication in Multi-Agent Systems: Agent Communication Languages and Conversation Policies Lecture Notes in Artificial Intelligence 2650","author":"M.W. Johnson","year":"2003","unstructured":"M.W. Johnson, P. McBurney, and S. Parsons. When are two protocols the same? In M.-P. Huget, editor, Communication in Multi-Agent Systems: Agent Communication Languages and Conversation Policies, Lecture Notes in Artificial Intelligence 2650, pages 253\u2013268. Springer, Berlin, Germany, 2003."},{"key":"13_CR53","volume-title":"From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory","author":"H. Kamp","year":"1993","unstructured":"H. Kamp and U. Reyle. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer, Dordrecht, 1993."},{"key":"13_CR54","volume-title":"Argumentation-Based Negotiation in a Social Context","author":"N.C. Karunatillake","year":"2006","unstructured":"N.C. Karunatillake. Argumentation-Based Negotiation in a Social Context. Ph.D. thesis, School of Electronics and Computer Science, University of Southampton, UK, 2006."},{"issue":"1","key":"13_CR55","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1111\/j.1467-8640.1995.tb00025.x","volume":"11","author":"P. Krause","year":"1995","unstructured":"P. Krause, S. Ambler, M. Elvang-G\u00f8rannson, and J. Fox. A logic of argumentation for reasoning under uncertainty. Computational Intelligence, 11 (1):113\u2013131, 1995.","journal-title":"Computational Intelligence"},{"key":"13_CR56","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"S. Kripke. A completeness proof in modal logic. Journal of Symbolic Logic, 24:1\u201314, 1959.","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"13_CR57","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/S0364-0213(77)80016-5","volume":"1","author":"J.A. Levin","year":"1978","unstructured":"J.A. Levin and J.A. Moore. Dialogue-games: metacommunications structures for natural language interaction. Cognitive Science, 1(4):395\u2013420, 1978.","journal-title":"Cognitive Science"},{"key":"13_CR58","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813313","volume-title":"Pragmatics","author":"S.C. Levinson","year":"1983","unstructured":"S.C. Levinson. Pragmatics. Cambridge University Press, Cambridge, UK, 1983."},{"key":"13_CR59","volume-title":"Dialogische Logik","author":"P. Lorenzen","year":"1978","unstructured":"P. Lorenzen and K. Lorenz. Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, Germany, 1978."},{"key":"13_CR60","volume-title":"Agent Technology: Computing as Interaction. A Roadmap for Agent Based Computing","author":"M. Luck","year":"2005","unstructured":"M. Luck, P. McBurney, O. Shehory, and S. Willmott. Agent Technology: Computing as Interaction. A Roadmap for Agent Based Computing. AgentLink III, the European Co-ordination Action for Agent-Based Computing, Southampton, UK, 2005."},{"key":"13_CR61","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S.Mac Lane","year":"1971","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Springer, New York, USA, 1971."},{"key":"13_CR62","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF00258422","volume":"8","author":"J.D. MacKenzie","year":"1979","unstructured":"J.D. MacKenzie. Question-begging in non-cumulative systems. Journal of Philosophical Logic, 8:117\u2013133, 1979.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"13_CR63","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1023\/A:1024787301515","volume":"7","author":"P. McBurney","year":"2003","unstructured":"P. McBurney, R. Eijk, S. Parsons, and L. Amgoud. A dialogue-game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems, 7(3):235\u2013273, 2003.","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"13_CR64","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/int.20191","volume":"22","author":"P. McBurney","year":"2007","unstructured":"P. McBurney, D. Hitchcock, and S. Parsons. The eightfold way of deliberation dialogue. International Journal of Intelligent Systems, 22(1):95\u2013132, 2007.","journal-title":"International Journal of Intelligent Systems"},{"issue":"1\u20134","key":"13_CR65","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1016757315265","volume":"32","author":"P. McBurney","year":"2001","unstructured":"P. McBurney and S. Parsons. Representing epistemic uncertainty by means of dialectical argumentation. Annals of Mathematics and Artificial Intelligence, 32(1\u20134):125\u2013169, 2001.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"3","key":"13_CR66","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1015586128739","volume":"11","author":"P. McBurney","year":"2002","unstructured":"P. McBurney and S. Parsons. Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information, 11(3):315\u2013334, 2002.","journal-title":"Journal of Logic, Language and Information"},{"key":"13_CR67","first-page":"162","volume-title":"Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3366","author":"P. McBurney","year":"2005","unstructured":"P. McBurney and S. Parsons. A denotational semantics for deliberation dialogues. In I. Rahwan, P. Moraitis, and C. Reed, editors, Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3366, pages 162\u2013175. Springer, Berlin, 2005."},{"key":"13_CR68","first-page":"209","volume-title":"Developments in Agent Communication, Lecture Notes in Artificial Intelligence 3396","author":"P. McBurney","year":"2005","unstructured":"P. McBurney and S. Parsons. Locutions for argumentation in agent interaction protocols. In R.M. van Eijk et al., editor, Developments in Agent Communication, Lecture Notes in Artificial Intelligence 3396, pages 209\u2013225. Springer, Berlin, Germany, 2005."},{"issue":"3","key":"13_CR69","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10503-007-9057-8","volume":"21","author":"P. McBurney","year":"2007","unstructured":"P. McBurney and S. Parsons. Retraction and revocation in agent deliberation dialogs. Argumentation, 21(3):269\u2013289, 2007.","journal-title":"Argumentation"},{"key":"13_CR70","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1145\/544741.544836","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","author":"P. McBurney","year":"2002","unstructured":"P. McBurney, S. Parsons, and M. Wooldridge. Desiderata for agent argumentation protocols. In C. Castelfranchi and W.L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pages 402\u2013409, New York City, NY, USA, 2002. ACM Press."},{"issue":"1","key":"13_CR71","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J.C.C. McKinsey","year":"1948","unstructured":"J.C.C. McKinsey and A. Tarski. Some theorems about the Sentential Calculus of Lewis and Heyting. Journal of Symbolic Logic, 13(1):1\u201315, 1948.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR72","volume-title":"Introduction to the Theory of Programming Languages. International Series in Computer Science","author":"B. Meyer","year":"1990","unstructured":"B. Meyer. Introduction to the Theory of Programming Languages. International Series in Computer Science. Prentice Hall, New York City, NY, USA, 1990."},{"key":"13_CR73","doi-asserted-by":"crossref","unstructured":"T. Miller and P. McBurney. Using constraints and process algebra for specification of first-class agent interaction protocols. In G.O. et al., editor, Engineering Societies in the Agents World VII, Lecture Notes in Artificial Intelligence 4457, pages 245\u2013264, Berlin, Germany, 2007. Springer.","DOI":"10.1007\/978-3-540-75524-1_14"},{"key":"13_CR74","doi-asserted-by":"crossref","unstructured":"T. Miller and P. McBurney. Annotation and matching of first-class agent interaction protocols. In L.P. et al., editor, Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008), Estoril, Portugal, 2008.","DOI":"10.1007\/978-3-642-00207-6_9"},{"key":"13_CR75","first-page":"77","volume-title":"International Encyclopedia of Unified Science","author":"C.W. Morris","year":"1938","unstructured":"C.W. Morris. Foundations of the theory of signs. In O. Neurath, R. Carnap, and C. Morris, editors, International Encyclopedia of Unified Science, pages 77\u2013138. Chicago University Press, Chicago, IL, USA, 1938."},{"key":"13_CR76","doi-asserted-by":"crossref","unstructured":"S. Parsons. Normative argumentation and qualitative probability. In D.M.G. et al., editor, Qualitative and Quantitative Practical Reasoning, Lecture Notes in Artificial Intelligence 1244, pages 466\u2013480, Berlin, Germany, 1997. Springer.","DOI":"10.1007\/BFb0035642"},{"key":"13_CR77","doi-asserted-by":"crossref","unstructured":"S. Parsons and E. Sklar. How agents alter their beliefs after an argumentation-based dialogue. In S.P. et al., editor, Argumentation in Multi-Agent Systems: Second International Workshop (ArgMAS 2005), Lecture Notes in Computer Science 4049, pages 297\u2013312. Springer, Berlin, Germany, 2006.","DOI":"10.1007\/11794578_19"},{"key":"13_CR78","first-page":"63","volume-title":"Argumentation in Multi-Agent Systems, chapter A persuasion dialog for gaining access to information","author":"L. Perrussel","year":"2008","unstructured":"L. Perrussel, S. Doutre, J.-M. Thevenin, and P. McBurney. Argumentation in Multi-Agent Systems, chapter A persuasion dialog for gaining access to information, pages 63\u201379. Lecture Notes in Artificial Intelligence 4946. Springer, Berlin, Germany, 2008."},{"key":"13_CR79","first-page":"54","volume":"30","author":"M. Pieri","year":"1895","unstructured":"M. Pieri. Sui principi che reggiono la geometria di posizione. Atti della Reale Accademia delle scienze di Torino, 30:54\u2013108, 1895.","journal-title":"Atti della Reale Accademia delle scienze di Torino"},{"issue":"2","key":"13_CR80","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1017\/S0269888906000865","volume":"21","author":"H. Prakken","year":"2006","unstructured":"H. Prakken. Formal systems for persuasion dialogue. The Knowledge Engineering Review, 21(2):163\u2013188, 2006.","journal-title":"The Knowledge Engineering Review"},{"key":"13_CR81","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1008278309945","volume":"6","author":"H. Prakken","year":"1998","unstructured":"H. Prakken and G. Sartor. Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law, 6:231\u2013287, 1998.","journal-title":"Artificial Intelligence and Law"},{"issue":"4","key":"13_CR82","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1017\/S0269888904000098","volume":"18","author":"I. Rahwan","year":"2003","unstructured":"I. Rahwan, S.D. Ramchurn, N.R. Jennings, P. McBurney, S. Parsons, and E. Sonenberg. Argumentation-based negotiation. Knowledge Engineering Review, 18(4):343\u2013375, 2003.","journal-title":"Knowledge Engineering Review"},{"issue":"6","key":"13_CR83","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1080\/08839510701408971","volume":"21","author":"I. Rahwan","year":"2007","unstructured":"I. Rahwan, E. Sonenberg, N.R. Jennings, and P. McBurney. STRATUM: a methodology for designing automated negotiation strategies. Applied Artificial Intelligence, 21(6):489\u2013527, 2007.","journal-title":"Applied Artificial Intelligence"},{"key":"13_CR84","doi-asserted-by":"crossref","unstructured":"C. Reed. Dialogue frames in agent communications. In Y. Demazeau, editor, Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS-98), pages 246\u2013253. IEEE Press, 1998.","DOI":"10.1109\/ICMAS.1998.699056"},{"key":"13_CR85","first-page":"685","volume":"1","author":"A. Reinach","year":"1913","unstructured":"A. Reinach. Die apriorischen Grundlagen des b\u00fcrgerlichen Rechtes. Jahrbuch f\u00fcr Philosophie und ph\u00e4nomenologische Forschung, 1:685\u2013847, 1913.","journal-title":"Jahrbuch f\u00fcr Philosophie und ph\u00e4nomenologische Forschung"},{"issue":"1","key":"13_CR86","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0010-4485(79)90003-4","volume":"11","author":"J.A. Rodr\u00edguez","year":"1998","unstructured":"J.A. Rodr\u00edguez, F.J. Martin, P. Noriega, P. Garcia, and C. Sierra. Towards a test-bed for trading agents in electronic auction markets. AI Communications, 11(1):5\u201319, 1998.","journal-title":"AI Communications"},{"key":"13_CR87","volume-title":"Proceedings of the Symposium on Information Agents for E-Commerce (AISB-2001)","author":"F. Sadri","year":"2001","unstructured":"F. Sadri, F. Toni, and P. Torroni. Logic agents, dialogues and negotiation: an abductive approach. In M.Schroeder and K.Stathis, editors, Proceedings of the Symposium on Information Agents for E-Commerce (AISB-2001), York, UK, 2001. AISB."},{"key":"13_CR88","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts: An Essay in the Philosophy of Language","author":"J. Searle","year":"1969","unstructured":"J. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, UK, 1969."},{"key":"13_CR89","first-page":"29","volume-title":"The Mathematical Theory of Communication","author":"C.E. Shannon","year":"1963","unstructured":"C.E. Shannon. The mathematical theory of communication. In C.E. Shannon and W. Weaver, editors, The Mathematical Theory of Communication, pages 29\u2013125. University of Illinois Press, Chicago, IL, USA, 1963."},{"key":"13_CR90","first-page":"31","volume-title":"Issues in Agent Communication, Lecture Notes in Artificial Intelligence 1916","author":"M.P. Singh","year":"2000","unstructured":"M.P. Singh. A social semantics for agent communication languages. In F. Dignum and M. Greaves, editors, Issues in Agent Communication, Lecture Notes in Artificial Intelligence 1916, pages 31\u201345. Springer-Verlag: Heidelberg, Germany, 2000."},{"key":"13_CR91","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1090\/S0002-9904-1938-06860-7","volume":"44","author":"T.C. Tang","year":"1938","unstructured":"T.C. Tang. Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication. Bulletin of the American Mathematical Society, 44:737\u2013744, 1938.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"13_CR92","doi-asserted-by":"crossref","unstructured":"Y. Tang and S. Parsons. Argumentation-based dialogues for deliberation. In F.D. et al., editor, Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pages 552\u2013559, New York City, NY, USA, 2005. ACM Press.","DOI":"10.1145\/1082473.1082557"},{"key":"13_CR93","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","volume":"31","author":"A. Tarski","year":"1938","unstructured":"A. Tarski. Der Aussagenkalk\u00fcl und die Topologie. Fundamenta Mathematicae, 31:103\u2013134, 1938.","journal-title":"Fundamenta Mathematicae"},{"key":"13_CR94","first-page":"552","volume-title":"Logic, Semantics, Metamathematics","author":"A. Tarski","year":"1956","unstructured":"A. Tarski. The concept of truth in formalized languages. In Logic, Semantics, Metamathematics, pages 152\u2013278. Clarendon Press, Oxford, UK, 1956. (Translated by J. H. Woodger)."},{"key":"13_CR95","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172981","volume-title":"The Philosophy of Physics","author":"R. Torretti","year":"1999","unstructured":"R. Torretti. The Philosophy of Physics. Cambridge University Press, Cambridge, UK, 1999."},{"key":"13_CR96","volume-title":"Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning","author":"D.N. Walton","year":"1995","unstructured":"D.N. Walton and E.C.W. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. SUNY Press, Albany, NY, USA, 1995."},{"key":"13_CR97","unstructured":"M. Wardeh, T.J.M. Bench-Capon, and F. Coenen. Arguments from experience: The PADUA protocol. In P.B. et al., editor, Computational Models of Argument: Proceedings of COMMA 2008, pages 405\u2013416, Amsterdam, The Netherlands, 2008. IOS Press."},{"issue":"1","key":"13_CR98","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M.J. Wooldridge","year":"2000","unstructured":"M.J. Wooldridge. Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems, 3(1):9\u201331, 2000.","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"13_CR99","volume-title":"Introduction to Multiagent Systems","author":"M.J. Wooldridge","year":"2002","unstructured":"M.J. Wooldridge. Introduction to Multiagent Systems. John Wiley and Sons, New York, NY, USA, 2002."},{"key":"13_CR100","volume-title":"Problems of Monopoly and Economic Warfare","author":"F. Zeuthen","year":"1930","unstructured":"F.Zeuthen. Problems of Monopoly and Economic Warfare. Routledge and Sons, London, UK, 1930."}],"container-title":["Argumentation in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-98197-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T03:08:13Z","timestamp":1739156893000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-98197-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387981963","9780387981970"],"references-count":100,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-98197-0_13","relation":{},"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"10 May 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}