Towards a theory of cooperative problem solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1069, Issue , 1996, Pages 40-53

  Wooldridge, Michael ^a   Jennings, Nicholas R ^b  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

^b QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; MULTI AGENT SYSTEMS; PROBLEM SOLVING;

BUILD SYSTEMS; COOPERATIVE PROBLEM SOLVING; DISTRIBUTED ARTIFICIAL INTELLIGENCE; KEY FEATURE; MULTI-MODAL LOGIC; PRELIMINARY MODEL; SOCIAL ACTIVITIES;

AUTONOMOUS AGENTS;

EID: 84947933288     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61157-6_20     Document Type: Conference Paper

References (17)

1. A. H. Bond and L. Gasser, editors. Readings in DistributedArtificiatlntelligence. Morgan Kanfmann Publishers: San Marco, CA, 1988.
2. M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press: Cambridge, MA, 1987.
3. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
4. P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 221-256. The MIT Press: Cambridge, MA, 1990.
5. E. H. Durfee. Coordination of Distributed Problem Solvers. Kluwer Academic Publishers: Boston, MA, 1988.
6. E. A. Emerson and J. Y. Halpem. 'Sometimes' and 'not never' revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1):151-178, 1986.
7. J. R. Galliers. A Theoretical Framework for Computer Models of Cooperative Dialogue, Acknowledging Multi-Agent Conflict. PhD thesis, Open University, UK, 1988.
8. N. R. Jennings. Commitments and conventions: The foundation of coordination in multiagent systems. Knowledge Engineering Review, 8(3):223-250, 1993.
9. S. Kraus, M. Nirke, and K. Sycara. Reaching agreements through argumentation: A logical model. In Proceedings of the Twelfth International Workshop on Distributed Artificial Intelligence (IWDAI-93), pages 233-247, Hidden Valley, PA, May 1993.
10. 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), pages 94-99, Boston, MA, 1990.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag: Heidelberg, Germany, 1992.
12. R C Moore. A formal theory of knowledge and action. In J. E Allen, J. Hendler, and A. Tate, editors, Readings in Planning, pages 480-519. Morgan Kaufmann Publishers: San Mateo, CA, 1990.
13. A. S. Rao and M. E Georgeff. Social plans: Preliminary report. In E. Wemer and Y. Demazeau, editors, Decentralized AI 3--Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pages 57-76. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1992.
14. M. P. Singh. Group ability and structure. InY. Demazeau and J.-P. Müller, editors, Decentralized AI 2--Proceedings of the Second European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-90), pages 127-146.Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1991.
15. R. G. Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.
16. K. P. Sycara. Mukiagent compromise via negotiation. In L. Gasser and M. Huhns, editors, Distributed Artificial lntelligence Volume 2, pages 119-138. Pitman Publishing: London and Morgan Kaufmann: San Marco, CA, 1989.
17. M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 279-283, Amsterdam, The Netherlands, 1994.