A Pragmatic and Semantic Unified Framework for Agent Communication (original) (raw)

Abstract

In this thesis, we propose a unified framework for the pragmatics and the semantics of agent communication. Pragmatics deals with the way agents use communicative acts when conversing. It is related to the dynamics of agent interactions and to the way of connecting individual acts while building complete conversations. Semantics is interested in the meaning of these acts. It lays down the foundation for a concise and unambiguous meaning of agent messages. This framework aims at solving three main problems of agent communication: 1-The absence of a link between the pragmatics and the semantics. 2-The inflexibility of current agent communication protocols. 3-The verification of agent communication mechanisms. The main contributions of this thesis are: 1-A formal pragmatic approach based on social commitments and arguments. 2-A new agent communication formalism called Commitment and Argument Network. 3-A logical model defining the semantics of the elements used in the pragmatic approach. 4-A tableau-based model checking technique for the verification of a kind of flexible protocols called dialogue game protocols. 5-A new persuasion dialogue game protocol. The main idea of our pragmatic approach is that agent communication is considered as actions that agents perform on social commitments and arguments. The dynamics of agent conversation is represented by this notion of actions and by the evolution of these commitments and arguments. Our Commitment and Argument Network formalism based on this approach provides an external representation of agent communication dynamics. We argue that this formalism helps agents to participate in conversations in a flexible way because they can reason about their communicative acts using their argumentation systems and the current state of the conversation.

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

References (238)

  1. Abdul-Rahman, A. and Hailes. S. Supporting trust in virtual communities. In Proc. the 33rd Hawaii Int. Conf. On Systems Science, 2000.
  2. Adi, K., Debbabi, M., and Mejri, M. A new logic for electronic commerce protocols. In Theoretical Computer Science, vol. 291, 2003, pp. 223-283.
  3. Allen, J.F., and Perrault, C.R. Analysing intention utterances. In Artificial Intelligence, vol. 15, 1980, pp. 143-178.
  4. Alur, R., Henzinger, T.A., and Kupferman, O. Alternating time temporal logic. In Proc. Of the 38 th IEEE Symp. On Foundations of Computer Science, 1997, pp. 100-109.
  5. Amgoud, L. and Parsons, S. Agent dialogues with conflicting preferences. In Proc. of the 8 th Int. Workshop on Agent Theories, Architectures, and Languages, Meyer, J-J. Ch. and Tambe, M. (eds.), 2001, pp. 1-14.
  6. Amgoud, L. Contribution à l'intégration des préférences dans le raisonnement argumentatif. PhD. Thesis of Université Paul Sabatier-Toulouse, France, 1999.
  7. Amgoud, L., and Maudet, N. Strategical considerations for argumentative agents. In Proc. of 10 th Int. Workshop on Non-Monotonic Reasoning, 2002, pp. 409-417.
  8. Amgoud, L., Maudet, N. and Parsons, S. An argumentation-based semantics for agent communication languages. In Proc. of 15 th European Conf. on Artificial Intelligence, 2002, pp. 38-42.
  9. Amgoud, L., Maudet, N., and Parsons, S. Modelling dialogues using argumentation. In Proc. of the 4 th Int. Conf. On Multi-Agent Systems, 2000a, pp. 31-38.
  10. Amgoud, L., Parsons, S. and Maudet, N. Arguments, dialogue, and negotiation. In Proc. of the 14 th European Conf. On Artificial Intelligence, 2000b, pp. 338-342.
  11. Austin, J.L. How to do things with words. Oxford University Press, England, 1962.
  12. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C. Verifying protocol conformance for logic-based communicating agents. In Proc. of the 5 th Int. Workshop on Computational Logic in Multi-Agent Systems, 2004, pp. 82-97.
  13. Barbuceanu, M. and Fox, M. COOL: a language for describing coordination in multi-agent systems, In Proc. of the 1 st Int. Conf. on Multi-Agent Systems, 1995, pp. 17-25.
  14. Belnap, N. and Perloff, M. The way of the agent. In Studia Logica, Kluwer, vol. 51, 1992, pp. 463-484.
  15. Belnap, N. Backwards and towards in the modal logic of Agency. In Philosophy and Phenomenological Research, vol. 51, 1991, pp. 777-807.
  16. Ben-Ari, M., Pnueli, A. and Manna, Z. The temporal logic of branching time. In Proc. of 8 th Annual Sym. on Principles of Programming Languages, pp. 164-176. Journal Version, Acta Informatica, vol. 20, 1983, pp. 207-226.
  17. Bench-Capon, T.J.M., Freeman J.B., Hohmann, H., and Prakken, H. Computational models, argumentation theories and legal practice. In Argumentation Machines. New Frontiers in Argument and Computation Reed, C. and Norman, T.J. (eds.), Kluwer Argumentation Library, 2003, pp. 85-120.
  18. Benerecetti, M. and Cimatti, A. Symbolic model checking for multi-agent systems. In proc of the Int. Workshop on Model Checking and Artificial Intelligence, 2002, pp. 1-8.
  19. Bentahar, J. and Moulin, B. On the verification of dialogue game protocols for communicating agents (a model checking approach). Internal Rapport of Research, Université Laval, Faculté des Sciences et de Génie, DIUL-RR-0403, 2004, pp. 1-34.
  20. Bentahar, J. Moulin, B., and Chaib-draa, B. Specifying and implementing a persuasion dialogue game using commitment and argument network. In Rahwan, I., Moraitis, P., and Reed, C. (eds.), Int. Workshop on Argumentation in Multi-Agent Sysytems, AAMAS'04, LNAI, Springer, 2004a (in press).
  21. Bentahar, J., Moulin, B. and Chaib-draa, B. Commitment and argument network: A new formalism for agent communication. In Advances in Agent Communication, Dignum, F. (ed.), Int. Workshop on Agent Communication Languages, AAMAS'03, LNAI 2922, Springer, 2004b, pp. 146-165.
  22. Bentahar, J., Moulin, B. and Chaib-draa, B. Vers une approche pour la modélisation du dialogue basée sur les engagements et les arguments. In Actes des Secondes Journées Francophones Modèles Formels de l'Interaction, 2003, pp. 19-28.
  23. Bentahar, J., Moulin, B., and Chaib-draa, B. Commitment and argument network: a formal framework for representing conversation dynamics. In Logic and Dialogue, Caelen, J., Vanderveken, D. and Vernant, D. (eds.), the Netherlands, Dordrecht, Kluwer, 2004c press).
  24. Bentahar, J., Moulin, B., Meyer, J-J.Ch. and Chaib-draa, B. A computational model for conversation policies for agent communication. In Proc. of the 5 th Int. Workshop on Computational Logic in Multi-Agent Systems, 2004d, pp. 66-81.
  25. Bentahar, J., Moulin, B., Meyer, J-J.Ch. and Chaib-draa, B. A logical model for commitment and argument network for agent communication. In Proc. of 3 rd Int. Joint Conf. on Autonomous Agents and Multi Agent Systems, ACM Press, 2004e, pp.19-23.
  26. Bentahar, J., Moulin, B., Meyer, J-J.Ch. and Chaib-draa, B. A modal semantics for an argumentation-based pragmatics for agent communication. In Rahwan, I., Moraitis, P. and Reed, C. (eds.), LNAI, Springer, 2004f (in press).
  27. Bernholtz, O., Vardi, M.Y., and Wolper, P. An automata-theoretic approach to branching- time model checking. In Computer Aided Verification, Dill, D.L. (ed.), LNCS 818, Springer, 1994, pp. 142-155.
  28. Bhat, G. and Cleaveland, R. Efficient model checking via the equational µ-calculus. In the 11 th Annual Sym. on Logic in Computer Science, IEEE Computer Society Press, 1996, pp. 304-312.
  29. Bhat, G. Tableau-based approaches to model-checking. PhD Thesis of North Carolina State University, USA, 1998.
  30. Bhat, G., Cleaveland, R., and Groce, A. Efficient model checking via Büchi tableau automata. In Computer-Aided Verification Berry, G., Comon, H. and Finkel, A. (eds.), LNCS 2102, Springer, 2001, pp. 38-52.
  31. Bordini, R.H., Fisher, M., Pardavila, C. and Wooldridge, M. Model checking AgentSpeak. In Proc. of the 2 nd Int. Joint Conf. On Autonomous Agents and Multi Agent Systems, 2003a, pp. 409-416.
  32. Bordini, R.H., Visser, W., Fisher, M., Pardavila, C., and Wooldridge, M. Model checking multi-agent programs with CASP. In Computer-Aided Verification, Hunt, W.A. and Somenzi, F. (eds.), LNCS 2725, Springer, 2003b, pp.110-113.
  33. Bouzouba, K. and Moulin, B. Connaissances implicites et sociales : dialogisme des interactions discursives. In Analyse et Simulation de Conversation : De la Théorie des Actes de Discours aux Systèmes Multi-Agents, Moulin, B., Delisle, S., and Chaib-draa, B. (eds.), L'interdisciplinaire informatique, 1999, pp. 203-241.
  34. Bouzouba, K., Bentahar, J., and Moulin, B. Dialogization implicit information in an agent communicational model. In Developments in Agent Communication, van Eijk, R., Huget, M.P. and Dignum, F. (eds.), Int. Workshop on Agent Communication, AAMAS'04, LNAI 3396, Springer, 2004, pp. 211-226.
  35. Bouzouba, K., Moulin, B. KQML+: An extension of KQML in order to deal with implicit information and social relationships. In Proc. of FLAIRS, 1998, pp. 289-293.
  36. Bouzouba, K., Moulin, B., and Kabbaj, A. CG-KQML+: an agent communication language and its use in a multi-agent system. In Proc. of the 9 th Int. Conf. on Conceptual Structures, 2001, pp. 1-14.
  37. Bratman, M.E. Intentions, plans and practical Reason. Harvard University Press, Cambridge, 1987.
  38. Brewka, G. Dynamic argument systems: A formal model of argumentation processes based on situation calculus. In Journal of Logic and Computation, vol. 11(2), 2001, pp. 257-282.
  39. Broersen, J., Dastani, M., Huang, Z., Hulstijn, J., and van der Torre, L. The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In Proc. of the 5 th Int. Conf. On Autonomous Agents (AA), ACM Press, 2001, pp. 9-16.
  40. Bylander, E. Complexity results for planning. In Proc. of the 12 th Int. Conf. on Artificial Intelligence, 1991, pp. 274-279.
  41. Castelfranchi, C. Commitments: from individual intentions to groups and organizations. In Proc. of the 1 st Int. Conf. On Multi-Agent Systems, 1995, pp. 41-48.
  42. Chaib-draa, B and Dignum, F. Trends in agent communication language. In Computational Intelligence, vol. 18(2), 2002, pp. 89-101.
  43. Chaib-draa, B. Industrial applications of distributed artificial intelligence. Communications of the ACM, vol. 38(11), 1995, pp. 47-53.
  44. Chaib-draa, B., Labrie, M.A., Bergeron, M., and Pasquier, P. DIAGAL: an agent communication language based on dialogue games and sustained by social commitments. Submitted to the Journal of Autonomous Agents and Multi-Agent Systems, 2005.
  45. Chellas, B.F. Modal Logic: an Introduction. Cambridge University Press, New York, 1980.
  46. Chellas, B.F. Time and modality in the logic of agency. In Studia Logica, Kluwer, vol. 51, 1992, pp. 485-518.
  47. Chopra, A., Singh, M.P. Nonmonotonic commitment machines. In Advances in Agent Communication, F. (ed.), Int. Workshop on Agent Communication Languages, AAMAS'03, LNAI 2922, Springer, 2004, pp. 183-200.
  48. Clark, H.H. and Haviland, S.E. Psychological processes in linguistic explanation. In Explaining Linguistic Phenomena, Cohen, D. (ed.)., 1974, 91-124.
  49. Clark, H.H. Using Language. Cambridge University Press, 1996.
  50. Clarke, E.M., Emerson, E.A. and Sistla, A.P. Automatic verification of finite-state concurrent systems using temporal logic specifications. In ACM Transactions on Programming Languages and Systems, vol. 8(2), 1986, pp. 244-263.
  51. Clarke, E.M., Grumberg, O. and Peled, D.A. Model Checking. The MIT Press: Cambridge, MA, 2000.
  52. Cleaveland, R. Tableau-based model checking in the propositional mu-calculus. In Acta Informatica, vol. 27(8), 1990, pp.725-747.
  53. Cohen, P.R. and Levesque, H.J. Persistence, intentions and commitment. In Intentions in Communication, Cohen, P.R., Morgan, J., and Pollack, M.E. (eds.), MIT Press, Cambridge, 1990, pp. 33-69.
  54. Cohen, P.R. and Perrault, C.R. Elements of a plan-based theory of speech acts. In Cognitive Science, vol. 3, 1979, pp. 177-212.
  55. Colombetti, M. A commitment-based approach to agent speech acts and conversations. In Proc. of the Autonomous Agent Workshop on Conversational Policies, 4 th Int. Conf. On Autonomous Agent, 2000, pp. 21-29.
  56. Cost, R.S., Chen, Y., Finin, T., Labrou, Y. and Peng, Y. Using colored Petri nets for conversation modeling. In Issues in Agent Communication, Dignum, F., and Greaves, M. (eds.), LNAI 1916, Springer, 2000, pp. 178-192.
  57. Courcoubetis, C., Vardi, M.Y., Wolper, P. and Yannakakis, M. Memory efficient algorithms for verification of temporal properties. In Formal Methods in System Design, vol. 1, 1992, pp. 275-288.
  58. Cox, B., Tygar, J. and Sirbu, M. Netbill security and transaction protocol. In Proc. of the 1 st USENIX Workshop on Electronic Commerce, 1995, pp. 77-88.
  59. Dastani, M., Hulstijn, J. and der Torre, L. V. Negotiation protocols and dialogue games. In Proc. of the Belgium/Dutch AI Conf., 2000, pp. 13-20.
  60. De Giacomo, G., Lespérance, Y. and Levesque, ConGolog, a concurent programming language based on the situation calculus. In Artificial Intelligence, vol. 121, 2000.
  61. Dignum, F. and Greaves, M. Issues in agent communication: an introduction. In Issues in Agent Communication, Dignum, F. and Greaves, M. (eds.), LNAI 1916, Springer, 2000, pp. 1-16.
  62. Dignum, F., Dunin-Keplicz, B. and Verbugge, R., Agent theory for team formation by dialogue. In Proc. of the 7 th Int. Workshop on Agent Theories, Architectures, and Languages, Castelfranchi, C. and Lespérence Y. (eds.), LNAI 1986, Springer, 2000, pp. 150-166
  63. Dignum, F., Dunin-Keplicz, B., and Verbugge, R., Creation collective intention through dialogue. In Logic Journal of the IGPL, vol. 9(2), 2001, pp. 305-319.
  64. Dignum, V., Meyer, J.-J.Ch., Dignum, F. and Weigand, H. Formal specification of interaction in agent societies. Formal Approaches to Agent-based Systems. In Proc. of FAABS 2002, Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., and Gordon-Spears, D. (eds.), Springer, 2003, pp. 37-52.
  65. Dung, P.M. On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. In Artificial Intelligence, vol. 77, 1995, pp. 321-357.
  66. Elvang-Goransson, M., Fox, J. and Krause, P. Dialectic reasoning with inconsistent information. In Proc. of the 9 th Conf. on Uncertainty in Artificial Intelligence, 1993, pp. 114-121.
  67. Emerson, A.E. Temporal and modal logic. In Handbook of Theoretical Computer Science, vol. B, 1990, pp. 995-1072.
  68. Emerson, E.A. and Halpern, J.Y. Sometimes and not never, revisited: on branching versus linear time temporal logic. In Journal ACM, vol. 33(1), 1986, pp. 151-178.
  69. Emerson, E.A. and Lei C.-L. Efficient model checking in fragments of the propositional mu-calculus. In Proc. of the 1 st Annual Sym. on Logic in Computer Science, 1986, pp. 267-278.
  70. Emerson, E.A. and Sistla, A.P. Deciding full branching time logic. In Information and Control, vol. 61, 1984, pp. 175-201.
  71. Emerson, E.A. Temporal and modal logic. In Handbook of Theoretical Computer Science, van Leeuwen, J. (ed.), vol. B, 1990, pp. 995-1072.
  72. Emerson, E.A., Jutla, C. and Sistla, A.P. On model-checking for fragments of In Computer Aided Verification, Courcoubetis, C. (ed.), LNCS 697, 1993, pp. 385-396.
  73. Endriss, U., Maudet, N., Sadri, F., and Toni, F. Protocol conformance for logic-based agents. In Proc. of the 18 th Int. Joint Conf. on Artificial Intelligence, 2003, pp. 679- 684.
  74. Finin, T., Labrou, Y. and Mayfield, J. KQML as an agent communication language. In Software Agent, Bradshaw, J.M. (ed.), AAAI Press / The MIT Press, 1995, pp. 291- 315.
  75. FIPA (1997, 1999, 2001a, 2002). Fipa-acl specifications: Foundation for intelligent physical agents. http://www.fipa.org/repository/aclspecs.php3.
  76. FIPA-ACL. Communicative act library specification. Technical Report XC00037H, . Foundation for Intelligent Physical Agents, 2001b.
  77. Fitting, M. Bilattices and the semantics of logic programming. In Journal of Logic Programming, vol. 11, 1991, pp. 91-116.
  78. Flores, R.A., Pasquier P., and Chaib-draa, B. Conversational semantics with social commitments. In Developments in Agent Communication, van Eijk, R., Huget, M.P. and Dignum, F. (eds.), Int. Workshop on Agent Communication, AAMAS'04, LNAI 3396, Springer, 2004, pp. 19-36. Also in the Journal of Autonomous Agents and Multi-Agent Systems (to appear).
  79. Flores, R.F. and Kremer, R.C. A formal theory for agent conversations for actions. In Computational Intelligence, 2002, (in press).
  80. Fornara, N. and Colombetti, M. Defining protocols using a commitment-based agent communication language. In Proc. Of the 2 nd Int. J. Conf. On Autonomous Agent and Multi-Agent Systems (AAMAS 03), ACM Press, 2003, pp. 520-527.
  81. Fornara, N. and Colombetti, M. Operational specification of a commitment-based agent communication language. In Proc. Of the 1 st Int. Joint Conf. on Autonomous Agent and Multi-Agent Systems (AAMAS 02), ACM Press, 2002, pp. 535-542.
  82. Fornara, N. and Colombetti, M. Protocol specification using a commitment based ACL. In Dignum, F. (ed.). Advances in Agent Communication. Int. Workshop on Agent Communication Languages, LNAI 2922, Springer, 2004, pp. 108-127.
  83. Fox, J., Krause, P., and Ambler, S. Arguments, contradictions, and practical reasoning. In Proc. of the 10 th European Conf. On Artificial Intelligence, 1992, pp. 623-626.
  84. Giordano, L., and Martelli, A., On-the-fly automata construction dynamic linear time temporal logic. In Proc. of 11 th Int. Sym. On Temporal Representation and Reasoning (Time'04), 2004, pp. 133-139.
  85. Giordano, L., Martelli, A., and Schwind, C. Verifying communicating agents by model checking in a temporal action logic. In Logics in Artificial Intelligence (JELIA'04), LNAI 3229, Springer, 2004, pp. 57-69.
  86. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., and Turner, H. Nonmonotonic Causal theories. In Artificial Intelligence, 2003 (in press).
  87. Grasso, F. A mental model for a rhetorical arguer. In Proc. of the European Cognitive Science Society Conf. Schmalhofer, F., Young, R., and Katz, G. (eds.), LEA, 2003.
  88. Grasso, F. Towards a framework for rhetorical argumentation. In Proc. of the 6 th Workshop on the Semantics and Pragmatics of Dialogue (EDILOG'02), 2002, pp. 53-60.
  89. Greaves, M., Holmback, H., and Bradshaw, J. What is a conversation policy? In Issues in Agent Communication. Dignum. F. and Greaves. M. (eds.), LNAI 1916, Springer, 2000, pp. 118-131.
  90. Grice, H.P. Logic and Conversation. In Speech Acts: Syntax and Semantics, Cole, P. and Morgan, J. (eds.), vol. 11. New York: Academic Press, 1975, pp. 41-58.
  91. Grice, H.P. Meaning. In Basic Topics in the Philosophy of Language. Harnish, R.M. (ed.), Harvester Wheatsheaf, 1957, pp. 21-29.
  92. Grosz, B.G. and Sidner, C.L. Plans for discourse. In Intentions in Communication, Cohen, P.R., Morgan, J., and Pollack, M.E. (eds.), MIT Press, Cambridge, 1990, pp. 417- 444.
  93. Grosz, B.J. and Kraus, S. Collaborative plans for complex group action. In Artificial Intelligence, vol. 86(2), 1996, pp. 269-357.
  94. Guerin, F. and Pitt, J. Denotational semantics for agent communication languages. In Proc. of the 5 th Int. Conf. on Autonomous Agents, Müller, J.P., Andre, E., Sen, S. and Frasson, C. (eds.), ACM Press, 2001, pp. 497-504.
  95. Günter, A. Some ways of representing dialogues. In Cognitive Constraints on Communication, Vatina, L. and Hintikka, J. (eds.), 1984, pp. 241-250.
  96. Habermas, J. The Theory of Communicative Action, vol. 1 and 2, Polity Press, Cambredge, UK, 1984.
  97. Hafer, T. and Thomas, W. Computation tree logic CTL* and path in the monadic theory of the binary tree. In Proc. of 14 th Int. Collogue on Automata, Languages and Programming, LNCS 267, Springer, 1987, pp. 269-279.
  98. Hamblin, C.L. Fallacies. Methuen, 1970.
  99. Hamblin, C.L. Mathematical models of dialogue. In Theoria, vol.37, 1971, pp. 130-155.
  100. Harel, D. Dynamic logic. In Handbook of Philosophical Logic, Gabbay, D.M. and Guenther, F. (eds.), vol. 2, 1984, pp. 497-604.
  101. Harel, D. Dynamic logic: axiomatics and expressive power. Ph.D. Thesis, MIT, LNCS 68, 1979.
  102. Henriksen, J.G. and Thiagarajan. Dynamic linear temporal time logic. In Annals of Pure and Applied Logic, vol. 96, 1999, pp. 187-207.
  103. Herrestad, H. and Krogh, C. Obligations directed from bearers to counterparties. In Proc. of 5 th Int. Conf. on Artificial Intelligence and Law, 1995, pp. 210-218.
  104. Hindriks, K.V., de Boer, F.S., van der Hoek, W., and Meyer, J.-J.Ch. Semantics of communication agents based on deduction and abduction. In Issues in Agent Communication, Dignum, F. and Greaves, M. (eds.), LNAI 1916, Springer, 2000, pp. 63-79.
  105. Hintikka, J. Knowledge and Belief. Cornell Univesity Press, 1962.
  106. Hintikka, J. The modes of modality. Acta Philosophica Fennica, vol.16, 1963, pp. 65-81.
  107. Holzman, G.J. The model checker Spin. IEEE Transaction on Software Engineering, vol. 23(5), 1997, pp. 279-295.
  108. Huber, M.J., Kumar, S., and McGee, D. Toward a suite of performatives based upon joint intention theory. In In Developments in Agent Communication, van Eijk, R., Huget, M.P. and Dignum, F. (eds.), Int. Workshop on Agent Communication, AAMAS'04, LNAI 3396, Springer, 2004, pp. 245-260.
  109. Huber, M.J., Kumar, S., Cohen, P.R., and McGee, D. A formal semantics for proxy communicative acts. In Proc. of Agent Theories, Architectures, and Languages (ATAL 01), 2001, pp. 221-234.
  110. Huget, M.-P., Wooldridge, M. Model checking for ACL compliance verification. In Advances in Agent Communication, Dignum, F. (ed.), Int. Workshop on Agent Communication Languages, LNAI 2922, Springer, 2004, pp. 75-90.
  111. Huhns, M.N and Singh, M.P. Readings in Agents. Morgan San Francisco, California, 1998.
  112. Hulstijn, J. Dialogue games are recipe for joint action. In Proc. of the 4 th Workshop on Formal Semantics and Pragmatics of Dialogue, 2000b.
  113. Hulstijn, J. Dialogue Models for Inquiry and Transaction. PhD Thesis, University Twente, Enschede, The Netherlands, 2000a.
  114. Huth, M.R.A. and Ryan, M.D. Logic in Computer Science. Modeling and Reasoning about Systems. Cambridge University Press, 2000.
  115. Kacprzak, M. and Penczek, W. Unbounded model checking for alternating-time temporal logic. In Proc. of the 3 rd Int. Joint Conf. on Autonomous Agents and Multi Agent Systems, 2004a, pp. 646-653.
  116. Kacprzak, M., Lomuscio, A., and Penczek, W. Verification of multiagent systems via unbounded model checking. In Proc. of the 3 rd Int. Joint Conf. on Autonomous Agents and Multi Agent Systems, 2004b, pp. 638-645.
  117. Khan, S. and Lespérance, Y., A model of rational agency for communicating agents. In Developments in Agent Communication, van Eijk, R., Huget, M.P. and Dignum, F. (eds.), Int. Workshop on Agent Communication, AAMAS'04, LNAI 3396, Springer, 2004, pp. 261-280.
  118. Kone, M.T., Shimazu, A., and Nakajima, T. The state of the art in agent communication languages. In Knowledge and Information Systems, 2000, pp. 259-284.
  119. Kowalski, R. and Sergot, A. A logical-based calculus of events. In New Generation Computing, vol. 4(1), 1986, pp. 67-95.
  120. Krause, P., Ambler, S., Elvang-Gorannson, M., and Fox, J. A logic for argumentation for reasoning under uncertainty. In Computational Intelligence, vol. 11(1), 1995, pp. 113-131.
  121. Kripke, S. Semantical analysis of modal logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 9, 1963, pp. 67-96.
  122. Kumar, S., Huber, M.J., McGee, D.R., Cohen, P.R., Levesque, H.J. Semantics of agent communication languages for group interaction. In Proc. of the 16 th Nat. Conf. on Artificial Intelligence, pp. 42-47, 2000.
  123. Labrie, M.A., Chaib-draa, B., and Maudet, N. DIAGAL: a tool for analyzing and modelling commitment-based dialogues between agents. In Proc. of 16 th Canadian Conference on Artificial Intelligence, Xiang, Y. and Chaib-draa, B. (eds.), LNAI 2671, 2003, pp. 353-369.
  124. Labrou, Y. and Finin, T. Semantics and conversation for an agent communication language. In Readings in Agents, Huhns, M. and Singh, M.P (eds.), Morgan Kaufman, 1998, pp. 235-242.
  125. Labrou, Y. Semantics for an agent communication language. Ph.D. Thesis, University of Maryland, USA, 1997.
  126. Labrou, Y., Finin, T., and Peng, Y. Agent communication languages: the current landscape. In IEEE Intelligent Systems, 1999, pp.45-52.
  127. Lebbink, H-J., Witteman, C.L.M., and Meyer, J-J. Ch. Dialogue games for inconsistent and biased information. In Electronic Notes in Theoretical Computer Science, vol. 85(2), 2004.
  128. Lespérence, Y. On the epistemic feasibility of plans in multi-agent systems specifications. In Intelligent Agents VIII, Meyer, J-J.Ch. and Tambe, M. (eds.). Proc. of the Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), LNAI 2333, Springer, 2002, pp. 69-85.
  129. Lichtenstein, O. and Pnueli, A. Checking that finite state concurrent programs satisfy their linear specification. In 12 th Annual ACM Sym. On Principles of Programming Languages, 1985, pp. 97-107.
  130. Litman, D.J and Allen, J.F. Discourse processing and commonsense plans. In Intentions in Communication, Cohen, P.R, Morgan, J., and Pollack, M.E. (eds.), MIT Press, Cambridge, 1990, pp. 365-388.
  131. Lorenzen, P. Logik und agon. In Atti del XII Congresso Internazionale di Folosophia. IV: Logica, Linguaggio e Communicazione, 1960, pp. 187-194.
  132. MacKenzie, J.D. Four dialogue systems. In Studia, vol.49(4), 1990, 567-583.
  133. MacKenzie, J.D. Question-begging in non-cumulative systems. In Journal Of Philosophical Logic, vol. 8, 1979, pp. 117-133.
  134. Mallya, A.U., Yolum, P. and Singh, M.P. Resolving Commitments Among Autonomous Agents. In Advances in Agent Communication, Dignum, F. (ed.), Int. Workshop on Agent Communication Languages, LNAI 2922, Springer, 2004, pp. 166-182.
  135. Maudet, N. and Chaib-draa, B. Commitment-based and dialogue-game based protocols, new trends in agent communication languages. In Knowledge Engineering Review, vol. 17(2), Cambridge University Press, 2002, pp. 157-179.
  136. Maudet, N. Modéliser les conventions des interactions langagière : contribution des jeux de dialogue. PhD Thesis of Université Paul Sabatier-Toulouse, France, 2001.
  137. Maudet, N., Chaib-draa, B., and Labrie, M.A. Request for action reconsidered as dialogue game based on commitments. In Communication in Multiagent Systems, Huget, M.- P. (ed.), Int. Workshop on Agent Communication Languages and Conversation Policies, AAMAS 02, LNAI 2650, Springer, 2002, pp. 284-299.
  138. McBurney, P. and Parsons, S. Agent ludens: games for agent dialogues. In Proc. of the AAAI Spring Sym. on Game Theoretic and Decision Theoretic Agents, 2001, pp. 70-77.
  139. McBurney, P. and Parsons, S. Games that agents play: A formal framework for dialogues between autonomous agents. In Journal of Logic, Language and Information, vol. 11(3), 2002, pp. 315-334.
  140. McBurney, P. Rational interaction. PhD. Thesis of University of Liverpool, UK, 2002.
  141. McBurney, P., Parsons, S. Risk agoras: Dialectical argumentation for scientific reasoning. In Proc. of the 16 th Conf. On Uncertainty in Artificial Intelligence, Morgan Kaufmann, 2000, pp. 371-379.
  142. McBurney, P., Parsons, S., and Wooldridge, M. Desiderata for agent argumentation protocols. In Proc. of the 1 st Int. Joint Conf. On Autonomous Agent and Multi- Agent Systems (AAMAS 02), ACM Press, 2002, pp 402-409.
  143. McCartyh, J. and Hayes, P. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, vol. 4, 1969, pp. 463-502.
  144. McMillan, K.L. Aplying SAT methods in unbounded symbolic model checking.. In Computer Aided Verification, Brinksma, E., Guldstrand Larsen, K. (eds.), LNCS 2404, Springer, 2002, pp. 250-264.
  145. Meyer, J-J. Ch., van der Hoek, W. and van Linder, B. A logical Approach to the dynamics of commitments. In Artificial Intelligence Journal, vol. 113 (1-2), 1999, pp. 1-40.
  146. Moore, R.C. Reasoning about knowledge and action. Technical report 191, SRI International, 1980.
  147. Morgenstern, L. A first order theory of planning, knowledge, and action. In Proc. of the the 1 st Conf. On Theoretical Aspects of Reasoning about Knowledge (TARK 86), Halpern, J.Y. (ed.), Morgan Kaufmann, 1986, pp. 99-114.
  148. Morgenstern, L. Knowledge preconditions of actions and plans. In Proc. of the 10 th Int. Joint Conf. On Artificial Intelligence (IJCAI 87), 1987, pp. 867-874.
  149. Morris, C.W. Foundations of the theory of signs. In Int. Encyclopedia Unified Science, Neurath, O., Carnap, R., and Morris, C.W. (eds.).Chicago University Press, 1938, pp. 77-138.
  150. Moulin, B. The social dimension of interactions in multi-agent systems. In Wobcke, W., Pagnucco, M. and Zhang, W. (eds.). Agent and Multi-Agent Systems, Formalisms, Methodologies and Applications, Artificial Intelligence 1441, 1998, pp. 109-122.
  151. Moulin, B., and Chaib-draa, B. Distributed artificial intelligence: an overview. In Foundations of Distributed Artificial Intelligence, Jennings, N. and O'Hare, G. (eds.), Wiley, 1996, pp. 3-55.
  152. Muller, D.E. and Schupp, P.E. Alternating automaton on infinite trees. In Theoretical Computer Science, vol. 54, 1987, pp. 267-276.
  153. Muller, D.E., Saoudi, A. and Schupp, P.E. Weak alternating automata gives a simple explanation of why most temporal and dynamic logics are decidable in exponential time. In Proc. of the 3 rd IEEE Sym. on Logic in Computer Science, 1988, pp. 422- 427.
  154. Parsons, S. Normative argumentation and qualitative probability. In. Proc. Of the 1 st Int. Joint Conf. On Qualitative and Quantitative Practical Reasoning. Gabay, D.M., Kruse, R., Nonnengart, A., and Ohlbach, H.J. (eds.), LNAI 1244, Springer, 1997.
  155. Parsons, S., Jennings, N.R. Negotiation through argumentation-a preliminary report. In Proc. of the 2 nd Int. Conf. On Multi Agent Systems, 1996, pp. 267-274.
  156. Parsons, S., Wooldridge, M. and Amgoud, L. An analysis of formal inter-agent dialogues. In Proc. of the 1 st Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 02), ACM Press, 2002, pp. 394-401.
  157. Parsons, S., Wooldridge, M. and Amgoud, L. On the outcomes of formal inter-agent dialogues. In Proc. of the 2 nd Int. Joint Conf. on Autonomous Agents and Multi- Agent Systems (AAMAS 03), ACM Press, 2003, pp. 616-623.
  158. Pasquier, P. and Chaib-draa, B. The cognitive coherence approach for agent communication pragmatic. In Proc. of the 2 nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 03), ACM Press, 2003, pp. 544-551.
  159. Pasquier, P., Andrillon, N., Chaib-draa, B., and Labrie, M.A. An exploration in using cognitive coherence theory to automate BDI agents' communicational behavior. In Advances in Agent Communication, Dignum, F. (ed.), Int. Workshop on Agent Communication Languages, LNAI 2922, Springer, 2003, pp. 37-58.
  160. Penczek, W. and Lomuscio, A. Verifying epistemic properties of systems via model checking. In Fundamenta Informaticae, vol. 55(2), 2003, pp. 167-185.
  161. Perelman, C. and Olbrechts-Tyteca, L. La Nouvelle Rhétorique : Traité de l'Argumentation. Presses Universitaire de France, 1958. Translated on The New Rhetoric: a Treatise on Argumentation. University of Notre Dame Press, Indiana, 1969.
  162. Perrault, C.R. and Allen, J.F. A plan-based analysis of indirect speech acts. In American Journal of Computational Linguistics, vol. 6(3-4), 1980, pp. 167-182.
  163. Pitt, J. and Mamdani, A. Communication protocols In multi-agent systems: a development method and reference architecture. In Issues in Agent Communication, Dignum, F. and Greaves, M. (eds.), LNAI 1916, Springer, 2000, pp. 160-177.
  164. Pnueli, A. Application of temporal logic to the specification and verification of reactive systems: a survey of current trends. In Current Trends in Concurrency: Overviews and Tutorials, de Bakker, J.W. de Roever, W.P. and Rozenberg, G. (eds.), LNCS 224, Springer, 1986.
  165. Pollack, M.E. Plans as complex mental attitudes. In Intentions in Communication. Cohen, P.R., Morgan, J., and Pollack, M.E. (eds.), MIT Press, Cambridge, 1990, pp. 77- 104.
  166. Pollock, J.L. A theory of defeasible reasoning. In Int. Journal of Intelligent Systems, vol.6, 1991, pp. 33-54.
  167. Pollock, J.L. How to reason defeasibly. In Artificial Intelligence, vol. 57, 1992, pp 1-42.
  168. Prakken, H. and Sartor, G. A dialectical model of assessing conflicting arguments in legal reasoning. In Artificial Intelligence and Law, vol. 4, 1996, pp 331-368.
  169. Prakken, H. and Sartor, G. Modelling reasoning with precedents in a formal dialogue game. In Artificial Intelligence and Law, vol.6, 1998, pp. 231-287.
  170. Prakken, H. and Vreeswijk, G. Logics for defeasible argumentation. In Handbook of Philosophical Logic, Gabbay, D. (ed.), Second Edition, Kluwer, 2000.
  171. Prakken, H. Logical Tools for Modelling legal argument. A study of defeasible reasoning in law, Kluwer Law and Philosophy Library, 1997.
  172. Prakken, H. Relating protocols for dynamic dispute with logics for defeasible argumentation. In Synthese (127), 2001, pp. 187-219.
  173. Prakken, H., Reed, C.A., and Walton, D.N. Argumentation schemes and generalisations reasoning about evidence. In Proc. of the 9 th Int. Conf. On Artificial Intelligence and Law, ACM Press, 2003, pp. 32-41.
  174. Pulman, S.G. Conversational games, belief revision and bayesian networks. In Proc. of 7 th Computational Linguistics in the Netherlands Meeting, 1996, pp. 1-25.
  175. Queille, J.P. and Sifakis, J. Specification and verification of concurrent systems in Cesar. In Proc. of 5 th Int. Sysm. on Programming, LNCS 137, Springer, 1981, pp. 337-351.
  176. Rahwan, I., Ramchurn, S.D., Jennings, N.R., McBurney, P., Parsons, S., and Sonenberg, L. Argumentation-based negotiation. In Knowledge Engineering Review, 2004, pp. 343-375.
  177. Raimondi, F. and Lomuscio, A. Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation. In Proc. of the 3 rd Int. Joint Conf. on Autonomous Agents and Multi Agent Systems (AAMAS 04), ACM Press, 2004, pp. 630-637.
  178. Ramchurn, S.D., Sierra, C., Jennings, N.R., and Godo L. A computational trust model for multi-agent interactions based on confidence and reputation. In Proc. of 6 th Int. Workshop of Deception, Fraud and Trust in Agent Societies, 2003, pp. 69-75.
  179. Rao, A.S. AgentSpeak(L): BDI agents speak out in a logical computable language. In Proc. of the 7 th European Workshop on Modeling Autonomous Agents in a Multi-Agent World, Van de Velde, W. and Perram, J.W. (eds.), LNAI 1038, Springer, 1996, pp. 42-55.
  180. Rao, A.S. and Georgeff, M.P. A model-theoretic approach to the verification of situated reasoning systems. In Proc. of the 13 th Int. Joint Conf. on Artificial Intelligence (IJCAI-93), 1993, pp. 318-324.
  181. Rao, A.S. and Georgeff, M.P. BDI agents: from theory to practice. In Proc. of the 1 st Int. Conf. on Multi-Agent Systems (ICMAS 95), 1995, pp. 312-319.
  182. Rao, A.S. and Georgeff, M.P. Modeling rational agents within a BDI-architecture. In Proc. of the 2 nd Int. Conf. On Principles of Knowledge Representation and Reasoning (KR'91), Morgan Kaufmann, Cambridge, 1991, pp. 473-484.
  183. Reed, C. Dialogue frames in agent communication. In Proc. of the 3 rd Int. Conf. on Multi- Agent Systems, 1998, pp. 246-253.
  184. Reed, C.A. and Rowe, G.W.A. Araucaria: software for puzzles in argument diagramming and XML. Department of Applied Computing, University of Dundee. Technical Report, 2001.
  185. Reed, C.A. and Walton, D.N. Argumentation schemes in and argument-as-product. In Proc. of the Conf. Celebrating Informal Logic @25, Canada, 2003.
  186. Rousseau, D., Moulin, B., and Lapalme, G. Interpreting communicative acts and building a conversation model. In Journal of Natural Language Engineering, Cambridge, vol. 2(3), 1996, pp. 253-276.
  187. Sabater, J. and Sierra, C. Reputation and social network analysis in multi-agent systems. In Proc. Of the 1 st Int. J. Conf. On Autonomous Agents and MultiAgent Systems (AAMAS 02), ACM Press, 2002. pp. 475-482.
  188. Sadek, M.D. Attitudes mentales et interaction rationnelle : vers une théorie formelle de la communication. Thesis of Université de Rennes I, France, 1991.
  189. Sadek, M.D., Bretier, P., and Panaget, F. ARTIMIS: natural dialogue meets rational agency. In Proc. of the 14 th Int. J. Conf. on Artificial Intelligence (IJCAI-97), Morgan, P., Publisher, 1997, pp. 1030-1035.
  190. Sadri, F., Toni, F., and Torroni, P., Logic agents, dialogues and negotiation: an abductive approach. In Proc. of the Sym. on Information agents for E-Commerce., Artificial Intelligence and the Simulation of Behaviour Conf., 2001.
  191. Searle, J.R. and Vanderveken, D. The Foundations of Illocutionary Logic. Cambridge University Press, 1985.
  192. Searle, J.R. Intentionality: an Essay in the Philosophy of Mind. Cambridge University Press, Cambridge, England, 1983.
  193. Searle, J.R. Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press: Cambridge, England, 1969.
  194. Shanahan, M. An abductive event calculus planner. In Journal of Logic Programming, vol. 44, 2000, pp. 207-239.
  195. Shapiro, S. and Lespérance, Y. Modeling multi-agent systems with the cognitive agents specification language -A feature interaction resolution application. In Intelligent Agents Volume VII, Castelfranchi, C. and Lespérance, Y. (eds.), Proc. of the Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI 1986, Springer, 2001, pp. 244-259.
  196. Shapiro, S., Lespérance, Y. and Levesque, H.J. Specifying communicative multi-agent Systems. In Agents and Multi-Agent Systems -Formalisms, Methodologies, and Applications, Wobcke, W., Pagnucco, M. and Zhang, C. (eds.), LNAI 1441, Springer, 1998, pp. 1-14.
  197. Shapiro, S., Lespérance, Y. and Levesque, H.J. The cognitive agents specification language verification environment for multi-agent systems. In Proc. of the 1 st Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS-02), ACM Press, 2002, pp. 19-26.
  198. Sierra, C. Jennings, N.R., Noriega, P., and Parsons, S. A framework for argumentation- based negotiation. In Intelligent Agents IV, Singh, M.P, Rao, A., Wooldridge, M. (eds.), LNAI 1365, Springer, 1998, pp. 177-192.
  199. Simari, G.R. and Loui, R.P. A mathematical treatment of defeasible reasoning and its implementation, In Artificial Intelligence, vol. 53, 1992, pp 125-157.
  200. Singh, M.P. A social semantics for agent communication language. In Issues in Agent Communication, Dignum, F. and Greaves, M. (eds.), LNAI 1916, Springer, 2000, pp. 31-45.
  201. Singh, M.P. Agent communication languages: rethinking the principles. In IEEE Computer, 1998, pp. 40-47.
  202. Singh, M.P. An ontology for commitments in multi-agent systems: toward a unification of normative concepts. In Artificial Intelligence and Law, vol. 7, 1999, pp. 97-113.
  203. Singh, M.P., Rao, A.S. and Georgeff, M.P. Formal methods in DAI: logic-based representation and reasoning. In Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, Weiss, G. (ed.), MIT Press, 1999, pp. 331-376.
  204. Smith, R.G. The contract net protocol: High-level communication and control in a distributed problem solver. In IEEE Transactions on Computers, vol. 29, 1980, pp. 1104-1113.
  205. Sowa, J.F. Conceptual Structures: Information Processing in Mind and Machines. Addison- Wesley, Reading, MA, 1984.
  206. Spade, P.V., Recent research on medieval logic. In Synthese, vol.40, 1979, pp. 3-18.
  207. Stirling, C. and Walker, D. Local model checking in the modal mu-calculus. In Theoretical Computer Science, vol. 89(1), 1991, pp. 161-177.
  208. Sycara, K. Multiagent Systems. In AI Magazine, American Association for Artificial Intelligence, vol. 19(2), 1998, pp. 79-92.
  209. Sycara, K. Persuasion argumentation in negotiation. In Theory and Decision, vol. 28, 1990, pp. 203-242.
  210. The Agent Oriented Software Group. Jack 4.1, 2004. www.agent-software.com/ Tohmé, F. Negotiation and defeasible reasons for choice. Proc. of the Stanford Spring Sym. On Qualitative Preferences in Deliberation and Practical Reasoning, 1997, pp. 95-102.
  211. Toulmin, S. The Uses of Argument. Cambridge University Press, Cambridge, England, 1958.
  212. Traum, D. A reactive-deliberative model of dialogue agency. In Proc. of Intelligent agents iii, Agent Theories, Architectures, and Languages, 1996, pp. 157-172.
  213. van der Hoek, W. and Wooldridge, M. Model checking knowledge and time. In Model Checking Software, LNCS 2318, Springer, 2002, pp. 95-111.
  214. van der Hoek, W. and Wooldridge, M. Towards a logic of rational agency. In Logic Journal of the IGPL, vol. 11(2), 2003, pp. 133-157.
  215. van Eemeren, F.H., Grootendorst, R., Henkemans, F.S., Blair, J.A., Johnson, R.H., Krabbe, E.C.W., Plantin, C., Watton, D.N., Willard, C.A., Woods, J., and Zarefsky, D. Fundamental of Argumentation Theory. Lawrence Erlbaum Associates, Mahwah, USA, 1996.
  216. van Eijk, R.M., de Boer, F.S., van der Hoek, W., and Meyer, J.-J.Ch. A verification framework for agent communication. In the Journal of Autonomous Agents and Multi-Agent Systems, vol. 6, 2003, pp. 185-219.
  217. van Eijk, R.M., der Boer, F.S., van der Hoek, W., and Meyer, J.-J.Ch. On dynamically generated ontology translators in agent communication. In International Journal of Intelligent Systems, vol.16(5), 2001, pp.587 .607.
  218. van Eijk, R.M., de Boer, F.S., van der Hoek, W., and Meyer, J.-J.Ch. Operational semantics for agent communication languages. In Issues in Agent Communication, Dignum, F. and Greaves, M. (eds.), LNAI 1916, Springer, 2000, pp. 80-95.
  219. van Linder, B. van der Hoek, W. and Meyer, J.-J.Ch. Formalizing abilities and opportunities of agents. In Fundamenta Informaticae, vol. 34(1, 2), 1998, pp. 53- 101.
  220. Vanderveken, D. Illocutionary logic and discourse typology. In Special Issue 216 Searle with his Replies of Revue Internationale de Philosophie, Vanderveken, D. (ed.), 2001, pp. 243-255.
  221. Vardi, M. and Wolper, P. An automata-theoretic approach to automatic program verification. In Sym. on Logic in Computer Science, 1986, pp. 332-344.
  222. Verdicchio, M. and Colombetti, M. A logical model of social commitment for communication. In Proc. of The Second Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 03), ACM Press, 2003, pp. 528-535.
  223. Verdicchio, M. and Colombetti, M. Commitment for agent-based supply chain management. In ACM SIGecom Exchanges, vol. 3(1), 2002, pp. 13-23.
  224. Visser, W., Havelund, K., Brat, G., and Park, S. model checking programs. In Proc. of the 5 th Int. Conf. on Automated Software Engineering, IEEE Computer Society, 2000, pp. 3-12.
  225. Vongkasem, L. and Chaib-draa, B. ACL as a joint project between participants: a preliminary report. In Issues in Agent Communication, Dignum. F., and Greaves. M. (eds.), LNAI 1916, Springer, 2000, pp. 31-45.
  226. Vreeswijk, G.A.W. Abstract argumentation systems. In Artificial Intelligence, vol. 90, 1997, pp. 225-279.
  227. Walton, D.C. Model Checking Agent Dialogues. In Proc. of 2 nd Int. Workshop on Declarative Agent Languages and Technologies, 2004.
  228. Walton, D.N and Reed, C.A. Diagramming, argumentation schemes, and critical questions. In Anyone Who Has a View: Theoretical Contributions to the Study of Argumentation. Van Eemeren, F.H., Blair, J.A., Willard, C.A., and Snoek Henkemans, A.F. (eds.), Kluwer, Dordrecht, 2003, pp. 195-211.
  229. Walton, D.N. and Krabbe, E.C.W. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, NY, 1995.
  230. Winograd, T. and Flores, F. Understanding computers and cognition: A new foundation for design. Albex Publishing Co., Norwood, USA, 1986.
  231. Wittgenstein, L. Philosophical Investigations. Oxford: Basil Blackwell, 1958.
  232. Wolper, P. On the relation of programs and computations to models of temporal logic. In Proc. of the Temporal Logic in Specification, Banieqbal, B., Barringer, H. and Pneuli, A. (eds.), LNCS 1989, Springer, pp. 75-123.
  233. Wooldridge, M. and Jennings, N.R. Intelligent agents: theory and practice. In The Knowledge Engineering Review, vol. 10(2), 1995, pp. 115-152.
  234. Wooldridge, M. Fisher, M., Huget, M.P. and Parsons, S. Model checking multi-agent systems with MABLE. In Proc. of the 1 st Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 02), ACM Press, 2002, pp. 952-959.
  235. Wooldridge, M. Reasoning about Rational Agents. The MIT Cambridge, MA, 2000.
  236. Wooldridge, M. Semantic issues in the verification of agent communication languages. In Journal of Autonomous Agents and Multi-Agent Systems, vol. 3(1), Kluwer, 2000, pp. 9-31.
  237. Yolum, P., Singh, M.P. Flexible protocol specification and execution: applying event calculus planning using commitments. In Proc. of the 1st Int. J. Conf on Autonomous Agents and Multi-Agent Systems (AAMAS 02), ACM Press, 2002, pp. 527-534.
  238. Yu, B. and Singh, M. An evidential model of distributed reputation management. In Proc. Of the 1 st Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS 02), ACM Press, 2002, pp. 294-301.