Cooperative problem-solving process

Journal of Logic and Computation

Volumn 9, Issue 4, 1999, Pages 563-592

  Wooldridge, Michael ^a   Jennings, Nicholas R ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING;

COOPERATIVE PROBLEM SOLVING PROCESSES; MULTIAGENT SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0032683336     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.4.563     Document Type: Article

References (33)

1. R. Axelrod. The Evolution of Cooperation. Basic Books, 1984.
2. K. Binmore. Fun and Games: A Text on Game Theory. D. C. Heath and Company: Lexington, MA, 1992.
3. M. E. Bratman. Planning and the stability of intentions. Minds and Machines, 2, 1-16, 1992.
4. B. Chellas. Modal Logic: An Introduction. Cambridge University Press: Cambridge, 1980.
5. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 213-261, 1990.
6. P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In Intentions in Communication, P. R. Cohen, J. Morgan, and M. E. Pollack, eds. pp. 221-256. The MIT Press, Cambridge, MA, 1990.
7. E. H. Durfee. Coordination of Distributed Problem Solvers. Kluwer Academic Publishers: Boston, MA, 1988.
8. E. A. Emerson and J. Y. Halpern. 'Sometimes' and 'not never' revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33, 151-178, 1986.
9. R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi. Reasoning About Knowledge. The MIT Press, Cambridge, MA, 1995.
10. J. R. Galliers. A Theoretical Framework for Computer Models of Cooperative Dialogue, Acknowledging Multi-Agent Conflict. PhD thesis, Open University, UK, 1988.
11. A. Haddadi. Communication and Cooperation in Agent Systems (LNAI Volume 1056). Springer-Verlag: Berlin, 1996.
12. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54, 319-379, 1992.
13. J. Y. Halpern and M. Y. Vardi. The complexity of reasoning about knowledge and time. I. Lower bounds. Journal of Computer and System Sciences, 38, 195-237, 1989.
14. D. Harel. Dynamic logic. In Handbook of Philosophical Logic Volume II - Extensions of Classical Logic, D. Gabbay and F. Guenther, eds. pp. 497-604. D. Reidel, Dordrecht, 1984. (Synthese library Volume 164).
15. G. E. Hughes and M. J. Cresswell. Introduction to Modal Logic. Methuen and Co., 1968.
16. N. R. Jennings. Commitments and conventions: The foundation of coordination in multi-agent systems. The Knowledge Engineering Review, 8, 223-250, 1993.
17. N. R. Jennings. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 75, 195-240, 1995.
18. H. J. Levesque, P. R. Cohen and J. H. T. Nunes. On acting together. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp. 94-99, Boston, MA, 1990.
19. R. C. Moore. A formal theory of knowledge and action. In Readings in Planning, J. F. Allen, J. Hendler, and A. Tate, eds. pp. 480-519. Morgan Kaufmann Publishers, San Mateo, CA, 1990.
20. S. Parsons, C. A. Sierra and N. R. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8, 261-292, 1998.
21. A. Pnueli. Specification and development of reactive systems. In Information Processing 86. Elsevier Science Publishers BV, Amsterdam, 1986.
22. A. S. Rao and M. Georgeff. Decision procedures of BDI logics. Journal of Logic and Computation, 8, 293-344, 1998.
23. J. S. Rosenschein and G. Zlotkin. Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. The MIT Press, Cambridge, MA, 1994.
24. S. J. Russell. Rationality and intelligence. Artificial Intelligence, 94, 57-78, 1997.
25. J. R. Searle. Collective intentions and actions. In Intentions in Communication, P. R. Cohen, J. Morgan, and M. E. Pollack, eds. pp. 401-416. The MIT Press, Cambridge, MA, 1990.
26. M. P. Singh. The intentions of teams: Team structure, endodeixis, and exodeixis. In Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI-98), pp. 303-307, Brighton, 1998.
27. R. G. Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.
28. L. Steels. Cooperation between distributed agents through self organization. In Decentralized AI - Proceedings of the First European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-89), Y. Demazeau and J.-P. Müller, eds. pp. 175-196. Elsevier Science Publishers BV, Amsterdam, 1990.
29. K. P. Sycara. Multiagent compromise via negotiation. In Distributed Artificial Intelligence Volume II, L. Gasser and M. Huhns, eds. pp. 119-138. Pitman Publishing, London and Morgan Kaufmann, San Mateo, CA, 1989.
30. M. Wooldridge and M. Fisher. A first-order branching time logic of multi-agent systems. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pp. 234-238, Vienna, 1992.
31. M. Wooldridge and N. R. Jennings. Formalizing the cooperative problem solving process. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence (IWDAI-94), pp. 403-417, Lake Quinalt, WA, 1994.
32. M. Wooldridge and N. R. Jennings. Towards a theory of cooperative problem solving. In Proceedings of the Sixth European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-94), pp. 15-26, 1994.
33. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10, 115-152, 1995.