Michael Wooldridge mjwcs.ox.ac.uk
 Affiliation history
Bibliometrics: publication history
 Average citations per article 21.59 Citation Count 6,627 Publication count 307 Publication years 1992-2017 Available for download 99 Average downloads per article 322.39 Downloads (cumulative) 31,917 Downloads (12 Months) 1,055 Downloads (6 Weeks) 187
SEARCH
ROLE
Author only
· Editor only
· Other only
· All roles

AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas

BOOKMARK & SHARE

 #resultstats2 { width:100%; padding: 10px; background-color:#ECE9D8; /*background:#9c9;*/ } #resultstats { width:100%; /*background-color:#ECE9D8;*/ font-size: 12px; /*background:#9c9;*/ } #resultstats a:link { text-decoration: none; } #resultstats div { padding-bottom: 5px; padding-top: 5px; } #resfound { background-color: #ece9d8; padding-left:5px } #searchtools { display:inline; float:right; padding-right: 10px; } #refinements { padding-top: 5px; } #refinements table { margin-left: 10px; } #refinements tr { vertical-align:top; } #refinements span { font-size: 12px; } .rectots { font-size:12px; } .problem { font-size:12px; color: red; } div.problem { height: 400px; } #results { /* float:right; */ /* width:80%; */ color: #000000; font-family: Verdana,Arial,Helvetica,sans-serif; font-size: 12px; padding-top: 10px; /*background:#9c9;*/ } #aggs { float:left; width:20%; font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; } #pagelogic { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:right; padding-bottom: 10px; } #pagerange { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:left; padding-bottom: 10px; } #resultmenu { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:right; padding-bottom: 10px; } #resultmenu label { margin-right: 0px; vertical-align:bottom; } #resultmenu input { margin-right: 0px; vertical-align:bottom; } #resultmenu select { margin-right: 0px; background-color: #aff; border: 0; border-radius: 0; font-size: 12px; } #resultmenu option { font-size: 12px; background-color: white; } .aggHead { font-weight: bold; padding-bottom: 0; padding-top: 10px; } #aggs ul{ list-style-type: none; margin-top: 0.25em; padding-left: 0; font-size: 1em; } #upcevents li{ padding-bottom: 1.25em; } #upcevents div{ margin-top: 25px; } a.showhide:link { text-decoration: none; } #results .numbering{ font-size: 12px; font-weight:bold; width:30px; float:left; text-align: right; padding-top: 2px; } #results .details{ font-size: 12px; width:92%; float:right; padding-bottom: 20px; } #results .title{ font-size: 14px; padding-bottom:5px; } #results .authors{ font-size: 12px; padding-bottom:5px; } #results .source{ font-size: 12px; padding-bottom:5px; } #results .publisher{ font-size: 12px; padding-bottom:5px; } #results .metrics{ font-size: 12px; padding-bottom:5px; } #results .metricsCol1{ float: left; display:inline; padding-bottom:5px; } #results .metricsCol2{ float: right; display: inline; width: 590px; padding-bottom:5px; } #results .ft{ font-size: 12px; padding-bottom:5px; } #results .abstract{ font-size: 12px; padding-bottom:5px; } #results .kw{ font-size: 12px; padding-bottom:5px; } #results .pubother{ font-size: 12px; padding-bottom:5px; } .izers { margin-top: 10px; margin-bottom:10px; } .highlights em{ background-color: #FFFF00; font-style: normal; } .publicationDate { background-color: #aff; } .citedCount { } .download6Weeks { } .download12Months { } .downloadAll { } 311 results found Export Results: bibtex | endnote | acmref | csv Result 1 – 20 of 311 Result page: 1 2 3 4 5 6 7 8 9 10 >> Sort by: relevance publication date citation count downloads (6 Weeks) downloads (12 months) downloads (overall) 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: PDF 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: PDF 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: PDF 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: PDF 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: PDF 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: PDF 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: PDF 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: PDF 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: PDF 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.