×

zbMATH — the first resource for mathematics

Wooldridge, Michael J.

Compute Distance To:
Author ID: wooldridge.michael-j Recent zbMATH articles by "Wooldridge, Michael J."
Published as: Wooldridge, M.; Wooldridge, M. J.; Wooldridge, Michael; Wooldridge, Michael J.
Documents Indexed: 125 Publications since 1994, including 14 Books
all top 5

Co-Authors

6 single-authored
29 van der Hoek, Wiebe
14 Jennings, Nicholas R.
13 Gutierrez, Julian
10 Harrenstein, Paul
10 Parsons, Simon D.
9 Ågotnes, Thomas
9 Dunne, Paul E.
9 Michalak, Tomasz P.
8 Fatima, Shaheen S.
7 Kraus, Sarit
5 McBurney, Peter
5 Perelli, Giuseppe
4 Elkind, Edith
4 Rahwan, Talal
4 Sierra, Carles
3 Bordini, Rafael H.
3 Lomuscio, Alessio
3 Szczepanski, Piotr L.
2 Bachrach, Yoram
2 Bussmann, Stefan
2 Ciancarini, Paolo
2 Decker, Keith S.
2 Dixon, Clare
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 A.
2 Rosenschein, Jeffrey S.
2 Sabater, Jordi
2 Schut, Martijn C.
2 Troquard, Nicolas
2 van Otterloo, Sieuwert
2 Vasconcelos, Wamberto
2 Wolter, Frank
2 Zuckerman, Michael
1 Agustí, Jaume
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 Chalkiadakis, Georgios
1 Coelho, Helder
1 DeLoach, Scott A.
1 Dickinson, Ian
1 Dowell, Andrew
1 Endriss, Ulle
1 Esteva, Marc
1 Fatima, S. Shaheen
1 Fisher, Matthew P. A.
1 Fisher, Michael E.
1 Fisher, Michael J.
1 Fisher, Michael W.
1 Grossi, Davide
1 Gymtrasiewicz, Piotr
1 Han, Dongge
1 Hübner, Jomi Fred
1 Hunter, Anthony
1 Iliev, Petar
1 Lang, Jérôme
1 Laurence, Michael R.
1 Lutz, Carsten
1 Manisterski, Efrat
1 Moreira, Álvaro Freitas
1 Moyzes, Christos
1 Najib, Muhammad
1 Nugent, Steven
1 Paulin, James
1 Peled, Doron A.
1 Perlis, Donald R.
1 Philpott, Jonathan
1 Rao, Anand S.
1 Roberts, Richard Mark
1 Roberts, Mark
1 Robertson, Dale M.
1 Robertson, David I.
1 Ruan, Ji
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
1 Turrini, Paolo
1 Veloso, Manuela M.
1 Vieira, Renata
1 Visser, Willem
1 Walther, Dirk
1 Walton, Christopher D.
1 Weiß, Gerhard
...and 2 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

100 Publications have been cited 682 times in 449 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
49
2003
Reasoning about rational agents. Zbl 0998.68094
Wooldridge, Michael
39
2000
Weighted argument systems: basic definitions, algorithms, and complexity results. Zbl 1216.68261
Dunne, Paul E.; Hunter, Anthony; McBurney, Peter; Parsons, Simon; Wooldridge, Michael
33
2011
Computational aspects of cooperative game theory. Zbl 1258.91005
Chalkiadakis, Georgios; Elkind, Edith; Wooldridge, Michael
30
2012
On the computational complexity of weighted voting games. Zbl 1185.91081
Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael
30
2009
An introduction to game theory and decision theory. Zbl 1079.91500
Parsons, Simon; Wooldridge, Michael
30
2002
Programming multi-agent systems in AgentSpeak using Jason. Zbl 1132.68021
Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael
23
2007
Reasoning about coalitional games. Zbl 1180.68271
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
17
2009
An agenda-based framework for multi-issue negotiation. Zbl 1082.91510
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
17
2004
Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037
Parsons, Simon; Wooldridge, Michael; Amgoud, Leila
17
2003
On the logic of cooperation and propositional control. Zbl 1132.68744
van der Hoek, Wiebe; Wooldridge, Michael
14
2005
Iterated Boolean games. Zbl 1318.91012
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
13
2015
On the computational complexity of coalitional resource games. Zbl 1131.91011
Wooldridge, Michael; Dunne, Paul E.
13
2006
Towards a logic of rational agency. Zbl 1029.03014
van der Hoek, Wiebe; Wooldridge, Michael
13
2003
On the computational complexity of qualitative coalitional games. Zbl 1085.68070
Wooldridge, Michael; Dunne, Paul E.
12
2004
Incentive engineering for Boolean games. Zbl 1270.68340
Wooldridge, Michael; Endriss, Ulle; Kraus, Sarit; Lang, Jérôme
11
2013
Towards a theory of intention revision. Zbl 1120.03013
van der Hoek, Wiebe; Jamroga, Wojciech; Wooldridge, Michael
11
2007
Resolution for temporal logics of knowledge. Zbl 0951.03007
Dixon, Clare; Fisher, Michael; Wooldridge, Michael
11
1998
Agent technology. Foundations, applications, and markets. Zbl 0894.68039
Jennings, Nicholas R. (ed.); Wooldridge, Michael J. (ed.)
11
1998
On the evaluation of election outcomes under uncertainty. Zbl 1251.91029
Hazon, Noam; Aumann, Yonatan; Kraus, Sarit; Wooldridge, Michael
10
2012
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
10
2009
A linear approximation method for the Shapley value. Zbl 1184.91029
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
10
2008
Reasoning about equilibria in game-like concurrent systems. Zbl 1400.03057
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
9
2017
Expressiveness and complexity results for strategic reasoning. Zbl 1374.68332
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
9
2015
The complexity of contract negotiation. Zbl 1132.68539
Dunne, Paul E.; Wooldridge, Michael; Laurence, Michael
9
2005
Model checking knowledge and time. Zbl 1077.68708
van der Hoek, Wiebe; Wooldridge, Michael
9
2002
Social laws in alternating time: effectiveness, feasibility, and synthesis. Zbl 1120.68097
van der Hoek, Wiebe; Roberts, Mark; Wooldridge, Michael
8
2007
Multi-issue negotiation with deadlines. Zbl 1205.91117
Fatima, S. S.; Wooldridge, M. J.; Jennings, N. R.
8
2006
A tool for the automated verification of Nash equilibria in concurrent games. Zbl 06545749
Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
7
2015
Quantified coalition logic. Zbl 1169.03020
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
7
2008
ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael
7
2006
Optimal negotiation strategies for agents with incomplete information. Zbl 1050.68615
Fatima, S. Shaheen; Wooldridge, Michael; Jennings, Nicholas R.
7
2002
Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164
Wooldridge, Michael; Lomuscio, Alessio
7
2000
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2010
The computational complexity of agent verification. Zbl 1050.68632
Wooldridge, Michael; Dunne, Paul E.
6
2002
A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203
Wooldridge, Michael; Lomuscio, Alessio
6
2001
From model checking to equilibrium checking: reactive modules for rational verification. Zbl 1420.68129
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
5
2017
Equilibria of concurrent games on event structures. Zbl 1401.68228
Gutierrez, Julian; Wooldridge, Michael
5
2014
On the meta-logic of arguments. Zbl 1236.68270
Wooldridge, Michael; McBurney, Peter; Parsons, Simon
5
2006
Bargaining with incomplete information. Zbl 1123.91315
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
5
2005
On obligations and normative ability: Towards a logical analysis of the social contract. Zbl 1081.03021
Wooldridge, Michael; van der Hoek, Wiebe
5
2005
Intelligent agents. ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands, August 8-9, 1994. Proceedings. Zbl 0825.00124
Wooldridge, Michael (ed.); Jennings, Nicholas R. (ed.)
5
1995
Coalition structure generation: a survey. Zbl 1344.68249
Rahwan, Talal; Michalak, Tomasz P.; Wooldridge, Michael; Jennings, Nicholas R.
4
2015
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.
4
2012
Reasoning about social choice functions. Zbl 1253.03044
Troquard, Nicolas; van der Hoek, Wiebe; Wooldridge, Michael
4
2011
Solving coalitional resource games. Zbl 1185.68752
Dunne, Paul E.; Kraus, Sarit; Manisterski, Efrat; Wooldridge, Michael
4
2010
A temporal logic of normative systems. Zbl 1156.03017
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
4
2009
Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. Zbl 1053.68581
Wooldridge, Michael; van der Hoek, Wiebe
4
2002
Foundations of rational agency. Zbl 0912.00011
Wooldridge, Michael (ed.); Rao, Anand (ed.)
4
1999
The stochastic Shapley value for coalitional games with externalities. Zbl 1400.91030
Skibski, Oskar; Michalak, Tomasz P.; Wooldridge, Michael
3
2018
Hard and soft preparation sets in Boolean games. Zbl 1422.91157
Harrenstein, Paul; Turrini, Paolo; Wooldridge, Michael
3
2016
A hybrid exact algorithm for complete set partitioning. Zbl 1344.68271
Michalak, Tomasz; Rahwan, Talal; Elkind, Edith; Wooldridge, Michael; Jennings, Nicholas R.
3
2016
Łukasiewicz games: a logic-based approach to quantitative strategic interactions. Zbl 1367.68289
Marchioni, Enrico; Wooldridge, Michael
3
2015
Boolean games with epistemic goals. Zbl 1407.03016
Ågotnes, Thomas; Harrenstein, Paul; van der Hoek, Wiebe; Wooldridge, Michael
3
2013
Sequential auctions for common value objects with budget constrained bidders. Zbl 1213.68634
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
3
2010
Logics for qualitative coalitional games. Zbl 1171.03008
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
3
2009
Social laws and anti-social behaviour. Zbl 1253.68320
van der Hoek, Wiebe; Roberts, Mark; Wooldridge, Michael
3
2008
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
The influence of information on negotiation equilibrium. Zbl 1024.68712
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
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
Nash equilibrium and bisimulation invariance. Zbl 1442.68142
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
2
2019
Understanding flash crash contagion and systemic risk: a micro-macro agent-based approach. Zbl 1411.91525
Paulin, James; Calinescu, Anisoara; Wooldridge, Michael
2
2019
Imperfect information in reactive modules games. Zbl 1395.68188
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael
2
2018
Nash equilibrium and bisimulation invariance. Zbl 1442.68143
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
2
2017
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
Proof systems and transformation games. Zbl 1272.91022
Bachrach, Yoram; Zuckerman, Michael; Wooldridge, Michael; Rosenschein, Jeffrey S.
2
2013
Bad equilibria (and what to do about them). Zbl 1327.68237
Wooldridge, Michael
2
2012
Postulates for revising BDI structures. Zbl 1215.03012
Grant, John; Kraus, Sarit; Perlis, Donald; Wooldridge, Michael
2
2010
Reasoning about the transfer of control. Zbl 1191.68734
van der Hoek, W.; Walther, D.; Wooldridge, M.
2
2010
Completeness and complexity of multi-modal CTL. Zbl 1347.03028
Ågotnes, Thomas; 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
Verification of games in the game description language. Zbl 1185.68678
Ruan, Ji; van der Hoek, Wiebe; Wooldridge, Michael
2
2009
On the relevance of utterances in formal inter-agent dialogues. Zbl 1135.68589
Parsons, Simon; McBurney, Peter; Sklar, Elizabeth; Wooldridge, Michael
2
2008
Automated game analysis via probabilistic model checking: a case study. Zbl 1273.68220
Ballarini, P.; Fisher, M.; Wooldridge, M. J.
2
2006
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
Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions. Zbl 0983.68771
Wooldridge, Michael J. (ed.); Weiß, Gerhard (ed.); Ciancarini, Paolo (ed.)
2
2002
Optimistic and disjunctive agent design problems. Zbl 1056.68575
Wooldridge, Michael; Dunne, Paul E.
2
2001
Agent-oriented software engineering. Zbl 0970.68611
Bussmann, Stefan; Ciancarini, Paolo; Decker, Keith; Huhns, Michael; Wooldridge, Michael
2
2000
A decision procedure for a temporal belief logic. Zbl 0949.03504
Wooldridge, M.; Fisher, M.
2
1994
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
1
2018
Forming \(k\) coalitions and facilitating relationships in social networks. Zbl 1451.91155
Sless, Liat; Hazon, Noam; Kraus, Sarit; Wooldridge, Michael
1
2018
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
Bargaining for coalition structure formation. Zbl 1366.91008
Fatima, Shaheen; Michalak, Tomasz; Wooldridge, Michael
1
2014
Program equilibrium – a program reasoning approach. Zbl 1271.91014
van der Hoek, Wiebe; Witteveen, Cees; Wooldridge, Michael
1
2013
Delegating decisions in strategic settings. Zbl 1327.91056
Kraus, Sarit; Wooldridge, Michael
1
2012
Temporal and dynamic logic. Zbl 1273.03066
Wolter, Frank; Wooldridge, Michael
1
2011
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
Coelho, Helder (ed.); Studer, Rudi (ed.); Wooldridge, Michael (ed.)
1
2010
Proof systems and transformation games. Zbl 1273.91029
Bachrach, Yoram; Zuckerman, Michael; Wooldridge, Michael; Rosenschein, Jeffrey S.
1
2010
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
Logic and the foundations of game and decision theory (LOFT7). Revised papers presented at the 7th conference, Liverpool, UK, July 2006. Zbl 1237.03004
Bonanno, Giacomo (ed.); van der Hoek, Wiebe (ed.); Wooldridge, Michael (ed.)
1
2008
A logical characterisation of qualitative coalitional games. Zbl 1187.68622
Dunne, Paul E.; van der Hoek, Wiebe; Wooldridge, Michael
1
2007
Knowledge as strategic ability. Zbl 1270.68181
van Otterloo, Sieuwert; van der Hoek, Wiebe; Wooldridge, Michael
1
2004
On obligations and abilities. Zbl 1169.68616
Jamroga, Wojciech; 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 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
Artificial intelligence today. Recent trends and development. Zbl 0921.00013
Wooldridge, Michael J. (ed.); Veloso, Manuela (ed.)
1
1999
Nash equilibrium and bisimulation invariance. Zbl 1442.68142
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
2
2019
Understanding flash crash contagion and systemic risk: a micro-macro agent-based approach. Zbl 1411.91525
Paulin, James; Calinescu, Anisoara; Wooldridge, Michael
2
2019
The stochastic Shapley value for coalitional games with externalities. Zbl 1400.91030
Skibski, Oskar; Michalak, Tomasz P.; Wooldridge, Michael
3
2018
Imperfect information in reactive modules games. Zbl 1395.68188
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael
2
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
1
2018
Forming \(k\) coalitions and facilitating relationships in social networks. Zbl 1451.91155
Sless, Liat; Hazon, Noam; Kraus, Sarit; Wooldridge, Michael
1
2018
Reasoning about equilibria in game-like concurrent systems. Zbl 1400.03057
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
9
2017
From model checking to equilibrium checking: reactive modules for rational verification. Zbl 1420.68129
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
5
2017
Nash equilibrium and bisimulation invariance. Zbl 1442.68143
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
2
2017
Hard and soft preparation sets in Boolean games. Zbl 1422.91157
Harrenstein, Paul; Turrini, Paolo; Wooldridge, Michael
3
2016
A hybrid exact algorithm for complete set partitioning. Zbl 1344.68271
Michalak, Tomasz; Rahwan, Talal; Elkind, Edith; Wooldridge, Michael; Jennings, Nicholas R.
3
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
13
2015
Expressiveness and complexity results for strategic reasoning. Zbl 1374.68332
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael
9
2015
A tool for the automated verification of Nash equilibria in concurrent games. Zbl 06545749
Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
7
2015
Coalition structure generation: a survey. Zbl 1344.68249
Rahwan, Talal; Michalak, Tomasz P.; Wooldridge, Michael; Jennings, Nicholas R.
4
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
5
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
11
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
30
2012
On the evaluation of election outcomes under uncertainty. Zbl 1251.91029
Hazon, Noam; Aumann, Yonatan; Kraus, Sarit; Wooldridge, Michael
10
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.
4
2012
Bad equilibria (and what to do about them). Zbl 1327.68237
Wooldridge, Michael
2
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
33
2011
Reasoning about social choice functions. Zbl 1253.03044
Troquard, Nicolas; van der Hoek, Wiebe; Wooldridge, Michael
4
2011
Temporal and dynamic logic. Zbl 1273.03066
Wolter, Frank; Wooldridge, Michael
1
2011
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2010
Solving coalitional resource games. Zbl 1185.68752
Dunne, Paul E.; Kraus, Sarit; Manisterski, Efrat; Wooldridge, Michael
4
2010
Sequential auctions for common value objects with budget constrained bidders. Zbl 1213.68634
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
3
2010
Postulates for revising BDI structures. Zbl 1215.03012
Grant, John; Kraus, Sarit; Perlis, Donald; Wooldridge, Michael
2
2010
Reasoning about the transfer of control. Zbl 1191.68734
van der Hoek, W.; Walther, D.; Wooldridge, M.
2
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
Coelho, Helder (ed.); Studer, Rudi (ed.); Wooldridge, Michael (ed.)
1
2010
Proof systems and transformation games. Zbl 1273.91029
Bachrach, Yoram; Zuckerman, Michael; Wooldridge, Michael; Rosenschein, Jeffrey S.
1
2010
On the computational complexity of weighted voting games. Zbl 1185.91081
Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael
30
2009
Reasoning about coalitional games. Zbl 1180.68271
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
17
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
10
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
4
2009
Logics for qualitative coalitional games. Zbl 1171.03008
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
3
2009
Completeness and complexity of multi-modal CTL. Zbl 1347.03028
Ågotnes, Thomas; 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
Verification of games in the game description language. Zbl 1185.68678
Ruan, Ji; van der Hoek, Wiebe; Wooldridge, Michael
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.
10
2008
Quantified coalition logic. Zbl 1169.03020
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
7
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
Bonanno, Giacomo (ed.); van der Hoek, Wiebe (ed.); Wooldridge, Michael (ed.)
1
2008
Programming multi-agent systems in AgentSpeak using Jason. Zbl 1132.68021
Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael
23
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
8
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.
13
2006
Multi-issue negotiation with deadlines. Zbl 1205.91117
Fatima, S. S.; Wooldridge, M. J.; Jennings, N. R.
8
2006
ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael
7
2006
On the meta-logic of arguments. Zbl 1236.68270
Wooldridge, Michael; McBurney, Peter; Parsons, Simon
5
2006
Automated game analysis via probabilistic model checking: a case study. Zbl 1273.68220
Ballarini, P.; Fisher, M.; Wooldridge, M. J.
2
2006
On the logic of cooperation and propositional control. Zbl 1132.68744
van der Hoek, Wiebe; Wooldridge, Michael
14
2005
The complexity of contract negotiation. Zbl 1132.68539
Dunne, Paul E.; Wooldridge, Michael; Laurence, Michael
9
2005
Bargaining with incomplete information. Zbl 1123.91315
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
5
2005
On obligations and normative ability: Towards a logical analysis of the social contract. Zbl 1081.03021
Wooldridge, Michael; van der Hoek, Wiebe
5
2005
An agenda-based framework for multi-issue negotiation. Zbl 1082.91510
Fatima, Shaheen S.; Wooldridge, Michael; Jennings, Nicholas R.
17
2004
On the computational complexity of qualitative coalitional games. Zbl 1085.68070
Wooldridge, Michael; Dunne, Paul E.
12
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
On obligations and abilities. Zbl 1169.68616
Jamroga, Wojciech; 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
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013
van der Hoek, Wiebe; Wooldridge, Michael
49
2003
Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037
Parsons, Simon; Wooldridge, Michael; Amgoud, Leila
17
2003
Towards a logic of rational agency. Zbl 1029.03014
van der Hoek, Wiebe; Wooldridge, Michael
13
2003
An introduction to game theory and decision theory. Zbl 1079.91500
Parsons, Simon; Wooldridge, Michael
30
2002
Model checking knowledge and time. Zbl 1077.68708
van der Hoek, Wiebe; Wooldridge, Michael
9
2002
Optimal negotiation strategies for agents with incomplete information. Zbl 1050.68615
Fatima, S. Shaheen; Wooldridge, Michael; Jennings, Nicholas R.
7
2002
The computational complexity of agent verification. Zbl 1050.68632
Wooldridge, Michael; Dunne, Paul E.
6
2002
Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. Zbl 1053.68581
Wooldridge, Michael; van der Hoek, Wiebe
4
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
Wooldridge, Michael J. (ed.); Weiß, Gerhard (ed.); Ciancarini, Paolo (ed.)
2
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
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
39
2000
Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164
Wooldridge, Michael; Lomuscio, Alessio
7
2000
Reasoning about visibility, perception, and knowledge. Zbl 0961.68127
Wooldridge, Michael; Lomuscio, Alessio
3
2000
Agent-oriented software engineering. Zbl 0970.68611
Bussmann, Stefan; Ciancarini, Paolo; Decker, Keith; Huhns, Michael; Wooldridge, Michael
2
2000
Foundations of rational agency. Zbl 0912.00011
Wooldridge, Michael (ed.); Rao, Anand (ed.)
4
1999
Artificial intelligence today. Recent trends and development. Zbl 0921.00013
Wooldridge, Michael J. (ed.); Veloso, Manuela (ed.)
1
1999
Resolution for temporal logics of knowledge. Zbl 0951.03007
Dixon, Clare; Fisher, Michael; Wooldridge, Michael
11
1998
Agent technology. Foundations, applications, and markets. Zbl 0894.68039
Jennings, Nicholas R. (ed.); Wooldridge, Michael J. (ed.)
11
1998
Intelligent agents. ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands, August 8-9, 1994. Proceedings. Zbl 0825.00124
Wooldridge, Michael (ed.); Jennings, Nicholas R. (ed.)
5
1995
A decision procedure for a temporal belief logic. Zbl 0949.03504
Wooldridge, M.; Fisher, M.
2
1994
all top 5

Cited by 817 Authors

41 Wooldridge, Michael J.
17 van der Hoek, Wiebe
11 Dixon, Clare
9 Gutierrez, Julian
9 Kraus, Sarit
9 Lomuscio, Alessio
8 Ågotnes, Thomas
8 Lorini, Emiliano
8 Rybakov, Vladimir Vladimirovich
7 Bachrach, Yoram
7 Dunne, Paul E.
7 Harrenstein, Paul
7 Jamroga, Wojciech
7 Jennings, Nicholas R.
6 Amgoud, Leila
6 Michalak, Tomasz P.
5 Baroni, Pietro
5 Bench-Capon, Trevor J. M.
5 Chevaleyre, Yann
5 Dastani, Mehdi M.
5 Elkind, Edith
5 Endriss, Ulle
5 Fisher, Michael W.
5 Godo, Lluís
5 Greco, Gianluigi
5 Herzig, Andreas
5 Hunter, Anthony
5 Lagasquie-Schiex, Marie-Christine
5 Lang, Jérôme
5 Murano, Aniello
5 Pacuit, Eric
5 Perelli, Giuseppe
5 Rahwan, Talal
5 Rothe, Jörg-Matthias
5 van Ditmarsch, Hans Pieter
4 Alechina, Natasha
4 Atkinson, Katie
4 Belardinelli, Francesco
4 Dix, Jurgen
4 Fisher, Michael E.
4 Gatti, Nicola
4 Giacomin, Massimiliano
4 Könemann, Jochen
4 Logan, Brian
4 Meyer, John-Jules Charles
4 Molinero, Xavier
4 Naumov, Pavel G.
4 Rosenschein, Jeffrey S.
4 Sanità, Laura
4 Serna, Maria José
3 Aziz, Haris
3 Besnard, Philippe
3 Biró, Peter
3 Bonzon, Elise
3 Bordini, Rafael H.
3 Bulling, Nils
3 Chalkiadakis, Georgios
3 Chen, Qingliang
3 de Haan, Ronald
3 Fatima, Shaheen S.
3 Fazzinga, Bettina
3 Flesca, Sergio
3 Gaspers, Serge
3 Goranko, Valentin F.
3 Grant, John R.
3 Hustadt, Ullrich
3 Kooi, Barteld Pieter
3 Kwiatkowska, Marta Z.
3 Liao, Beishui
3 Mattei, Nicholas
3 Maudet, Nicolas
3 Nguyen, Tri-Dung
3 Parsons, Simon D.
3 Paul, Soumya
3 Penczek, Wojciech
3 Rastegari, Baharak
3 Sattar, Abdul
3 Scarcello, Francesco
3 Schwarzentruber, François
3 Sierra, Carles
3 Simari, Guillermo Ricardo
3 Su, Kaile
3 Szeider, Stefan
3 Tao, Jia
3 Thielscher, Michael
3 Troquard, Nicolas
3 van der Torre, Leendert W. N.
3 Villata, Serena
3 Yokoo, Makoto
3 Zick, Yair
3 Zuckerman, Michael
2 Ahmadian, Sara
2 Alsinet, Teresa
2 Bachoc, François
2 Birštunas, Adomas
2 Bistarelli, Stefano
2 Boella, Guido
2 Bolotov, Alexander
2 Broto, Baptiste
2 Budán, Maximiliano C. D.
...and 717 more Authors
all top 5

Cited in 96 Serials

80 Artificial Intelligence
24 International Journal of Approximate Reasoning
24 Annals of Mathematics and Artificial Intelligence
18 Synthese
15 Information and Computation
14 Journal of Applied Logic
13 Theoretical Computer Science
13 European Journal of Operational Research
12 Studia Logica
11 Journal of Applied Non-Classical Logics
8 Journal of Logic, Language and Information
6 Information Sciences
6 Journal of Philosophical Logic
6 Theory of Computing Systems
6 ACM Transactions on Computational Logic
5 Mathematical Social Sciences
4 Lithuanian Mathematical Journal
4 Mathematical Programming. Series A. Series B
4 Mathematical Logic Quarterly (MLQ)
3 Operations Research Letters
3 Annals of Pure and Applied Logic
3 Social Choice and Welfare
3 Computers & Operations Research
3 The Journal of Artificial Intelligence Research (JAIR)
2 Fuzzy Sets and Systems
2 International Journal of Game Theory
2 Mathematics and Computers in Simulation
2 Siberian Mathematical Journal
2 International Journal of Intelligent Systems
2 Annals of Operations Research
2 Games and Economic Behavior
2 Applicable Algebra in Engineering, Communication and Computing
2 Cybernetics and Systems Analysis
2 Computational & Mathematical Organization Theory
2 Constraints
2 International Game Theory Review
2 Theory and Practice of Logic Programming
2 Computational Intelligence
2 Science in China. Series F
2 The Review of Symbolic Logic
2 Algorithms
2 Games
2 Frontiers of Computer Science
1 Algebra and Logic
1 Applied Mathematics and Computation
1 Automatica
1 Computing
1 Journal of Mathematical Economics
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 New Generation Computing
1 Algorithmica
1 Journal of Automated Reasoning
1 Journal of Economic Dynamics & Control
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 Applied Mathematical Modelling
1 Linear Algebra and its Applications
1 Vestnik St. Petersburg University. Mathematics
1 Continuum Mechanics and Thermodynamics
1 Computational Economics
1 Formal Methods in System Design
1 Top
1 Complexity
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 International Journal of Applied Mathematics and Computer Science
1 Methodology and Computing in Applied Probability
1 Lobachevskii Journal of Mathematics
1 RAIRO. Operations Research
1 Advances in Complex Systems
1 Logica Universalis
1 Logical Methods in Computer Science
1 International Journal of Intelligent Computing and Cybernetics
1 Operational Research. An International Journal
1 Journal of Control Science and Engineering
1 Science China. Information Sciences
1 Journal of the Brazilian Computer Society
1 Frontiers of Computer Science in China
1 EURO Journal on Computational Optimization
1 ACM Transactions on Computation Theory
1 SIAM/ASA Journal on Uncertainty Quantification
1 Journal of Siberian Federal University. Mathematics & Physics

Citations by Year