Wiebe van der Hoek, Mark Roberts, Michael Wooldridge  Home/Search
Context
Related
| csc.liv.ac.uk/~wiebe/pubs/...expupd.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csc.liv.ac.uk/~wiebe/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that Alternating-time Temporal Logic (ATL) provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. Second, we show... (Update)
Active bibliography (related documents): More All
1.0: Knowledge and Social Laws - van der Hoek, Roberts, Wooldridge (2005) (Correct)
0.7: On The Logic Of Cooperation And Propositional Control - van der Hoek, Wooldridge (2005) (Correct)
0.6: Logic for Mechanism Design - A Manifesto - Pauly, Wooldridge (2003) (Correct)
Similar documents based on text: More All
0.3: Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
0.3: Modal Logic with Bounded Quantification over Worlds - Van Eijk, De Boer, Van Der .. (2001) (Correct)
0.3: Model Checking a Knowledge Exchange Scenario - van Otterloo, van der Hoek.. (2003) (Correct)
BibTeX entry: (Update)
@misc{ hoek-cooperation,
author = "Wiebe van der Hoek and Mark Roberts and Michael Wooldridge",
title = "A Cooperation Logic Framework for Social Laws",
url = "citeseer.ist.psu.edu/727294.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
119 Alternatingtime temporal logic - Alur, Henzinger et al. - 2002
102 the synthesis of useful social laws for artificial agent soc.. (context) - Shoham, Tennenholtz - 1992
91 An Introduction to Multiagent Systems (context) - Wooldridge - 2002
29 Artificial social systems - Moses, Tennenholtz - 1995
18 Distributed problem solving and planning - Durfee - 1999
12 Artificial Intelligence and Law (context) - Dignum, with - 1999
5 the emergence of social conventions: Modelling (context) - Shoham, Tennenholtz - 1997
4 Choosing social laws for multi-agent systems: Minimality and.. - Fitoussi, Tennenholtz - 2000
4 and cooperation: Alternating-time temporal epistemic logic a.. (context) - van der Hoek, Wooldridge et al. - 2003
3 Cambridge University Press: Cambridge (context) - Blackburn, de Rijke et al. - 2001
2 Satisfiability in alternating-time temporal logic (context) - van Drimmelen - 2003
Documents on the same site (http://www.csc.liv.ac.uk/~wiebe/pubs/): More
Model Checking a Knowledge Exchange Scenario - van Otterloo, van der Hoek.. (2003) (Correct)
Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
Tractable Multiagent Planning for Epistemic Goals - van der Hoek, Wooldridge (2002) (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