See this document in CiteSeerX!

The Cooperative Problem-Solving Process (1999)  (Make Corrections)  (18 citations)
Michael Wooldridge, Nicholas R. Jennings
Journal of Logic and Computation



  Home/Search   Context   Related

 
View or download:
ecs.soton.ac.uk/~nrj/downlo...jlc99.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ecs.soton.ac.uk/~nrj/pubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present a model of cooperative problem solving that describes the process from its beginning, with some agent recognizing the potential for cooperation with respect to one of its goals, through to team action. Our approach is to characterize the mental states of the agents that lead them to solicit, and take part in, cooperative action. The model is formalized by expressing it as a theory in a quantified multi-modal logic. Keywords: Multi-agent systems, cooperation, modal logic, temporal... (Update)

Cited by:   More
On The Logic Of Cooperation And Propositional Control - van der Hoek, Wooldridge (2005)   (Correct)
Centro Per La Ricerca - Scientifica Tecnologica Povo   (Correct)
Roles in Collaborative Activity - Partsakoulakis, Vouros (2002)   (Correct)

Similar documents (at the sentence level):
48.5%:   The Cooperative Problem-Solving Process - Wooldridge, Jennings (1999)   (Correct)
8.0%:   Formalizing the Cooperative Problem Solving Process - Wooldridge, al. (1994)   (Correct)
7.2%:   Towards a Theory of Cooperative Problem Solving - Wooldridge (1996)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Computationally Grounded Theories of Agency - Wooldridge (2000)   (Correct)
0.2:   Intelligent Agents: Theory and Practice - Wooldridge, Jennings (1995)   (Correct)
0.2:   The Logical Modelling of Computational Multi-Agent Systems - Wooldridge (1992)   (Correct)

Similar documents based on text:   More   All
0.3:   Bibliography - Chauhan (1997)   (Correct)
0.3:   Compositional Design and Reuse of a Generic Agent Model - Brazier, Jonker, Treur (1999)   (Correct)
0.3:   Open Sesame!: A Look at Personal Assistants - Hoyle, Lueg (1997)   (Correct)

Related documents from co-citation:   More   All
7:   Collaborative plans for complex group action - Grosz, Kraus - 1996
6:   Formalizing the cooperative problem solving process - Wooldridge, Jennings - 1994
4:   Cooperative case-based reasoning (context) - Plaza, Arcos et al. - 1997

BibTeX entry:   (Update)

M. Wooldridge and N.R. Jennings. The cooperative problem solving process. Journal of Logic & Computation, 9(4), 1999. http://citeseer.ist.psu.edu/article/wooldridge99cooperative.html   More

@article{ wooldridge99cooperative,
    author = "Michael Wooldridge and Nicholas R. Jennings",
    title = "The Cooperative Problem-solving Process",
    journal = "Journal of Logic and Computation",
    volume = "9",
    number = "4",
    pages = "563-592",
    year = "1999",
    url = "citeseer.ist.psu.edu/article/wooldridge99cooperative.html" }
Citations (may not include all citations):
604   Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
432   The Evolution of Cooperation (context) - Axelrod - 1984
399   Intention is choice with commitment (context) - Cohen, Levesque - 1990
362   Dynamic logic - Harel - 1984
355   The Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
343   Modal Logic: An Introduction (context) - Chellas - 1980
243   Rules of Encounter: Designing Conventions for Automated Nego.. (context) - Rosenschein, Zlotkin - 1994
240   A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
210   A formal theory of knowledge and action (context) - Moore - 1990
203   Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
193   Controlling cooperative problem solving in industrial multi-.. - Jennings - 1995
173   On acting together (context) - Levesque, Cohen et al. - 1990
156   Rational interaction as the basis for communication (context) - Cohen, Levesque - 1990
146   Commitments and conventions: The foundation of coordination .. - Jennings - 1993
135   Agents that reason and negotiate by arguing - Parsons, Sierra et al. - 1998
115   Coordination of Distributed Problem Solvers (context) - Durfee - 1988
100   The complexity of reasoning about knowledge and time - Halpern, Vardi - 1989
73   Decision procedures of BDI logics (context) - Rao, Georgeff - 1998
50   Fun and Games: A Text on Game Theory (context) - Binmore - 1992
48   Multiagent compromise via negotiation (context) - Sycara - 1989
37   Collective intentions and actions (context) - Searle - 1990
35   Specification and development of reactive systems (context) - Pnueli - 1986
35   Formalizing the cooperative problem solving process - Wooldridge, Jennings - 1994
35   Rationality and intelligence - Russell - 1997
34   A Framework for Distributed Problem Solving (context) - Smith - 1980
32   Towards a theory of cooperative problem solving - Wooldridge, Jennings - 1994
27   A Theoretical Framework for Computer Models of Cooperative D.. (context) - Galliers - 1988
26   not never' revisited: on branching time versus linear time t.. (context) - Emerson, Halpern - 1986
19   A first-order branching time logic of multi-agent systems - Wooldridge, Fisher - 1992
9   The intentions of teams: Team structure (context) - Singh - 1998
7   Minds and Machines (context) - Bratman, the et al. - 1992
4   Springer-Verlag: Berlin (context) - Haddadi, Cooperation et al. - 1996



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.ecs.soton.ac.uk/~nrj/pubs.html):   More
Deliberative Automated Negotiators Using Fuzzy Similarities - Sierra, Faratin, Jennings (2000)   (Correct)
How Agents Do It In Stream Logic Programming - Huntbach, Jennings, Ringwood (1995)   (Correct)
An Agent Architecture for Distributed Medical Care - Huang, Jennings, Fox (1995)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC