×

Wooldridge, Michael J.

Author ID: wooldridge.michael-j Recent zbMATH articles by "Wooldridge, Michael J."
Published as: Wooldridge, Michael; Wooldridge, Michael J.; Wooldridge, M.; Wooldridge, Mike; Wooldridge, M. J.; Wooldridge, Michal; Woolridge, Michael; Wooldrige, Mike
Homepage: http://www.cs.ox.ac.uk/people/michael.wooldridge/
External Links: MGP · Wikidata · Twitter · GND · IdRef
all top 5

Co-Authors

5 single-authored
34 van der Hoek, Wiebe
19 Gutierrez, Julian
16 Jennings, Nicholas R.
11 Harrenstein, Paul
11 Parsons, Simon D.
9 Ågotnes, Thomas
9 Dunne, Paul E.
9 Kraus, Sarit
9 Michalak, Tomasz P.
8 Perelli, Giuseppe
7 Fatima, Shaheen S.
6 Fisher, Michael
6 Lomuscio, Alessio
5 Elkind, Edith
5 McBurney, Peter
4 Rahwan, Talal
4 Sierra, Carles
3 Bordini, Rafael H.
3 de Vink, Erik P.
3 Dixon, Clare
3 Najib, Muhammad
3 Steeples, Thomas
3 Szczepanski, Piotr L.
2 Bachrach, Yoram
2 Bussmann, Stefan
2 Chalkiadakis, Georgios
2 Ciancarini, Paolo
2 Decker, Keith S.
2 Goldberg, Leslie Ann
2 Goldberg, Paul W.
2 Grant, John R.
2 Hazon, Noam
2 Huhns, Michael N.
2 Jamroga, Wojciech
2 Marchioni, Enrico
2 Müller, Jörg P.
2 Rodríguez-Aguilar, Juan Antonio
2 Rosenschein, Jeffrey S.
2 Sabater, Jordi
2 Schut, Martijn C.
2 Troquard, Nicolas
2 van Otterloo, Sieuwert
2 Vasconcelos, Wamberto W.
2 Walther, Dirk
2 Wolter, Frank
2 Zuckerman, Michael
1 Abate, Alessandro
1 Agustí, Jaume
1 Albrecht, Stefano V.
1 Amgoud, Leila
1 Aumann, Yonatan
1 Ballarini, Paolo
1 Blacoe, Ian
1 Bonanno, Giacomo
1 Bradfield, Julian Charles
1 Bryson, Joanna J.
1 Calinescu, Anisoara
1 Carey, Ryan
1 Coelho, Helder
1 DeLoach, Scott A.
1 Dickinson, Ian
1 Dowell, Andrew
1 Endriss, Ulle
1 Esteva, Marc
1 Everitt, Tom
1 Fatima, S. Shaheen
1 Fox, James
1 Gan, Jiarui
1 Giunchiglia, Fausto
1 Grossi, Davide
1 Gymtrasiewicz, Piotr
1 Hammond, Lewis
1 Han, Dongge
1 Hübner, Jomi Fred
1 Hunter, Anthony
1 Iliev, Petar
1 Kowara, Szymon
1 Lang, Jérôme
1 Laurence, Michael R.
1 Lutz, Carsten
1 Manisterski, Efrat
1 Moreira, Álvaro Freitas
1 Moyzes, Christos
1 Murano, Aniello
1 Nugent, Steven
1 Paulin, James
1 Peled, Doron A.
1 Perlis, Donald R.
1 Philpott, Jonathan
1 Rao, Anand S.
1 Ruan, Ji
1 Rubin, Sasha
1 Skibski, Oskar
1 Sklar, Elizabeth I.
1 Sless, Liat
1 Studer, Rudi
1 Tambe, Milind
1 Tamma, Valentina A. M.
1 Tarkowski, Mateusz K.
1 Toumi, Alexis
...and 9 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

111 Publications have been cited 871 times in 583 Documents Cited by Year
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013
van der Hoek, Wiebe; Wooldridge, Michael
64
2003
Weighted argument systems: basic definitions, algorithms, and complexity results. Zbl 1216.68261
Dunne, Paul E.; Hunter, Anthony; McBurney, Peter; Parsons, Simon; Wooldridge, Michael
52
2011
Reasoning about rational agents. Zbl 0998.68094
Wooldridge, Michael
50
2000
On the computational complexity of weighted voting games. Zbl 1185.91081
Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael
36
2009
Computational aspects of cooperative game theory. Zbl 1258.91005
Chalkiadakis, Georgios; Elkind, Edith; Wooldridge, Michael
35
2012
Programming multi-agent systems in AgentSpeak using Jason. Zbl 1132.68021
Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael
29
2007
Reasoning about coalitional games. Zbl 1180.68271
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
24
2009
Iterated Boolean games. Zbl 1318.91012
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
23
2015
Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037
Parsons, Simon; Wooldridge, Michael; Amgoud, Leila
22
2003
On the logic of cooperation and propositional control. Zbl 1132.68744
van der Hoek, Wiebe; Wooldridge, Michael
21
2005
An agenda-based framework for multi-issue negotiation. Zbl 1082.91510
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
19
2004
On the computational complexity of coalitional resource games. Zbl 1131.91011
Wooldridge, Michael; Dunne, Paul E.
16
2006
Towards a logic of rational agency. Zbl 1029.03014
van der Hoek, Wiebe; Wooldridge, Michael
16
2003
An introduction to game theory and decision theory. Zbl 1079.91500
Parsons, Simon; Wooldridge, Michael
15
2002
On the computational complexity of qualitative coalitional games. Zbl 1085.68070
Wooldridge, Michael; Dunne, Paul E.
14
2004
Incentive engineering for Boolean games. Zbl 1270.68340
Wooldridge, Michael; Endriss, Ulle; Kraus, Sarit; Lang, Jérôme
14
2013
A linear approximation method for the Shapley value. Zbl 1184.91029
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
13
2008
A tractable and expressive class of marginal contribution nets and its applications. Zbl 1175.91022
Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael
13
2009
On the evaluation of election outcomes under uncertainty. Zbl 1251.91029
Hazon, Noam; Aumann, Yonatan; Kraus, Sarit; Wooldridge, Michael
13
2012
Multi-issue negotiation with deadlines. Zbl 1205.91117
Fatima, S. S.; Wooldridge, M. J.; Jennings, N. R.
13
2006
Towards a theory of intention revision. Zbl 1120.03013
van der Hoek, Wiebe; Jamroga, Wojciech; Wooldridge, Michael
11
2007
Model checking knowledge and time. Zbl 1077.68708
van der Hoek, Wiebe; Wooldridge, Michael
11
2002
Resolution for temporal logics of knowledge. Zbl 0951.03007
Dixon, Clare; Fisher, Michael; Wooldridge, Michael
11
1998
A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011
Wooldridge, Michael; Dixon, Clare; Fisher, Michael
11
1998
From model checking to equilibrium checking: reactive modules for rational verification. Zbl 1420.68129
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
11
2017
Coalition structure generation: a survey. Zbl 1344.68249
Rahwan, Talal; Michalak, Tomasz P.; Wooldridge, Michael; Jennings, Nicholas R.
10
2015
Expressiveness and complexity results for strategic reasoning. Zbl 1374.68332
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
10
2015
ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael
10
2006
Social laws in alternating time: effectiveness, feasibility, and synthesis. Zbl 1120.68097
van der Hoek, Wiebe; Roberts, Mark; Wooldridge, Michael
10
2007
The complexity of contract negotiation. Zbl 1132.68539
Dunne, Paul E.; Wooldridge, Michael; Laurence, Michael
10
2005
A tool for the automated verification of Nash equilibria in concurrent games. Zbl 1471.68157
Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
9
2015
The cooperative problem-solving process. Zbl 0935.68099
Wooldridge, Michael; Jennings, Nicholas R.
9
1999
Agent technology. Foundations, applications, and markets. Zbl 0894.68039
9
1998
Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164
Wooldridge, Michael; Lomuscio, Alessio
9
2000
On obligations and normative ability: Towards a logical analysis of the social contract. Zbl 1081.03021
Wooldridge, Michael; van der Hoek, Wiebe
8
2005
Reasoning about equilibria in game-like concurrent systems. Zbl 1400.03057
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
8
2017
Reasoning about social choice functions. Zbl 1253.03044
Troquard, Nicolas; van der Hoek, Wiebe; Wooldridge, Michael
7
2011
Intelligent agents. ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands, August 8–9, 1994. Proceedings. Zbl 0825.00124
6
1995
A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203
Wooldridge, Michael; Lomuscio, Alessio
6
2001
The stochastic Shapley value for coalitional games with externalities. Zbl 1400.91030
Skibski, Oskar; Michalak, Tomasz P.; Wooldridge, Michael
6
2018
Equilibria of concurrent games on event structures. Zbl 1401.68228
Gutierrez, Julian; Wooldridge, Michael
6
2014
Anytime coalition structure generation in multi-agent systems with positive or negative externalities. Zbl 1251.68262
Rahwan, Talal; Michalak, Tomasz; Wooldridge, Michael; Jennings, Nicholas R.
6
2012
Quantified coalition logic. Zbl 1169.03020
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2008
The computational complexity of agent verification. Zbl 1050.68632
Wooldridge, Michael; Dunne, Paul E.
6
2002
Optimal negotiation strategies for agents with incomplete information. Zbl 1050.68615
Fatima, S. Shaheen; Wooldridge, Michael; Jennings, Nicholas R.
6
2002
Foundations of rational agency. Zbl 0912.00011
6
1999
Solving coalitional resource games. Zbl 1185.68752
Dunne, Paul E.; Kraus, Sarit; Manisterski, Efrat; Wooldridge, Michael
6
2010
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2010
Nash equilibrium and bisimulation invariance. Zbl 1442.68143
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
6
2017
Bargaining with incomplete information. Zbl 1123.91315
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
5
2005
A temporal logic of normative systems. Zbl 1156.03017
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
5
2009
Understanding flash crash contagion and systemic risk: a micro-macro agent-based approach. Zbl 1411.91525
Paulin, James; Calinescu, Anisoara; Wooldridge, Michael
4
2019
Efficient computation of semivalues for game-theoretic network centrality. Zbl 1454.91052
Tarkowski, Mateusz K.; Szczepański, Piotr L.; Michalak, Tomasz P.; Harrenstein, Paul; Wooldridge, Michael
4
2018
Logics for qualitative coalitional games. Zbl 1171.03008
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
4
2009
On the meta-logic of arguments. Zbl 1236.68270
Wooldridge, Michael; McBurney, Peter; Parsons, Simon
4
2006
Łukasiewicz games: a logic-based approach to quantitative strategic interactions. Zbl 1367.68289
Marchioni, Enrico; Wooldridge, Michael
3
2015
Automated game analysis via probabilistic model checking: a case study. Zbl 1273.68220
Ballarini, P.; Fisher, M.; Wooldridge, M. J.
3
2006
Boolean games with epistemic goals. Zbl 1407.03016
Ågotnes, Thomas; Harrenstein, Paul; van der Hoek, Wiebe; Wooldridge, Michael
3
2013
The influence of information on negotiation equilibrium. Zbl 1024.68712
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
3
2002
Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions. Zbl 0983.68771
3
2002
Reasoning about intentions in uncertain domains. Zbl 1001.68557
Schut, Martijn; Wooldridge, Michael; Parsons, Simon
3
2001
Reasoning about visibility, perception, and knowledge. Zbl 0961.68127
Wooldridge, Michael; Lomuscio, Alessio
3
2000
A decision procedure for a temporal belief logic. Zbl 0949.03504
Wooldridge, M.; Fisher, M.
3
1994
Imperfect information in reactive modules games. Zbl 1395.68188
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael
3
2018
Social laws and anti-social behaviour. Zbl 1253.68320
van der Hoek, Wiebe; Roberts, Mark; Wooldridge, Michael
3
2008
Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. Zbl 1053.68581
Wooldridge, Michael; van der Hoek, Wiebe
3
2002
On the formal semantics of speech-act based communication in an agent-oriented programming language. Zbl 1182.68110
Vieira, R.; Moreira, A. F.; Wooldridge, M.; Bordini, R. H.
3
2007
Nash equilibrium and bisimulation invariance. Zbl 1442.68142
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
3
2019
Sequential auctions for common value objects with budget constrained bidders. Zbl 1213.68634
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
3
2010
Reasoning about the transfer of control. Zbl 1191.68734
van der Hoek, W.; Walther, D.; Wooldridge, M.
3
2010
Automated temporal equilibrium analysis: verification and synthesis of multi-player games. Zbl 1493.68360
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael
3
2020
Completeness and complexity of multi-modal CTL. Zbl 1347.03028
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
2
2009
Bad equilibria (and what to do about them). Zbl 1327.68237
Wooldridge, Michael
2
2012
A centrality measure for networks with community structure based on a generalization of the Owen value. Zbl 1366.91127
Szczepański, Piotr L.; Michalak, Tomasz P.; Wooldridge, Michael
2
2014
Manipulating games by sharing information. Zbl 1329.91007
Grant, John; Kraus, Sarit; Wooldridge, Michael; Zuckerman, Inon
2
2014
Hard and soft preparation sets in Boolean games. Zbl 1422.91157
Harrenstein, Paul; Turrini, Paolo; Wooldridge, Michael
2
2016
On the relevance of utterances in formal inter-agent dialogues. Zbl 1135.68589
Parsons, Simon; McBurney, Peter; Sklar, Elizabeth; Wooldridge, Michael
2
2008
A hybrid exact algorithm for complete set partitioning. Zbl 1344.68271
Michalak, Tomasz; Rahwan, Talal; Elkind, Edith; Wooldridge, Michael; Jennings, Nicholas R.
2
2016
Issues in the design of negotiation protocols for logic-based agent communication languages. Zbl 1024.68896
Wooldridge, Michal; Parsons, Simon
2
2001
Agent-oriented software engineering. Zbl 0970.68611
Bussmann, Stefan; Ciancarini, Paolo; Decker, Keith; Huhns, Michael; Wooldridge, Michael
2
2000
Forming \(k\) coalitions and facilitating relationships in social networks. Zbl 1451.91155
Sless, Liat; Hazon, Noam; Kraus, Sarit; Wooldridge, Michael
2
2018
Logic and the foundations of game and decision theory (LOFT7). Revised papers presented at the 7th conference, Liverpool, UK, July 2006. Zbl 1237.03004
2
2008
Proof systems and transformation games. Zbl 1272.91022
Bachrach, Yoram; Zuckerman, Michael; Wooldridge, Michael; Rosenschein, Jeffrey S.
2
2013
Optimistic and disjunctive agent design problems. Zbl 1056.68575
Wooldridge, Michael; Dunne, Paul E.
2
2001
Rapid prototyping of large multi-agent systems through logic programming. Zbl 1077.68014
Vasconcelos, W.; Robertson, D.; Sierra, C.; Esteva, M.; Sabater, J.; Wooldridge, M.
2
2004
Postulates for revising BDI structures. Zbl 1215.03012
Grant, John; Kraus, Sarit; Perlis, Donald; Wooldridge, Michael
2
2010
Verification of games in the game description language. Zbl 1185.68678
Ruan, Ji; van der Hoek, Wiebe; Wooldridge, Michael
2
2009
Property-based slicing for agent verification. Zbl 1185.68751
Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem
2
2009
Conservative social laws. Zbl 1327.68294
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
1
2012
Delegating decisions in strategic settings. Zbl 1327.91056
Kraus, Sarit; Wooldridge, Michael
1
2012
Bargaining for coalition structure formation. Zbl 1366.91008
Fatima, Shaheen; Michalak, Tomasz; Wooldridge, Michael
1
2014
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. Zbl 1397.91017
Bradfield, Julian; Gutierrez, Julian; Wooldridge, Michael
1
2016
Temporal and dynamic logic. Zbl 1273.03066
Wolter, Frank; Wooldridge, Michael
1
2011
An ontology based approach to automated negotiation. Zbl 1024.68866
Tamma, Valentina; Wooldridge, Michael; Blacoe, Ian; Dickinson, Ian
1
2002
Intelligent agents II, Agent theories, architectures, and languages. IJCAI ’95 workshop (ATAL), Montréal, Canada, August 19–20, 1995. Proceedings. Zbl 0864.68094
1
1996
Practical reasoning with procedural knowledge (a logic of BDI agents with know-how). Zbl 1419.68138
Wooldridge, Michael
1
1996
Multi-modal CTL: completeness, complexity, and an application. Zbl 1185.03023
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
1
2009
A logical characterisation of qualitative coalitional games. Zbl 1187.68622
Dunne, Paul E.; van der Hoek, Wiebe; Wooldridge, Michael
1
2007
On partially observable MDPs and BDI models. Zbl 1048.68902
Schut, Martijn; Wooldridge, Michael; Parsons, Simon
1
2002
Program equilibrium – a program reasoning approach. Zbl 1271.91014
van der Hoek, Wiebe; Witteveen, Cees; Wooldridge, Michael
1
2013
Reasoning about causality in games. Zbl 07702955
Hammond, Lewis; Fox, James; Everitt, Tom; Carey, Ryan; Abate, Alessandro; Wooldridge, Michael
1
2023
Equilibria for games with combined qualitative and quantitative objectives. Zbl 1483.68193
Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael
1
2021
Automated temporal equilibrium analysis: verification and synthesis of multi-player games. Zbl 1493.68360
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael
3
2020
Understanding flash crash contagion and systemic risk: a micro-macro agent-based approach. Zbl 1411.91525
Paulin, James; Calinescu, Anisoara; Wooldridge, Michael
4
2019
Nash equilibrium and bisimulation invariance. Zbl 1442.68142
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
3
2019
Equilibrium design for concurrent games. Zbl 07649930
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael
1
2019
The stochastic Shapley value for coalitional games with externalities. Zbl 1400.91030
Skibski, Oskar; Michalak, Tomasz P.; Wooldridge, Michael
6
2018
Efficient computation of semivalues for game-theoretic network centrality. Zbl 1454.91052
Tarkowski, Mateusz K.; Szczepański, Piotr L.; Michalak, Tomasz P.; Harrenstein, Paul; Wooldridge, Michael
4
2018
Imperfect information in reactive modules games. Zbl 1395.68188
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael
3
2018
Forming \(k\) coalitions and facilitating relationships in social networks. Zbl 1451.91155
Sless, Liat; Hazon, Noam; Kraus, Sarit; Wooldridge, Michael
2
2018
From model checking to equilibrium checking: reactive modules for rational verification. Zbl 1420.68129
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
11
2017
Reasoning about equilibria in game-like concurrent systems. Zbl 1400.03057
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
8
2017
Nash equilibrium and bisimulation invariance. Zbl 1442.68143
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
6
2017
Hard and soft preparation sets in Boolean games. Zbl 1422.91157
Harrenstein, Paul; Turrini, Paolo; Wooldridge, Michael
2
2016
A hybrid exact algorithm for complete set partitioning. Zbl 1344.68271
Michalak, Tomasz; Rahwan, Talal; Elkind, Edith; Wooldridge, Michael; Jennings, Nicholas R.
2
2016
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. Zbl 1397.91017
Bradfield, Julian; Gutierrez, Julian; Wooldridge, Michael
1
2016
Iterated Boolean games. Zbl 1318.91012
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
23
2015
Coalition structure generation: a survey. Zbl 1344.68249
Rahwan, Talal; Michalak, Tomasz P.; Wooldridge, Michael; Jennings, Nicholas R.
10
2015
Expressiveness and complexity results for strategic reasoning. Zbl 1374.68332
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
10
2015
A tool for the automated verification of Nash equilibria in concurrent games. Zbl 1471.68157
Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
9
2015
Łukasiewicz games: a logic-based approach to quantitative strategic interactions. Zbl 1367.68289
Marchioni, Enrico; Wooldridge, Michael
3
2015
Equilibria of concurrent games on event structures. Zbl 1401.68228
Gutierrez, Julian; Wooldridge, Michael
6
2014
A centrality measure for networks with community structure based on a generalization of the Owen value. Zbl 1366.91127
Szczepański, Piotr L.; Michalak, Tomasz P.; Wooldridge, Michael
2
2014
Manipulating games by sharing information. Zbl 1329.91007
Grant, John; Kraus, Sarit; Wooldridge, Michael; Zuckerman, Inon
2
2014
Bargaining for coalition structure formation. Zbl 1366.91008
Fatima, Shaheen; Michalak, Tomasz; Wooldridge, Michael
1
2014
Incentive engineering for Boolean games. Zbl 1270.68340
Wooldridge, Michael; Endriss, Ulle; Kraus, Sarit; Lang, Jérôme
14
2013
Boolean games with epistemic goals. Zbl 1407.03016
Ågotnes, Thomas; Harrenstein, Paul; van der Hoek, Wiebe; Wooldridge, Michael
3
2013
Proof systems and transformation games. Zbl 1272.91022
Bachrach, Yoram; Zuckerman, Michael; Wooldridge, Michael; Rosenschein, Jeffrey S.
2
2013
Program equilibrium – a program reasoning approach. Zbl 1271.91014
van der Hoek, Wiebe; Witteveen, Cees; Wooldridge, Michael
1
2013
Computational aspects of cooperative game theory. Zbl 1258.91005
Chalkiadakis, Georgios; Elkind, Edith; Wooldridge, Michael
35
2012
On the evaluation of election outcomes under uncertainty. Zbl 1251.91029
Hazon, Noam; Aumann, Yonatan; Kraus, Sarit; Wooldridge, Michael
13
2012
Anytime coalition structure generation in multi-agent systems with positive or negative externalities. Zbl 1251.68262
Rahwan, Talal; Michalak, Tomasz; Wooldridge, Michael; Jennings, Nicholas R.
6
2012
Bad equilibria (and what to do about them). Zbl 1327.68237
Wooldridge, Michael
2
2012
Conservative social laws. Zbl 1327.68294
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
1
2012
Delegating decisions in strategic settings. Zbl 1327.91056
Kraus, Sarit; Wooldridge, Michael
1
2012
Weighted argument systems: basic definitions, algorithms, and complexity results. Zbl 1216.68261
Dunne, Paul E.; Hunter, Anthony; McBurney, Peter; Parsons, Simon; Wooldridge, Michael
52
2011
Reasoning about social choice functions. Zbl 1253.03044
Troquard, Nicolas; van der Hoek, Wiebe; Wooldridge, Michael
7
2011
Temporal and dynamic logic. Zbl 1273.03066
Wolter, Frank; Wooldridge, Michael
1
2011
Solving coalitional resource games. Zbl 1185.68752
Dunne, Paul E.; Kraus, Sarit; Manisterski, Efrat; Wooldridge, Michael
6
2010
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2010
Sequential auctions for common value objects with budget constrained bidders. Zbl 1213.68634
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
3
2010
Reasoning about the transfer of control. Zbl 1191.68734
van der Hoek, W.; Walther, D.; Wooldridge, M.
3
2010
Postulates for revising BDI structures. Zbl 1215.03012
Grant, John; Kraus, Sarit; Perlis, Donald; Wooldridge, Michael
2
2010
Proof systems and transformation games. Zbl 1273.91029
Bachrach, Yoram; Zuckerman, Michael; Wooldridge, Michael; Rosenschein, Jeffrey S.
1
2010
ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Zbl 1207.68003
1
2010
On the computational complexity of weighted voting games. Zbl 1185.91081
Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael
36
2009
Reasoning about coalitional games. Zbl 1180.68271
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
24
2009
A tractable and expressive class of marginal contribution nets and its applications. Zbl 1175.91022
Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael
13
2009
A temporal logic of normative systems. Zbl 1156.03017
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
5
2009
Logics for qualitative coalitional games. Zbl 1171.03008
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
4
2009
Completeness and complexity of multi-modal CTL. Zbl 1347.03028
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
2
2009
Verification of games in the game description language. Zbl 1185.68678
Ruan, Ji; van der Hoek, Wiebe; Wooldridge, Michael
2
2009
Property-based slicing for agent verification. Zbl 1185.68751
Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem
2
2009
Multi-modal CTL: completeness, complexity, and an application. Zbl 1185.03023
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
1
2009
Model checking strategic equilibria. Zbl 1226.68044
Troquard, Nicolas; van der Hoek, Wiebe; Wooldridge, Michael
1
2009
A linear approximation method for the Shapley value. Zbl 1184.91029
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
13
2008
Quantified coalition logic. Zbl 1169.03020
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2008
Social laws and anti-social behaviour. Zbl 1253.68320
van der Hoek, Wiebe; Roberts, Mark; Wooldridge, Michael
3
2008
On the relevance of utterances in formal inter-agent dialogues. Zbl 1135.68589
Parsons, Simon; McBurney, Peter; Sklar, Elizabeth; Wooldridge, Michael
2
2008
Logic and the foundations of game and decision theory (LOFT7). Revised papers presented at the 7th conference, Liverpool, UK, July 2006. Zbl 1237.03004
2
2008
Programming multi-agent systems in AgentSpeak using Jason. Zbl 1132.68021
Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael
29
2007
Towards a theory of intention revision. Zbl 1120.03013
van der Hoek, Wiebe; Jamroga, Wojciech; Wooldridge, Michael
11
2007
Social laws in alternating time: effectiveness, feasibility, and synthesis. Zbl 1120.68097
van der Hoek, Wiebe; Roberts, Mark; Wooldridge, Michael
10
2007
On the formal semantics of speech-act based communication in an agent-oriented programming language. Zbl 1182.68110
Vieira, R.; Moreira, A. F.; Wooldridge, M.; Bordini, R. H.
3
2007
A logical characterisation of qualitative coalitional games. Zbl 1187.68622
Dunne, Paul E.; van der Hoek, Wiebe; Wooldridge, Michael
1
2007
On the computational complexity of coalitional resource games. Zbl 1131.91011
Wooldridge, Michael; Dunne, Paul E.
16
2006
Multi-issue negotiation with deadlines. Zbl 1205.91117
Fatima, S. S.; Wooldridge, M. J.; Jennings, N. R.
13
2006
ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael
10
2006
On the meta-logic of arguments. Zbl 1236.68270
Wooldridge, Michael; McBurney, Peter; Parsons, Simon
4
2006
Automated game analysis via probabilistic model checking: a case study. Zbl 1273.68220
Ballarini, P.; Fisher, M.; Wooldridge, M. J.
3
2006
On the logic of cooperation and propositional control. Zbl 1132.68744
van der Hoek, Wiebe; Wooldridge, Michael
21
2005
The complexity of contract negotiation. Zbl 1132.68539
Dunne, Paul E.; Wooldridge, Michael; Laurence, Michael
10
2005
On obligations and normative ability: Towards a logical analysis of the social contract. Zbl 1081.03021
Wooldridge, Michael; van der Hoek, Wiebe
8
2005
Bargaining with incomplete information. Zbl 1123.91315
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
5
2005
An agenda-based framework for multi-issue negotiation. Zbl 1082.91510
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
19
2004
On the computational complexity of qualitative coalitional games. Zbl 1085.68070
Wooldridge, Michael; Dunne, Paul E.
14
2004
Rapid prototyping of large multi-agent systems through logic programming. Zbl 1077.68014
Vasconcelos, W.; Robertson, D.; Sierra, C.; Esteva, M.; Sabater, J.; Wooldridge, M.
2
2004
Knowledge as strategic ability. Zbl 1270.68181
van Otterloo, Sieuwert; van der Hoek, Wiebe; Wooldridge, Michael
1
2004
Social laws in alternating time (joint with Wiebe van der Hoek and Mark Roberts). Zbl 1169.68619
Wooldridge, Michael
1
2004
On obligations and abilities. Zbl 1169.68616
Jamroga, Wojciech; van der Hoek, Wiebe; Wooldridge, Michael
1
2004
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013
van der Hoek, Wiebe; Wooldridge, Michael
64
2003
Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037
Parsons, Simon; Wooldridge, Michael; Amgoud, Leila
22
2003
Towards a logic of rational agency. Zbl 1029.03014
van der Hoek, Wiebe; Wooldridge, Michael
16
2003
An introduction to game theory and decision theory. Zbl 1079.91500
Parsons, Simon; Wooldridge, Michael
15
2002
Model checking knowledge and time. Zbl 1077.68708
van der Hoek, Wiebe; Wooldridge, Michael
11
2002
The computational complexity of agent verification. Zbl 1050.68632
Wooldridge, Michael; Dunne, Paul E.
6
2002
Optimal negotiation strategies for agents with incomplete information. Zbl 1050.68615
Fatima, S. Shaheen; Wooldridge, Michael; Jennings, Nicholas R.
6
2002
The influence of information on negotiation equilibrium. Zbl 1024.68712
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
3
2002
Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions. Zbl 0983.68771
3
2002
Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. Zbl 1053.68581
Wooldridge, Michael; van der Hoek, Wiebe
3
2002
An ontology based approach to automated negotiation. Zbl 1024.68866
Tamma, Valentina; Wooldridge, Michael; Blacoe, Ian; Dickinson, Ian
1
2002
On partially observable MDPs and BDI models. Zbl 1048.68902
Schut, Martijn; Wooldridge, Michael; Parsons, Simon
1
2002
Intelligent agents: The key concepts. Zbl 1048.68574
Wooldridge, Michael
1
2002
A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203
Wooldridge, Michael; Lomuscio, Alessio
6
2001
Reasoning about intentions in uncertain domains. Zbl 1001.68557
Schut, Martijn; Wooldridge, Michael; Parsons, Simon
3
2001
Issues in the design of negotiation protocols for logic-based agent communication languages. Zbl 1024.68896
Wooldridge, Michal; Parsons, Simon
2
2001
Optimistic and disjunctive agent design problems. Zbl 1056.68575
Wooldridge, Michael; Dunne, Paul E.
2
2001
Reasoning about rational agents. Zbl 0998.68094
Wooldridge, Michael
50
2000
Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164
Wooldridge, Michael; Lomuscio, Alessio
9
2000
Reasoning about visibility, perception, and knowledge. Zbl 0961.68127
Wooldridge, Michael; Lomuscio, Alessio
3
2000
...and 11 more Documents
all top 5

Cited by 1,032 Authors

46 Wooldridge, Michael J.
20 van der Hoek, Wiebe
14 Gutierrez, Julian
13 Fisher, Michael
12 Dixon, Clare
11 Lorini, Emiliano
11 Rybakov, Vladimir Vladimirovich
10 Ågotnes, Thomas
10 Kraus, Sarit
9 Jennings, Nicholas R.
8 Bachrach, Yoram
8 Dastani, Mehdi M.
8 Goranko, Valentin F.
8 Lomuscio, Alessio
8 Pacuit, Eric
8 Perelli, Giuseppe
8 Rothe, Jörg-Matthias
7 Amgoud, Leila
7 Greco, Gianluigi
7 Harrenstein, Paul
7 Jamroga, Wojciech
7 Michalak, Tomasz P.
7 Naumov, Pavel G.
6 Alechina, Natasha
6 Dunne, Paul E.
6 Endriss, Ulle
6 Herzig, Andreas
6 Lang, Jérôme
6 Logan, Brian
6 Murano, Aniello
5 Baroni, Pietro
5 Belardinelli, Francesco
5 Bench-Capon, Trevor J. M.
5 Chevaleyre, Yann
5 Elkind, Edith
5 Gatti, Nicola
5 Godo, Lluís
5 Hunter, Anthony
5 Kwiatkowska, Marta Z.
5 Perrussel, Laurent
5 Rahwan, Talal
5 Sierra, Carles
5 van der Torre, Leendert W. N.
5 Yokoo, Makoto
4 Atkinson, Katie
4 Bordini, Rafael H.
4 Broersen, Jan M.
4 Dix, Jurgen
4 Giacomin, Massimiliano
4 Könemann, Jochen
4 Lagasquie-Schiex, Marie-Christine
4 McBurney, Peter
4 Meyer, John-Jules Charles
4 Mogavero, Fabio
4 Parsons, Simon D.
4 Rosenschein, Jeffrey S.
4 Sanità, Laura
4 Schwarzentruber, François
4 van Ditmarsch, Hans Pieter
3 Aziz, Haris
3 Bassiliades, Nick
3 Benerecetti, Massimo
3 Besnard, Philippe
3 Bikakis, Antonis
3 Biró, Peter
3 Bonzon, Elise
3 Budán, Maximiliano C. D.
3 Bulling, Nils
3 Chen, Qingliang
3 de Haan, Ronald
3 Dignum, F. P. M.
3 Fatima, Shaheen S.
3 Fazzinga, Bettina
3 Flesca, Sergio
3 Flouris, Giorgos
3 Gabbay, Dov M.
3 Gaggl, Sarah Alice
3 Gaspers, Serge
3 Grandi, Umberto
3 Grant, John R.
3 Hustadt, Ullrich
3 Konev, Boris
3 Kooi, Barteld Pieter
3 Liao, Beishui
3 Malvone, Vadim
3 Manuel, Conrado Miguel
3 Mattei, Nicholas
3 Maudet, Nicolas
3 Molinero, Xavier
3 Najib, Muhammad
3 Nguyen, Tri-Dung
3 Panisson, Alison R.
3 Pashkovich, Kanstantsin
3 Paul, Soumya
3 Penczek, Wojciech
3 Rakib, Abdur
3 Rastegari, Baharak
3 Rey, Anja
3 Rubin, Sasha
3 Sakurai, Yuko
...and 932 more Authors
all top 5

Cited in 113 Serials

98 Artificial Intelligence
26 Annals of Mathematics and Artificial Intelligence
25 International Journal of Approximate Reasoning
18 Synthese
14 Information and Computation
14 Journal of Applied Logic
13 Studia Logica
13 Theoretical Computer Science
13 Journal of Applied Non-Classical Logics
12 European Journal of Operational Research
11 Journal of Logic, Language and Information
10 The Journal of Artificial Intelligence Research (JAIR)
9 ACM Transactions on Computational Logic
8 Information Sciences
7 Journal of Philosophical Logic
7 Mathematical Social Sciences
6 Mathematical Programming. Series A. Series B
6 Theory of Computing Systems
5 Games
4 Lithuanian Mathematical Journal
4 Mathematical Logic Quarterly (MLQ)
4 International Game Theory Review
4 The Review of Symbolic Logic
3 Siberian Mathematical Journal
3 Operations Research Letters
3 Annals of Pure and Applied Logic
3 Social Choice and Welfare
3 Computers & Operations Research
3 AI Communications
3 Annals of Operations Research
3 Top
3 Constraints
3 Theory and Practice of Logic Programming
2 Discrete Applied Mathematics
2 Automatica
2 International Journal of Game Theory
2 New Generation Computing
2 International Journal of Intelligent Systems
2 Journal of Economic Dynamics & Control
2 Applicable Algebra in Engineering, Communication and Computing
2 Cybernetics and Systems Analysis
2 Formal Methods in System Design
2 Complexity
2 Computational & Mathematical Organization Theory
2 Computational Intelligence
2 Science in China. Series F
2 Logical Methods in Computer Science
2 Frontiers of Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 Journal of the Franklin Institute
1 Physica A
1 Algebra and Logic
1 Applied Mathematics and Computation
1 Computing
1 Fuzzy Sets and Systems
1 Mathematics and Computers in Simulation
1 Mathematics of Operations Research
1 Programming and Computer Software
1 Software. Practice & Experience
1 Theory and Decision
1 Optimal Control Applications & Methods
1 Cybernetics and Systems
1 Science of Computer Programming
1 International Journal of Production Research
1 Algorithmica
1 Discrete & Computational Geometry
1 Journal of Automated Reasoning
1 Mathematical and Computer Modelling
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Journal of Intelligent & Robotic Systems
1 MSCS. Mathematical Structures in Computer Science
1 Journal of Global Optimization
1 Applied Intelligence
1 Games and Economic Behavior
1 Applied Mathematical Modelling
1 Linear Algebra and its Applications
1 Vestnik St. Petersburg University. Mathematics
1 Computational Economics
1 International Transactions in Operational Research
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 European Journal of Control
1 Soft Computing
1 Mathematical Methods of Operations Research
1 Erkenntnis
1 International Journal of Applied Mathematics and Computer Science
1 Fundamenta Informaticae
1 Methodology and Computing in Applied Probability
1 Lobachevskii Journal of Mathematics
1 RAIRO. Operations Research
1 Logic and Logical Philosophy
1 Advances in Complex Systems
1 International Journal of Wavelets, Multiresolution and Information Processing
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Logica Universalis
1 The B. E. Journal of Theoretical Economics
1 International Journal of Intelligent Computing and Cybernetics
1 Operational Research. An International Journal
1 Algorithms
...and 13 more Serials

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.