Michael Wooldridge
Michael Wooldridge

homepage
mjwatcs.ox.ac.uk

ACM Fellow badge
  Affiliation history
Bibliometrics: publication history
Average citations per article21.59
Citation Count6,627
Publication count307
Publication years1992-2017
Available for download99
Average downloads per article322.39
Downloads (cumulative)31,917
Downloads (12 Months)1,055
Downloads (6 Weeks)187
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· Other only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


311 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 311
Result page: 1 2 3 4 5 6 7 8 9 10 >>

Sort by:

1
September 2018 Autonomous Agents and Multi-Agent Systems: Volume 32 Issue 5, September 2018
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0

Within the area of multi-agent systems, normative systems are a widely used framework for the coordination of interdependent activities. A crucial problem associated with normative systems is that of synthesising norms that will effectively accomplish a coordination task and that the agents will comply with. Many works in the literature ...
Keywords: Evolutionary algorithm, Norm synthesis, Normative systems, Norms

2
July 2018 AAMAS '18: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 6,   Downloads (12 Months): 20,   Downloads (Overall): 20

Full text available: PDFPDF
Game theory provides a well-established framework for the analysis and verification of concurrent and multi-agent systems. Typically, the analysis of a multi-agent system involves computing the set of equilibria in the associated multi-player game representing the behaviour of the system. As systems grow larger, it becomes increasingly harder to find ...
Keywords: formal verification, iterated boolean games, nash equilibria

3
July 2018 AAMAS '18: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 9,   Downloads (12 Months): 29,   Downloads (Overall): 29

Full text available: PDFPDF
Most often, both agents and human societies use norms to coordinate their on-going activities. Nevertheless, choosing the 'right' set of norms to regulate these societies constitutes an open problem. Firstly, intrinsic norm relationships may lead to inconsistencies in the chosen set of norms. Secondly, and more importantly, there is an ...
Keywords: norm decision making, normative systems, value-based reasoning

4
July 2018 AAMAS '18: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 11,   Downloads (12 Months): 31,   Downloads (Overall): 31

Full text available: PDFPDF
Stackelberg security games have received much attention in recent years. While most existing work focuses on single-defender settings, there are many real-world scenarios that involve multiple defenders (e.g., multi-national anti-crime actions in international waters, different security agencies patrolling the same area). In this paper, we consider security games with uncoordinated ...
Keywords: multiple defenders, security games, stackelberg games

5
December 2017 Minds and Machines: Volume 27 Issue 4, December 2017
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0


6
August 2017 IJCAI'17: Proceedings of the 26th International Joint Conference on Artificial Intelligence
Publisher: AAAI Press
Bibliometrics:
Citation Count: 0

The existence of (Nash) equilibria with undesirable properties is a well-known problem in game theory, which has motivated much research directed at the possibility of mechanisms for modifying games in order to eliminate undesirable equilibria, or introduce desirable ones. Taxation schemes are one mechanism for modifying games in this way. ...

7
August 2017 IJCAI'17: Proceedings of the 26th International Joint Conference on Artificial Intelligence
Publisher: AAAI Press
Bibliometrics:
Citation Count: 0

We study concurrent games with finite-memory strategies where players are given a Büchi and a mean-payoff objective, which are related by a lexicographic order: a player first prefers to satisfy its Büchi objective, and then prefers to minimise costs, which are given by a mean-payoff function. In particular, we show ...

8
July 2017 Artificial Intelligence: Volume 248 Issue C, July 2017
Publisher: Elsevier Science Publishers Ltd.
Bibliometrics:
Citation Count: 0

Model checking is the best-known and most successful approach to formally verifying that systems satisfy specifications, expressed as temporal logic formulae. In this article, we develop the theory of equilibrium checking, a related but distinct problem. Equilibrium checking is relevant for multi-agent systems in which system components (agents) are assumed ...
Keywords: Complexity of equilibria, Reactive modules, Temporal logic

9
May 2017 AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 14,   Downloads (12 Months): 36,   Downloads (Overall): 36

Full text available: PDFPDF
Linear Dynamic Logic on finite traces (LDL_f) is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using logics based on LDL_f. This study builds upon ...
Keywords: automata, boolean games, nash equilibria, rational verification, temporal logics

10
May 2017 AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 2,   Downloads (12 Months): 18,   Downloads (Overall): 29

Full text available: PDFPDF
Norms have been extensively proposed as coordination mechanisms for both agent and human societies. Nevertheless, choosing the norms to regulate a society is by no means straightforward. The reasons are twofold. First, the norms to choose from may not be independent (i.e, they can be related to each other). Second, ...
Keywords: optimisation, norm decision making, normative systems, policy making

11
May 2017 AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2,   Downloads (12 Months): 20,   Downloads (Overall): 48

Full text available: PDFPDF
Normative systems are a widely used framework to coordinate interdependent activities in multi-agent systems. Most research in this area has focused on how to compute normative systems that effectively accomplish a coordination task, as well as additional criteria such as synthesising norms that do not over-regulate a system, and the ...
Keywords: evolutionary algorithm, norm synthesis, normative systems

12
May 2017 AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2,   Downloads (12 Months): 15,   Downloads (Overall): 26

Full text available: PDFPDF
Rational verification is the problem of understanding what temporal logic properties hold of a multi-agent system when agents are modelled as players in a game, each acting rationally in pursuit of personal preferences. More specifically, rational verification asks whether a given property, expressed as a temporal logic formula, is satisfied ...
Keywords: formal verification, mcmas, strategy logic, iterated boolean games, linear temporal logic, nash equilibria

13
September 2016 Autonomous Agents and Multi-Agent Systems: Volume 30 Issue 5, September 2016
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0

We investigate a noncooperative bargaining game for partitioning n agents into non-overlapping coalitions. The game has n time periods during which the players are called according to an exogenous agenda to propose offers. With probability $$\delta $$ź, the game ends during any time period $$t
Keywords: Bargaining, Externalities, Coalition structure games, Core, Subgame perfect equilibrium

14
August 2016 Studia Logica: Volume 104 Issue 4, August 2016
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

A fundamental problem in game theory is the possibility of reaching equilibrium outcomes with undesirable properties, e.g., inefficiency. The economics literature abounds with models that attempt to modify games in order to avoid such undesirable properties, for example through the use of subsidies and taxation, or by allowing players to ...
Keywords: Preparation sets, Set-valued solutions concepts, Boolean games, Externalities, Nash equilibrium, Coalition formation

15
May 2016 AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 4,   Downloads (12 Months): 17,   Downloads (Overall): 89

Full text available: PDFPDF
In most previous models of coalition structure generation, it is assumed that agents may partition themselves into any coalition structure. In practice, however, there may be physical and organizational constraints that limit the number of co-existing coalitions. In this paper, we introduce k -coalitional games: a type of partition function ...
Keywords: coalitional games, externalities, restrictions

16
May 2016 AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 2,   Downloads (12 Months): 10,   Downloads (Overall): 31

Full text available: PDFPDF
We introduce and investigate a novel notion of expressiveness for temporal logics that is based on game theoretic properties of multi-agent systems. We focus on iterated Boolean games , where each agent i has a goal γa i , represented using (a fragment of) Linear Temporal Logic (LTL). The goal ...
Keywords: ltl, nash equilibrium, expressiveness, iterated boolean games

17
April 2016 KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning
Publisher: AAAI Press
Bibliometrics:
Citation Count: 0

We study hedonic games with dichotomous preferences. Hedonic games are cooperative games in which players desire to form coalitions, but only care about the makeup of the coalitions of which they are members; they are indifferent about the makeup of other coalitions. The assumption of dichotomous preferences means that, additionally, ...

18
April 2016 KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning
Publisher: AAAI Press
Bibliometrics:
Citation Count: 0

Reactive Modules is a high-level modelling language for concurrent, distributed, and multi-agent systems, which is used in a number of practical model checking tools. Reactive Modules Games are a game-theoretic extension of Reactive Modules, in which agents in a system are assumed to act strategically in an attempt to satisfy ...

19
March 2016 Autonomous Agents and Multi-Agent Systems: Volume 30 Issue 2, March 2016
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 1

We address the problem of how a set of agents can decide to share a resource, represented as a unit-sized pie. The pie can be generated by the entire set but also by some of its subsets. We investigate a finite horizon non-cooperative bargaining game, in which the players take ...
Keywords: Cooperative game theory, Bargaining, Negotiation, Non-cooperative game theory

20
February 2016 AAAI'16: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence
Publisher: AAAI Press
Bibliometrics:
Citation Count: 1

Rational verification is concerned with establishing whether a given temporal logic formula φ is satisfied in some or all equilibrium computations of a multi-agent system – that is, whether the system will exhibit the behaviour φ under the assumption that agents within the system act rationally in pursuit of their ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us