Professor Michael Wooldridge

Professor Michael Wooldridge - Publications

Michael Wooldridge - Publications

Publications are ordered by publication date - most recent first. I haven't included everything, so if there is something particular that you want and it isn't listed, email me. Documents are available in PDF; older documents are also available in gzipped PostScript. If you have any problems accessing these documents, let me know.

[ 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 ] [ 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ] [ 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 1990 ]

2016

S. S. Fatima, T. P. Michalak, and M. Wooldridge. Power and welfare in bargaining for coalition structure formation. In Autonomous Agents and Multi-Agent Systems 30:899-930, 2016.
DOI 10.1007/s10458-015-9310-8

P. L. Szczepan ski and T. P. Michalak and T. Rahwan and M. Wooldridge. An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands.
G. Chalkiadakis and M. Wooldridge. Weighted Voting Games. In F. Brandt, V. Conitzer, U. Endriss, J. Lang, and A. D. Procaccia (eds), Handbook of Computational Social Choice. Cambridge University Press, 2015.
J. Gutierrez, P. Harrenstein, G. Perelli, and M. Wooldridge. Expressiveness and Nash Equilibrium in Iterated Boolean Games. In In Proceedings of the Seventeenth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2016), Singapore, May 2016.

O. Skibski, S. Matejczyk, T. Michalak, M. Wooldridge, and M. Yokoo. k-Coalitional Cooperative Games. In Proceedings of the Seventeenth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2016), Singapore, May 2016.

J. Gutierrez, G. Perelli and M. Wooldridge. Imperfect Information in Reactive Modules Games. In Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-2016), Cape Town, South Africa.

H. Aziz, P. Harrenstein, J. Lang and M. Wooldridge. Boolean Hedonic Games. In Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-2016), Cape Town, South Africa.

M. K. Tarkowski, P. Szczepanski, T. Rahwan, T. P. Michalak, and M. Wooldridge. Closeness Centrality for Networks with Overlapping Community Structure. In Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-2016), Phoenix, AZ, February 2016.

M. Wooldridge, J. Gutierrez, P. Harrenstein, E. Marchioni, G. Perelli, and A. Toumi. Rational Verification: From Model Checking to Equilibrium Checking. In Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-2016), Phoenix, AZ, February 2016.

J. Bradfield, J. Gutierrez, and M. Wooldridge. Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. In Synthese, 193(3):781-811, 2016.
DOI: 10.1007/s11229-015-0991-y

S. S. Fatima and M. Wooldridge. Majority bargaining for resource division. In Autonomous Agents and Multi-Agent Systems 30(2):331-363, March 2016.
DOI: 10.1007/s10458-015-9290-8

T. P. Michalak, T. Rahwan, E. Elkind, M. Wooldridge, and N. R. Jennings. A hybrid exact algorithm for complete set partitioning. In Artificial Intelligence, 230:14--50, 2016.
DOI: 10.1016/j.artint.2015.09.006

2015

E. Eaton, T. Dietterich, M. Gini, B. J. Grosz, C. L. Isbell, S. Kambhampati, M. Littman, F. Rossi, P. Stone, T. Walsh, and M. Wooldridge. Who Speaks for AI? In AI Matters, 2(2), December 2015.
T. Rahwan, T. P. Michalak, M. Wooldridge, and N. R. Jennings. Coalition structure generation: A survey. In Artificial Intelligence, 229:139--174, 2015.
DOI: 10.1016/j.artint.2015.08.004

A. Toumi, J. Gutierrez, and M. Wooldridge. A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. In Proceedings of the Twelfth International Colloquium on Theoretical Aspects of Computing (ICTAC-2015), Cali, Colombia, October 2015.

Q. Yang and M. Wooldridge, editors. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15). Buenos Aires, Argentina, July 25-31, 2015.
ISBN 978-1-57735-738-4

E. Marchioni and M. Wooldridge. Łukasiewicz Games: A Logic-based Approach to Quantitative Strategic Interactions. In ACM Transactions on Computational Logic, 16(4), Article 33, 2015.
DOI: 10.1145/2783436

J. Gutierrez, P. Harrenstein, and M. Wooldridge. Expressiveness and Complexity Results for Strategic Reasoning. In Proceedings of the Twenty Sixth International Conference on Concurrency Theory (CONCUR-2015), Madrid, Spain, September 2015.

J. Gutierrez, P. Harrenstein, and M. Wooldridge. Iterated Boolean Games. In Information and Computation, 242:53--79, June 2015.
DOI: 10.1016/j.ic.2015.03.011
J. Morales, M. Lopez-Sanchez, J. A. Rodriguez-Aguilar, M. Wooldridge, W. Vasconcelos. Synthesising Liberal Normative Systems On-line. In Proceedings of the Sixteenth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2015), Istanbul, Turkey, May 2015.
P. Harrenstein, P. Turrini, and M. Wooldridge. Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents. In Proceedings of the Sixteenth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2015), Istanbul, Turkey, May 2015.
T. Ågotnes, V. Goranko, W. Jamroga and M. Wooldridge. Knowledge and Ability. In H. van Ditmarsch, J. Y. Halpern, W. van der Hoek and B. Kooi (eds), Handbook of Epistemic Logic, College Publications, 2015.
J. Morales, M. Lopez-sanchez, J. A. Rodriguez-Aguilar, W. Vasconcelos, and M. Wooldridge. Online Automated Synthesis of Compact Normative Systems. In ACM Transactions on Autonomous and Adaptive Systems, 10(1), March 2015.
DOI: 10.1145/2720024
M. Wooldridge. Thinking Backward with Professor Zermelo. In IEEE Intelligent Systems, 30(2):62-67, 2015.
DOI: 10.1109/MIS.2015.36
T. P. Michalak, T. Rahwan, O. Skibski, M. Wooldridge. Defeating Terrorist Networks with Game Theory. In IEEE Intelligent Systems, 30(1):53-61, 2015.
10.1109/MIS.2015.11
P. Szczepanski, M. Tarkowski, T. Michalak, P. Harrenstein, M. Wooldridge. Efficient Computation of Semivalues for Game-Theoretic Network Centrality. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-2015), Austin, TX, January 2015.
O. Skibski, T. Michalak, Y. Sakurai, M. Wooldridge, M. Yokoo. A Graphical Representation for Games in Partition Function Form. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-2015), Austin, TX, January 2015.

2014

S. Fatima, S. Kraus, and M. Wooldridge. Principles of Automated Negotiation. Cambridge University Press, 2014.
ISBN: 9781107002548
P. Millican and M. Wooldridge. Them and Us: Autonomous Agents In Vivo and In Silico In A. Baltag and S. Smets (eds), Johan van Benthem on Logic and Information Dynamics (Outstanding Contributions to Logic Volume 5), Springer-Verlag, 2014.
T. Michalak, P. L. Szczepanski, T. Rahwan, A. Chrobak, S. Branzei, M. Wooldridge, and N. R. Jennings. Implementation and Computation of a Value for Generalized Characteristic Function Games. In ACM Transactions on Economics and Computation, 2(4), Article 16, October 2014.
DOI: 10.1145/2665007
P. L. Scezepanski, T. Michalak, and M. Wooldridge. A Centrality Measure for Networks with Community Structure Based on a Generalization of the Owen Value. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague Czech Republic, August 2014.
S. Fatima and M. Wooldridge. Multilateral bargaining for resource division. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague Czech Republic, August 2014.
S. Fatima, T. Michalak, and M. Wooldridge. Bargaining for Coalition Structure Formation. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague Czech Republic, August 2014.
J. Bradfield, J. Gutierrez, and M. Wooldridge. On the Structure of Events in Boolean Games. In Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT-2014), Bergen, Norway, July 2014.
H. Aziz, P. Harrenstein, J. Lang, and M. Wooldridge. Boolean Hedonic Games. In Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT-2014), Bergen, Norway, July 2014.
W. van der Hoek, P. Iliev, and M. Wooldridge. Program Models and Semi-Public Environments. In Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT-2014), Bergen, Norway, July 2014.
J. Gutierrez, P. Harrenstein, and M. Wooldridge. Reasoning about Equilibria in Game-like Concurrent Systems. In Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-2014), Vienna, Austria, July 2014.

J. Gutierrez and M. Wooldridge. Equilibria of Concurrent Games on Event Structures. In Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014), Vienna, Austria, July 2014.

A. Hunter, S. Parsons, and M. Wooldridge. Measuring Inconsistency in Multi-Agent Systems. In KI -- Künstliche Intelligenz, 28:169--178, 2014.
DOI: 10.1007/s13218-014-0306-3

O. Skibski, T. Michalak, T. Rahwan, M. Wooldridge. Algorithms for the Myerson and Shapley Values in Graph-restricted Games. In Proceedings of the Thirteenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2014), Paris, France, May 2014.

L. Sless, N. Hazon, S. Kraus, and M. Wooldridge. Forming coalitions and facilitating relationships for completing tasks in social networks. In Proceedings of the Thirteenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2014), Paris, France, May 2014.

E. Marchioni and M. Wooldridge. Łukasiewicz Games. In Proceedings of the Thirteenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2014), Paris, France, May 2014.

P. Harrenstein, P. Turrini, and M. Wooldridge. Hard and Soft Equilibria in Boolean Games. In Proceedings of the Thirteenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2014), Paris, France, May 2014.

J. Morales, M. Lopez-Sanchez, J. A. Rodriguez-Aguilar, W. Vasconcelos, and M. Wooldridge. Minimality and Simplicity in the On-line Automated Synthesis of Normative Systems. In Proceedings of the Thirteenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2014), Paris, France, May 2014.

J. Grant, S. Kraus, M. Wooldridge, I. Zuckerman. Manipulating games by sharing information. In Studia Logica, 102:267--295, 2014.
DOI: 10.1007/s11225-014-9544-5

2013

S. Phelps and M. Wooldridge. Game Theory and Evolution. In IEEE Intelligent Systems, 28(4):76--81, 2013.
DOI:10.1109/MIS.2013.110

T. Ågotnes, P. Harrenstein, W. van der Hoek, and M. Wooldridge. Boolean Games with Epistemic Goals. In Proceedings of the Fourth International Workshop on Logic, Rationality, and Interaction (LORI 2013), Hangzhou, China, October 2013.

J. Gutierrez, P. Harrenstein, and M. Wooldridge. Iterated Boolean Games. In Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI-2013). Beijing, China, August 2013.

T. Ågotnes, P. Harrenstein, W. van der Hoek, and M. Wooldridge. Verifiable Equilibria in Boolean Games. In Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI-2013). Beijing, China, August 2013.

T. Michalak, T. Rahwan, P. Szczepanski, O. Skibski, R. Narayanam, N. Jennings, and M. Wooldridge. Computational Analysis of Connectivity Games with Applications to Terrorist Networks. In Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI-2013). Beijing, China, August 2013.

W. van der Hoek, N. Troquard, and M. Wooldridge. Reasoning about Choice. In Proceedings of the Second International Conference on Agreement Technologies (AT-2013), Beijing, China, August 2013.
W. van der Hoek, C. Witteveen, and M. Wooldridge. Program equilibrium--a program reasoning approach. In International Journal of Game Theory, 42(3)639--671, 2013.
DOI:10.1007/s00182-011-0314-6
E. Elkind, D. Pasechnik, and M. Wooldridge. Strategic Considerations in the Design of Committtees. In Proceedings of the Twelfth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2013). Minneapolis, MN, May 2013.
J. Morales, M. Lopez Sanchez, J. A. Rodriguez-Aguilar, M. Wooldridge, W. Vasconcelos. Automated synthesis of normative systems. In Proceedings of the Twelfth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2013). Minneapolis, MN, May 2013.
P. Harrenstein, D. Manlove, and M. Wooldridge. The Joy of Matching. In IEEE Intelligent Systems, 28(2):81--85, March--April 2013.
DOI: 10.1109/MIS.2013.49
E. Erriquez, W. van der Hoek, and M. Wooldridge. Building and Using Social Structures: A Case Study Using the Agent ART Testbed. In ACM Transactions on Intelligent Systems and Technology, 4(2), Article 25.
DOI: 10.1145/2438653.2438660
Y. Bachrach, M. Zuckerman, M. Wooldridge, and J. S. Rosenschein. Proof systems and transformation games. In Annals of Mathematics and Artificial Intelligence, 67(1):1-30, January 2013.
DOI: 10.1007/s10472-012-9323-9
M. Wooldridge. Intelligent Agents. In G. Weiss, editor, Multi-Agent Systems (second edition), page 3--50, MIT Press, 2013.
W. van der Hoek and M. Wooldridge. Logics for Multi-Agent Systems. In G. Weiss, editor, Multi-Agent Systems (second edition), pages 671--810, MIT Press, 2013.
M. Wooldridge, U. Endriss, S. Kraus, and J. Lang. Incentive engineering for Boolean games. In Artificial Intelligence, 195:418--439, 2013.
DOI: 10.1016/j.artint.2012.11.003

2012

N. Hazon, Y. Aumann, S. Kraus, and M. Wooldridge. On the evaluation of election outcomes under uncertainty. In Artificial Intelligence, 189:1--18, 2012.
DOI: 10.1016/j.artint.2012.04.009
M. Wooldridge. Does Game Theory Work?. In IEEE Intelligent Systems, 27(6):76--80, November/December 2012.
DOI: 10.1109/MIS.2012.108
P. E. Dunne, P. Marquis, and M. Wooldridge. Argument Aggregation: Basic Axioms and Complexity Results. In Fourth International Conference on Computational Models of Argument (COMMA-2012), Vienna, Austria, September 2012.
G. Chalkiadakis, E. Elkind, and M. Wooldridge. Cooperative Game Theory: Basic Concepts and Computational Challenges. In IEEE Intelligent Systems, 27(3):86--90, May/June 2012.
DOI: 10.1109/MIS.2012.47
M. Wooldridge. Bad equilibria (and what to do about them). In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, August 2012.
S. Kraus and M. Wooldridge. Delegating Decisions in Strategic Settings. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, August 2012.
T. Ågotnes, W. van der Hoek, and M. Wooldridge. Conservative Social Laws. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, August 2012.
P. Iliev, W. van der Hoek, and M. Wooldridge. The Logic of Revelation and Concealment. In Proceedings of the Eleventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2012). Valencia, Spain, May 2012.
P. E. Dunne and M. Wooldridge. Towards Tractable Boolean Games. In Proceedings of the Eleventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2012). Valencia, Spain, May 2012.
M. Wooldridge. Computation and the Prisoner's Dilemma . In IEEE Intelligent Systems, 27(2):75--80, March/April 2012.
DOI: 10.1109/MIS.2012.30
Talal Rahwan, T. Michalak, M. Wooldridge, and N. R. Jennings. Towards anytime coalition structure generation in multi-agent systems with positive or negative externalities. In Artificial Intelligence, 186:95--122, July 2012.
DOI: 10.1016/j.artint.2012.03.007
M. Wooldridge. The Triumph of Rationality . In IEEE Intelligent Systems 27(1):60-64, January/February 2012.
DOI: 10.1109/MIS.2012.20

2011

G. Chalkiadakis, E. Elkind, and M. Wooldrdidge. Computational Aspects of Cooperative Game Theory. Morgan & Claypool Publishers, 2011.
DOI:10.2200/S00355ED1V01Y201107AIM016

N. Troquard, W. van der Hoek and M. Wooldridge. Reasoning About Social Choice Functions In Journal of Philosophical Logic, 40:473--498.
DOI:10.1007/s10992-011-9189-z40:473–498
T. Rahwan, T. Michalak, E. Elkind, P. Faliszewski, J. Sroka, M. Wooldridge, N. R. Jennings. Constrained Coalition Formation. In Twenty-Fifth Conference on Artificial Intelligence (AAAI-2011). San Francisco, CA, August 2011.

J. Grant, S. Kraus, M. Wooldridge, and I. Zuckerman. Manipulating Boolean Games Through Communication. In Proceedings of the Twenty Second International Joint Conference on Artificial Intelligence (IJCAI-2011). Barcelona, Catalonia, Spain, July 2011.

U. Endriss, S. Kraus, J. Lang, and M. Wooldridge. Incentive Engineering for Boolean Games. In Proceedings of the Twenty Second International Joint Conference on Artificial Intelligence (IJCAI-2011). Barcelona, Catalonia, Spain, July 2011.

B. Lithgow-Smith, V. Tamma, and M. Wooldridge. An Ontology for Coordination. In Applied Artificial Intelligence, 25:235--265, 2011.
DOI:10.1080/08839514.2011.553376

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Scientia Potentia Est. In Proceedings of the Tenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2011). Taipei, Taiwan, May 2011.

U. Endriss, S. Kraus, J. Lang, and M. Wooldridge. Designing Incentives for Boolean Games. In Proceedings of the Tenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2011). Taipei, Taiwan, May 2011. (Awarded best paper prize at AAMAS-2011, from 575 submissions.)

W. van der Hoek, N. Troqard, and M. Wooldridge. Knowledge and Control. In Proceedings of the Tenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2011). Taipei, Taiwan, May 2011.

W. van der Hoek, C. Witteveen, and M. Wooldridge. Decomposing Constraint Systems. In Proceedings of the Tenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2011). Taipei, Taiwan, May 2011.

T. Ågotnes, W. van der Hoek, and M. Wooldridge. On the logic of preference and judgment aggregation. In Autonomous Agents and Multi-Agent Systems, 22:4-30, 2011.
DOI:10.1007/s10458-009-9115-8

F. Wolter and M. Wooldridge. Temporal and Dynamic Logic. In Journal of Indian Council of Philosophical Research, XXVII(1):249--276, January--March 2011.

P. E. Dunne, P. McBurney, S. Parsons, and M. Wooldridge. Weighted Argument Systems: Basic Definitions, Algorithms, and Complexity Results. In Artificial Intelligence, 175:457-486, 2011.
DOI:10.1016/j.artint.2010.09.005

2010

T. Moyaux, P. McBurney, and M. Wooldridge. A Supply Chain as a Network of Auctions. In Decision Support Systems, 50:176-–190, 2010.
DOI:10.1016/j.dss.2010.07.013

H. Coelho, R. Studer, and M. Wooldridge, editors. Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI-2010), Lisbon, Portugal, August 2010.

J. Grant, S. Kraus, D. Perlis, and M. Wooldridge. Postulates for revising BDI structures. In Synthese, 175:39--62 , 2010.
DOI:10.1007/s11229-010-9735-1

Y. Bachrach, M. Zuckerman, M. Wooldridge, J. S. Rosenschein. Proof Systems and Transformation Games. In Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS-2010). Brno, Czech Republic, August 2010.

J. Grant, S. Kraus, and M. Wooldridge. Intentions in Equilibrium. In Twenty-Fourth Conference on Artificial Intelligence (AAAI-2010). Atlanta, GA, July 2010.

W. van der Hoek, C. Witteveen, and M. Wooldridge. Program Equilibrium -- A Program Reasoning Approach. In Proceedings of the 9th Conference on Logic and the Foundations of Game and Decision Theory (LOFT-2010), Toulouse, France, July 2010.
T. Ågotnes and M. Wooldridge. Optimal Social Laws. In Proceedings of the Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2010). Toronto, Canada, May 2010.

T. Michalak, J. Sroka, T. Rahwan, P. McBurney, M. Wooldridge, and N. Jennings. A Distributed Algorithm for Anytime Coalition Structure Generation. In Proceedings of the Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2010). Toronto, Canada, May 2010.

T. Michalak, D. Marciniak, M. Szamotulski, T. Rahwan, P. McBurney, M. Wooldridge, and N. Jennings. A Logic-Based Representation for Coalitional Games with Externalities. In Proceedings of the Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2010). Toronto, Canada, May 2010.

P. Krysta, T. Michalak, T. Sandholm, and M. Wooldridge. Combinatorial Auctions with Externalities (Extended Abstract). In Proceedings of the Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2010). Toronto, Canada, May 2010.

W. van der Hoek, D. Walther, and M. Wooldridge. Reasoning about the Transfer of Control. In Journal of Artificial Intelligence Research (JAIR), 37:437-477, 2010.
DOI:10.1613/jair.2901

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Robust normative systems and a logic of norm compliance. In Logic Journal of IGPL, 18(1):4-30, February 2010
DOI:10.1093/jigpal/jzp070
P. E. Dunne, S. Kraus, E. Manisterski, and M. Wooldridge. Solving Coalitional Resource Games. In Artificial Intelligence, 174:20-50, 2010.
DOI:10.1016/j.artint.2009.09.005

2009

J. Ruan, W. van der Hoek, and M. Wooldridge. Verification of Games in the Game Description Language. In Journal of Logic and Computation. 19(6):1127-1156, 2009.
DOI:10.1093/logcom/exp039
R. H. Bordini, M. Fisher, M. Wooldridge, and W. Visser. Property-based Slicing for Agent Verification. In Journal of Logic and Computation, 19(6):1385-1425, 2009.
DOI:10.1093/logcom/exp029
E. Elkind, L. A. Goldberg, P. Goldberg, and M. Wooldridge. A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. In Mathematical Logic Quarterly, 55(4):362--376, August 2009.
DOI:10.1002/malq.200810021
T. Ågotnes and W. van der Hoek and J.A. Rodriguez-Aguilar and C. Sierra and M. Wooldridge. Multi-Modal CTL: Completeness, Complexity, and an Application. In Studia Logica, 92(1):1--26, 2009.
DOI:10.1007/s11225-009-9184-3
T. Rahwan, T. Michalak, N. R. Jennings, M. Wooldridge, and P. McBurney. Coalition Structure Generation in Multi-Agent Systems With Positive and Negative Externalities. In Proceedings of the Twenty First International Joint Conference on Artificial Intelligence (IJCAI-2009). Pasadena, CA, July 2009.
T. Michalak, T. Rahwan, J. Sroka, A. Dowell, M. Wooldridge, P. McBurney, and N. R. Jennings. On Representing Coalitional Games with Externalities. In Proceedings of the Tenth ACM Conference on Electronic Commerce (EC-09). Palo Alto, CA, July 2009.
N. Troqard, W. van der Hoek, and M. Wooldridge. A logic of propositional control for truthful implementations. In Theoretical Aspects of Rationality and Knowledge (TARK XII). Stanford University, CA, July 2009.
E. Elkind, L. Goldberg, P. Goldberg, and M. Wooldridge. On the computational complexity of weighted voting games. In Annals of Mathematics and Artificial Intelligence, 56(2):109-131, June 2009.
DOI:10.1007/s10472-009-9162-5
T. Ågotnes, W. Van Der Hoek, and M. Wooldridge. Logics for Qualitative Coalitional Games. Logic Journal of IGPL, 17(3):299-321, June 2009.
DOI:10.1093/jigpal/jzp009
N. Troqard, W. van der Hoek, and M. Wooldridge. A Logic of Games and Propositional Control. In Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2009). Budapest, Hungary, May 2009.
P. E. Dunne, A. Hunter, P. McBurney, S. Parsons, and M. Wooldridge. Inconsistency Tolerance in Weighted Argument Systems. In Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2009). Budapest, Hungary, May 2009.
P. Faliszewski, E. Elkind, and M, Wooldridge. Boolean Combinations of Weighted Voting Systems. In Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2009). Budapest, Hungary, May 2009.
E. Elkind and M. Wooldridge. Hedonic Coalition Nets. In Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2009). Budapest, Hungary, May 2009.
S. Fatima, M. Wooldridge, N. Jennings. An Analysis of Feasible Solutions for Multi-Issue Negotiation Involving Nonlinear Utility Functions. In Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2009). Budapest, Hungary, May 2009.
T. Ågotnes, W. van der Hoek, M. Tennenholtz, and M. Wooldridge. Power in Normative Systems. In Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2009). Budapest, Hungary, May 2009. (Awarded best paper prize at AAMAS09, from 651 submissions.)
T. Michalak, J. Tyrowicz, P. McBurney and M. Wooldridge. Exogenous coalition formation in the e-marketplace based on geographical proximity. In Electronic Commerce Research and Applications, 8(4):203-223, July-August 2009.
DOI:10.1016/j.elerap.2008.12.001
D. Peled and M. Wooldridge, editors. Model Checking and Artificial Intelligence (LNCS Volume 5348). Springer-Verlag, March 2009.
T. Ågotnes, W. van der Hoek, and M. Wooldridge. Reasoning about Coalitional Games. In Artificial Intelligence 173(1):45-79, January 2009.
DOI:10.1016/j.artint.2008.08.004

2008

N. Hazon, P. E. Dunne, S. Kraus, and , M. Wooldridge. How to Rig Elections and Compeitions. In Proceedings of the Second Workshop on Computational Social Choice Theory (COMSOC-2008), Liverpool, UK, September 2008.
S. S. Fatima, M. Wooldridge, and N. R. Jennings. A Linear Approximation Method for the Shapley Value. In Artificial Intelligence, 172(14):1673-1699, September 2008.
DOI: 10.1016/j.artint.2008.05.003
T. Michalak, A. Dowell, P. McBurney and M. Wooldridge. Optimal coalition structure generation in partition function games. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008). Patras, Greece, July 2008.
E. Elkind, L. A. Goldberg, P. Goldberg, and M. Wooldridge. On the Dimensionality of Voting Systems. In Twenty Third Conference on Artificial Intelligence (AAAI-08). Chicago, IL, July 2008.
F. Lopes, M. Wooldridge, and A. Q. Novais. Negotiation Among Autonomous Computational Agents: Principles, Analysis and Challenges. In Artificial Intelligence Review, 29(1--44), June 2008.
DOI:10.1007/s10462-009-9107-8

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Quantified Coalition Logic. In Synthese, 165:269--294, 2008.
DOI:10.1007/s11229-008-9363-1 .

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Robust Normative Systems. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
T. Ågotnes, W. van der Hoek, and M. Wooldridge. Quantifying Over Coalitions in Epistemic Logic. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
N. Hazon, Y. Aumann, S. Kraus, and M. Wooldridge. Evaluation of Election Outcomes Under Uncertainty. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
P. E. Dunne, S. Kraus, W. van der Hoek, and M. Wooldridge. Cooperative Boolean Games. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008. (Awarded best paper prize at AAMAS08, from 721 submissions.)
E. Elkind, L. A. Goldberg, P. Goldberg, and M. Wooldridge. A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
S. S. Fatima, M. Wooldridge, and N. R. Jennings. An Anytime Approximation Method for the Inverse Shapley Value Problem. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
W. van der Hoek and M. Wooldridge. Multi-Agent Systems. In F. van Harmelen, V. Lifschitz, and B. Porter, editors, Handbook of Knowledge Representation, pages 887--928. Elsevier, 2008.

2007

P. E. Dunne, W. van der Hoek, and M. Wooldridge. A logical characterisation of qualitative coalitional games. In Journal of Applied Non-Classical Logics, 17(4):477-509, 2007.

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Completeness and Complexity of Multi-Modal CTL. In Proceedings of Methods for Modalities 5. Cachan, France, November 2007.
S. Paurobally, V. Tamma, and M. Wooldridge. A Framework for Web Service Negotiation. In ACM Transactions on Autonomous and Adaptive Systems 2(4), November 2007.
DOI: 10.1145/1293731.1293734
R. H. Bordini, J. F. Hübner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley and Sons Ltd, October 2007.
R. Vieira, A. F. Moreira, M. Wooldridge and R. H. Bordini On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language, Journal of Artificial Intelligence Research (JAIR), 29:221-267, 2007.
T. Ågotnes, P. E. Dunne, W. van der Hoek, and M. Wooldridge. Logics for Coalitional Games. In Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, China, August 2007.
W. van der Hoek, J. Ruan, and M. Wooldridge. Strategy Logics and the Game Description Language. In Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, China, August 2007.
M. Wooldridge, T. Ågotnes, P. E. Dunne, and W. van der Hoek. Logic for Automated Mechanism Design - A Progress Report. In Twenty-Second Conference on Artificial Intelligence (AAAI-07), Vancouver, Canada, July 2007.
E. Elkind, L. A. Goldberg, P. Goldberg, and M. Wooldridge. Computational Complexity of Weighted Threshold Games. In Twenty-Second Conference on Artificial Intelligence (AAAI-07), Vancouver, Canada, July 2007.
D. Walther, W. van der Hoek, and M. Wooldridge. Alternating-time Temporal Logic with Explicit Strategies. In Theoretical Aspects of Rationality and Knowledge (TARK XI), Brussels, Belgium, June 2007.
S. Parsons, P. McBurney, E. Sklar, and M. Wooldridge. On the Relevance of Utterances in Formal Inter-agent Dialogues. In Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2007), Honolulu, Hawaii, May 2007.

S. Fatima, M. Wooldridge, and N. R. Jennings. A Randomized Method for the Shapley Value for the Voting Game. In Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2007), Honolulu, Hawaii, May 2007.

S. S. Fatima, M. Wooldridge, and N. R. Jennings. Approximate and online multi-issue negotiation. In Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2007), Honolulu, Hawaii, May 2007.

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Reasoning About Judgment and Preference Aggregation. In Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2007), Honolulu, Hawaii, May 2007.

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Normative System Games. In Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2007), Honolulu, Hawaii, May 2007.

W. van der Hoek, M. Roberts, and M. Wooldridge. Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis. In Synthese, 156(1):1--19, May 2007.

W. van der Hoek, W. Jamroga, and M. Wooldridge. Towards a Theory of Intention Revision. In Synthese, 155(2):265--290, March 2007.

T. Ågotnes, W. van der Hoek, J. A. Rodriguez-Aguilar, C. Sierra, and M. Wooldridge. On the Logic of Normative Systems. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-2007), Hyderabad, India, January 2007.

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Quantified Coalition Logic. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-2007), Hyderabad, India, January 2007.

2006

D. Walther, C. Lutz, F. Wolter, and M. Wooldridge. ATL Satisfiability is Indeed ExpTime-Complete. In Journal of Logic and Computation, 16:765-787, 2006.
DOI:10.1093/logcom/exl009

S. S. Fatima, M. Wooldridge, and N. R. Jennings. Multi-Issue Negotiation with Deadlines In Journal of Artificial Intelligence Research (JAIR), 27:381-417, 2006
S. van Otterloo, W. van der Hoek, and M. Wooldridge. Knowledge Condition Games. In Journal of Logic, Language, and Information, 15(4):425-452, 2006.

T. Moyaux, B. Lithgow-Smith, V. Tamma, and M. Wooldridge. Towards Service-Oriented Ontology-Based Coordination. In Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), Chicago, IL, September 2006.

M. Wooldridge and P. E. Dunne. On the Computational Complexity of Coalitional Resource Games. In Artificial Intelligence, 170(10):835-871, July 2006.

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Towards a Logic of Social Welfare. In Proceedings of the Seventh International Conference on Logic and the Foundations of Game and Decision Theory, Liverpool, July 2006.

M. Wooldridge, P. E. Dunne, and S. Parsons. On the Complexity of Linking Deductive and Abstract Argument Systems. In Proceedings of the Twenty First National Conference on Artificial Intelligence (AAAI-06), Boston, MA, July 2006.

T. Ågotnes, W. van der Hoek, and M. Wooldridge. On the Logic of Coalitional Games. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-06), Hakodate, Japan, May 2006.

T. Ågotnes, W. van der Hoek, and M. Wooldridge. Temporal Qualitative Coalitional Games. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-06), Hakodate, Japan, May 2006.

W. van der Hoek, A. Lomuscio, and M. Wooldridge. On the Complexity of Practical ATL Model Checking. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-06), Hakodate, Japan, May 2006.

L. Sauro, J. Gerbrandy, W. van der Hoek, and M. Wooldridge. Reasoning about Action and Cooperation. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-06), Hakodate, Japan, May 2006.

J. Hubner, R. Bordini, and M. Wooldridge. Programming Declarative Goals Using Plan Patterns. In Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT-2006), Hakodate, Japan, May 2006.

P. Ballarini, M. Fisher, and M. Wooldridge. Uncertain Agent Verification through Probabilistic Model-Checking. In Proceedings of the Third International Workshop on Safety and Security in Multi-agent Systems (SASEMAS-06), Hakodate, Japan, May 2006.

R. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifying Multi-Agent Programs by Model Checking. In Autonomous Agents and Multi-Agent Systems, 12:239-256, March 2006
M. Wooldridge, M.-P. Huget, M. Fisher, and S. Parsons. Model Checking Multi-Agent Systems: The MABLE Language and Its Applications. In International Journal on Artificial Intelligence Tools, 15(2):195-225, April 2006.

M. Wooldridge. What is Correctness in the Age of Ubiquitous Computing? In a Discussion on Robin Milner's First Computer Journal Lecture: Ubiquitous Computing: Shall we Understand It? . In The Computer Journal, 49(4):396, 2006.
P. Ballarini, M. Fisher and M. Wooldridge. Automated Game Analysis via Probabilistic Model Checking: a case study. In Electronic Notes in Theoretical Computer Science, 149(2):125-137, February 2006.

2005

M. Wooldridge and P. E. Dunne The Complexity of Agent Design Problems: Determinism and History Dependence In Annals of Mathematics and Artificial Intelligence, 45:(3-4):343--371, December 2005.
V. Tamma, C. van Aart, T. Moyaux, S. Paurobally, B. Lithgow-Smith, and M. Wooldridge. An ontological framework for dynamic coordination. In Procedings of the Fourth International Semantic Web Conference (ISWC-2005), Galway, Ireland, November 2005.
V. Tamma, I. Blacoe, B. Lithgow-Smith, and M. Wooldridge. Introducing autonomic behaviour in semantic web agents. In Procedings of the Fourth International Semantic Web Conference (ISWC-2005), Galway, Ireland, November 2005.
M. Wooldridge and W. van der Hoek. On Obligations and Normative Ability: Towards a Logical Analysis of the Social Contract. In Journal of Applied Logic, 3:396-420, 2005.
S. S. Fatima, M. Wooldridge, and N. R. Jennings. Sequential Auctions for Objects with Common and Private Values In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-05), Utrecht, the Netherlands, July 2005. (PDF)
W. van der Hoek, M. Roberts, and M. Wooldridge. Knowledge and Social Laws. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-05), Utrecht, the Netherlands, July 2005. (PDF)
M. Wooldridge, P. McBurney, and S. Parsons. On the Metalogic of Arguments. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-05), Utrecht, the Netherlands, July 2005. (PDF)
W. van der Hoek, W. Jamroga, and M. Wooldridge. A Logic for Strategic Reasoning In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-05), Utrecht, the Netherlands, July 2005. (PDF)
W. van der Hoek and M. Wooldridge. On the Dynamics of Delegation, Cooperation and Control: A Logical Account In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-05), Utrecht, the Netherlands, July 2005. (PDF)
J. Himoff, P. Skobelev, and M. Wooldridge. MAGENTA Technology: Multi-Agent Systems for Industrial Logistics. In Proceedings of the AAMAS 2005 Industry Track, Utrecht, The Netherlands, July 2005. (PDF)
I. Dickinson and M. Wooldridge. Agents are not (just) web services: considering BDI agents and web services. In Proceedings of the 2005 Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE'2005), Utrecht, The Netherlands, Jul 2005.
S. S. Fatima, M. Wooldridge, and N. R. Jennings. Bargaining with incomplete information In Annals of Mathematics and Artificial Intelligence, 44(3):207-232, July 2005.
S. S. Fatima, M. Wooldridge, and N. R. Jennings. Optimal Agendas for Sequential Auctions for Common and Private Value Objects In Proceedings of the 2005 Workshop on Game Theory and Decision Theory in Agent Systems (GTDT-05), Edinburgh, UK, July 2004. (PDF)
S. S. Fatima, M. Wooldridge, and N. R. Jennings. An Analysis of the Shapley Value and Its Uncertainty for the Voting Game In Proceedings of the Seventh International Workshop on Agent-Mediated Electronic Commerce (AMEC-05), Utrecht, The Netherlands, July 2004. (PDF)
S. S. Fatima, M. Wooldridge, and N. R. Jennings. An Analysis of Sequential Auctions for Common and Private Value Objects In Proceedings of the Seventh International Workshop on Agent-Mediated Electronic Commerce (AMEC-05), Utrecht, The Netherlands, July 2004. (PDF)
P. E. Dunne, M. Wooldridge, and M. Laurence. The Complexity of Contract Negotiation. In Artificial Intelligence, 164(1-2):23-46, May 2005. (PDF)
W. van der Hoek and M. Wooldridge. On the Logic of Cooperation and Propositional Control. In Artificial Intelligence, 164(1-2):81--119, May 2005. (PDF)
S. S. Fatima, M. Wooldridge, and N. R. Jennings. A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents In Artificial Intelligence Review, 23:185-203, 2005 (PDF)
V. Tamma, S. Phelps, I. Dickinson and M. Wooldridge. Ontologies for supporting negotiation in e-commerce. In Engineering Applications of Artificial Intelligence, 18(2):223-236, March 2005. (PDF)

2004

M. Schut, M. Wooldridge, and S. Parsons. The Theory and Practice of Intention Reconsideration. In Journal of Experimental and Theoretical Artificial Intelligence, 16(4):261-293, October-December 2004. (PDF)
S. van Otterloo, W. van der Hoek, and M. Wooldridge. Model Checking a Knowledge Exchange Scenario. In Applied Artificial Intelligence, 18(9-10):937--952, October-December 2004. (PDF)
R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge, Model checking rational agents. In IEEE Intelligent Systems 19(5):46-52, September/October 2004. (PDF)
M. Wooldridge and P. E. Dunne. On the Computational Complexity of Qualitative Coalitional Games. In Artificial Intelligence, 158(1):27-73, September 2004. (PDF)
W. Vasconcelos, D. Robertson, C. Sierra, M. Esteva, J. Sabater, and M. Wooldridge. Rapid Prototyping of Large Multi-Agent Systems through Logic Programming. In Annals of Mathematics and Artificial Intelligence, 41(2--4):135--169, August 2004. (PDF)
V. Tamma and I. Blacoe and B. Lithgow-Smith and M. Wooldridge. SERSE: Searching for Semantic Web Content In Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI-04), Valencia, Spain, August 2004. (PDF)
S. van Otterloo, W. van der Hoek, and M. Wooldridge. Axioms for Game Logic with Preferences. In Proceedings of the Sixth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 6), Leipzig, Germany, July 2006.
P. E. Dunne, M. Laurence, and M. Wooldridge. Tractability Results for Automatic Contracting In Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI-04), Valencia, Spain, August 2004. (PDF)
S. S. Fatima, M. Wooldridge, and N. R. Jennings. Optimal Negotiation of Multiple Issues in Incomplete Information Settings In Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems (AAMAS-04), New York, NY, July 2004. (PDF)
R. Bordini, M. Fisher, W. Visser, and M. Wooldridge. State-Space Reduction Techniques in Agent Verification In Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems (AAMAS-04), New York, NY, July 2004. (PDF)
S. van Otterloo, W. van der Hoek, and M. Wooldridge. Preferences in Game Logics In Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems (AAMAS-04), New York, NY, July 2004. (PDF)
S. van Otterloo, W. van der Hoek, and M. Wooldridge. Knowledge Condition Games. In Proceedings of the Sixth Workshop on Game Theoretic and Decision Theoretic Agents (GTDT-04), New York, NY, July 2004. (PDF)
P. E. Dunne and M. Wooldridge. Preferences in Qualitative Coalitional Games. In Proceedings of the Sixth Workshop on Game Theoretic and Decision Theoretic Agents (GTDT-04), New York, NY, July 2004. (PDF)
M. d'Inverno, M. Luck, M. Georgeff, D. Kinny and M. Wooldridge. The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System, In Journal of Autonomous Agents and Multi-Agent Systems, 9(1-2):5-53, 2004. (PDF)
W. Jamroga, W. van der Hoek, and M. Wooldridge. On Obligations and Abilities. In Proceedings of the Seventh International Workshop on Deontic Logic in Computer Science (DEON-04). Madeira, Portugal, May 2004. (PDF)
S. Phelps, V. Tamma, M. Wooldridge, and I. Dickinson. Toward Open Negotiation. In IEEE Internet Computing, 8(2):70-75, 2004.
S. S. Fatima, M. Wooldridge, N. R. Jennings. An agenda-based framework for multi-issue negotiation. In Artificial Intelligence, 152(1):1-45, January 2004. (PDF)
P. E. Dunne, M. R. Laurence, and M. Wooldridge. Complexity Results for Agent Design Problems. In Annals of Mathematics, Computing, and Teleinformatics, 1(1):19-36, January 2004. (PDF)

2003

M. Wooldridge. An Automata-theoretic approach to multiagent planning. In Proceedings of the First European Workshop on Multiagent Systems (EUMAS 2003), Oxford University, December 2003. (PDF)
W. van der Hoek and M. Wooldridge. Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. In Studia Logica, 75(1):125-157, October 2003. (PDF)
S. van Otterloo, W. van der Hoek, and M. Wooldridge. Knowledge as Strategic Ability. In Electronic Notes in Theoretical Computer Science, 85(2):1--23, 2003. (PDF)
S. Parsons, M. Wooldridge, and L. Amgoud Properties and Complexity of Some Formal Inter-agent Dialogues In Journal of Logic & Computation, 13(3):347-376, 2003. (PDF)
W. van der Hoek and M. Wooldridge. Model Checking Cooperation, Knowledge, and Time - A Case Study. In Research In Economics, 57(3):235-265, September 2003. (PDF)
F. Zambonelli, N. R. Jennings, and M. Wooldridge. Developing Multiagent Systems: The Gaia Methodology. In ACM Transactions on Software Engineering Methodology, 12(3):317-370, July 2003. (PDF)
S. van Otterloo, W. van der Hoek, and M. Wooldridge. Model Checking a Knowledge Exchange Scenario. In Proceedings of the Second International Workshop on Model Checking and Artificial Intelligence (MOCHART-2003). Acapulco, Mexico, July 2003. (PDF)
R. H. Bordini, M. Fisher, C. Pardavila, W. Visser, and M. Wooldridge. Model Checking Multi-Agent Programs with CASP In Proceedings of the Fifteenth Computer-Aided Verification Conference (CAV-2003). Boulder, Colorado, July 2003. (PDF)
S. Parsons, M. Wooldridge, and L. Amgoud. On the outcomes of formal inter-agent dialogues In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Melbourne, Australia, July 2003. (PDF)
S. S. Fatima, M. Wooldridge, N. R. Jennings. Optimal Agendas for Multi-Issue Negotiation. In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Melbourne, Australia, July 2003. (PDF)
S. S. Fatima, M. Wooldridge, and N. R. Jennings. Comparing Equilibria for Game-Theoretic and Evolutionary Bargaining Models. In Proceedings of the Fifth International Workshop on Agent-Mediated Elctronic Commerce (AMEC-2003), Melbourne, Australia, July 2003. (PDF)
I. Dickinson, M. Wooldridge. Practical reasoning agents for the semantic web In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Melbourne, Australia, July 2003. (PDF)
R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model Checking AgentSpeak In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Melbourne, Australia, July 2003. (PDF)
J. S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, editors. Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-03). ACM Press, July 2003.
M. Pauly and M. Wooldridge. Logic for Mechanism Design - A Manifesto. In Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent-based Systems (GTDT-2003), Melbourne, Australia, July 2003. (PDF)
M.-P. Huget and M. Wooldridge. Model Checking for ACL Compliance Verification. In Proceedings of the 2003 Workshop on Agent Communication Languages and Conversation Policies, Melbourne, Australia, July 2003. (PDF)
W. van der Hoek and M. Wooldridge. Towards a Logic of Rational Agency. In In Logic Journal of the IGPL, 11(2):133-157, March 2003. (PDF)
A. R. Lomuscio, M. Wooldridge, and N. R. Jennings. A classification scheme for negotiation in electronic commerce. In International Journal of Group Decision and Negotiation. 12(1):31-56, January 2003. (PDF)

2002

M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons. Model Checking Multiagent systems with MABLE. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002. (PDF)
W. van der Hoek and M. Wooldridge. Tractable Multiagent Planning for Epistemic Goals. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002. (PDF)
P. E. Dunne and M. Wooldridge. The Computational Complexity of Boolean and Stochastic Agent Design Problems. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002. (PDF)
S. Parsons, M. Wooldridge, and L. Amgoud. An analysis of formal interagent dialogues. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002. (PDF)
P. McBurney, S. Parsons, and M. Wooldridge. Desiderata for agent argumentation protocols. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002. (PDF)
S. S. Fatima, M. Wooldridge, and N. R. Jennings. Multi-issue negotiation under time constraints. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002. (PDF)
S. S. Fatima, M. Wooldridge, and N. R. Jennings. The Influence of Information on Negotiation Equilibrium. In Proceedings of the Fourth International Workshop on Agent-Mediated Elctronic Commerce (AMEC-2002), Bologna, Italy, July 2002. (PDF)
V. Tamma, M. Wooldridge, and I. Dickinson. An Ontology for Automated Negotiation. In Proceedings of the Workshop on Ontologies in Agent Systems, Bologna, Italy, July 2002. (PDF)
V. Tamma, M. Wooldridge, and I. Dickinson. An Ontology-based Approach to Automated Negotiation. In Proceedings of the Fourth International Workshop on Agent-Mediated Elctronic Commerce (AMEC-2002), Bologna, Italy, July 2002. (PDF)
S. Parsons, P. Gmytrasiewicz, and M. Wooldridge. Game Theory and Decision Theory in Agent-based Systems (Volume 5 of the ``Multiagent Systems'' International Book Series). Kluwer Academic Publishers, June 2002.
W. van der Hoek and M. Wooldridge. Model Checking Knowledge and Time. In SPIN 2002 -- Proceedings of the Ninth International SPIN Workshop on Model Checking of Software, Grenoble, France, April 2002. (PDF)
M. Wooldridge. An Introduction to Multiagent Systems. John Wiley and Sons Ltd, February 2002.
M. Wooldridge and P. E. Dunne. The Computational Complexity of Agent Verification. In J.-J. Meyer and M. Tambe, editors, Intelligent Agents VIII Springer-Verlag Lecture Notes in AI Volume, March 2002. (PDF)
S. S. Fatima, M. Wooldridge, and N. R. Jennings. Optimal Negotiation Strategies for Agents with Incomplete Information . In J.-J. Meyer and M. Tambe, editors, Intelligent Agents VIII Springer-Verlag Lecture Notes in AI Volume, March 2002. (PDF)
M. Wooldridge, G. Weiss, and P.Ciancarini, editors: Agent-Oriented Software Engineering II Springer-Verlag Lecture Notes in Computer Science Volume 2222, February 2001.
W. Vasconcelos, D. Robertson, J. Agusti, C. Sierra, M. Wooldridge, S. Parsons, C. Walton, and J. Sabater. A lifecycle for models of large multi-agent systems . In Agent-Oriented Software Engineering II Springer-Verlag Lecture Notes in Computer Science Volume 2222, February 2001: (PDF)

2001

M. Schut and M. Wooldridge. The Control of Reasoning in Resource-Bounded Agents. In Knowledge Engineering Review, 2001. (PDF)
M. Schut, M. Wooldridge, and S. Parsons. Reasoning about intentions in uncertain domains. In Proceedings of the Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2001), Toulouse, France, September 2001. (PDF)
N. R. Jennings, P. Faratin, A. R. Lomuscio, S. Parsons, C. Sierra and M. Wooldridge. Automated negotiation: prospects, methods and challenges. In International Journal of Group Decision and Negotiation. 10(2), pages 199-215, 2001. (PDF)
M. Wooldridge and A. Lomuscio. A Computationally Grounded Logic of Visibility, Perception, and Knowledge In Logic Journal of the IGPL, 9(2):273-288, 2001. (PDF)
M. Schut and M. Wooldridge. Principles of Intention Reconsideration. In Agents 2001: Proceedings of the Fifth International Conference on Autonomous Agents Montreal, Canada May/June 2001. (PDF)
S. S. Fatima and M. Wooldridge. Adaptive Task and Resource Allocation in Multi-Agent Systems. In Agents 2001: Proceedings of the Fifth International Conference on Autonomous Agents Montreal, Canada May/June 2001. (PDF)
M. Wooldridge and P. E. Dunne. Optimistic and Disjunctive Agent Design Problems. In Y. Lesperanceand C. Castelfranchi, editors, Intelligent Agents VII Springer-Verlag Lecture Notes in AI Volume, February 2001. (PDF)
A. Lomuscio, M. Wooldridge, and N. R. Jennings. A Classification Scheme for Negotiation in Elctronic Commerce. In F. Dignum and C. Sierra, editors, Agent-Mediated Electronic Commerce: A European AgentLink Perspective. Springer-Verlag Lecture Notes in AI Volume 1991, March 2001. (PDF)
P. Ciancarini and M. Wooldridge, editors: Agent-Oriented Software Engineering. Springer-Verlag Lecture Notes in AI Volume 1957, January 2001.
S. Bussmann, N. R. Jennings, and M. Wooldridge. On the Identification of Agents in the Design of Production Control Systems In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering. Springer-Verlag Lecture Notes in AI Volume 1957, January 2001. (PDF)
F. Zambonelli, N. R. Jennings, and M. Wooldridge. Organizational Abstractions for the Analysis and Design of Multi-Agent Systems In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering. Springer-Verlag Lecture Notes in AI Volume 1957, January 2001. (PDF)
M. Wooldridge and P.Ciancarini. Agent-Oriented Software Engineering: The State of the Art In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering. Springer-Verlag Lecture Notes in AI Volume 1957, January 2001. (PDF)

2000

M. Wooldridge. Engineering the computational economy. In IST-2000: Proceedings of the Information Society Technologies Conference, Nice, France, November 2000. (PDF)
M. Wooldridge, N. R. Jennings, and D. Kinny. The Gaia Methodology for Agent-Oriented Analysis and Design. In Journal of Autonomous Agents and Multi-Agent Systems. 3(3):285-312. 2000. (PDF)
M. Wooldridge. On the Sources of Complexity in Agent Design. In Applied Artificial Intelligence. 14(7):623-644. 2000. (PDF)
F. Zambonelli, N. R. Jennings, A. Omicini and M. Wooldridge Agent-Oriented Software Engineering for Internet Applications. In A. Omicini, F. Zambonelli, M. Klusch and R. Tolksdorf, editors, Coordination of Internet Agents, Springer Verlag. (PDF)
M. Wooldridge and A. Lomuscio. A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results. In J. Cunningham, editor, Proceedings of the Third International Conference on Pure and Applied Practical Reasoning (FAPR-2000). London, UK, September 2000. (PDF)
M. Wooldridge and A. Lomuscio. Multi-Agent VSK Logic. In Proceedings of the Seventh European Workshop on Logics in Artificial Intelligence (JELIAI-2000). Springer-Verlag, September 2000. (PDF)
M. Wooldridge and S. Parsons. Languages for Negotiation. In W. Horn, editor, Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI-2000). John Wiley, August 2000. (PDF)
S. Parsons, O. Pettersson, A. Saffiotti, and M. Wooldridge Intention Reconsideration in Theory and Practice. In W. Horn, editor, Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI-2000). John Wiley, August 2000. (PDF)
M. Wooldridge. Reasoning about Rational Agents. The MIT Press, July 2000.
M. Wooldridge. The Computational Complexity of Agent Design Problems. In E. Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000). IEEE Press, July 2000. (PDF)
M. Wooldridge. Computationally Grounded Theories of Agency. In E. Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000). IEEE Press, July 2000. (PDF)
M. Schut and M. Wooldridge. Intention Reconsideration in Complex Environments. In M. Gini and J. Rosenschein, editors: Agents 2000: Proceedings of the Fourth International Conference on Autonomous Agents Barcelona, Spain, June 2000. (PDF)
M. Wooldridge and S. Parsons. On the use of logic in negotiation. In Proceedings of the Autonomous Agents 2000 Workshop on Agent Communication Languages and Conversation Protocols, Barcelona, June 2000. (PDF)
M. Wooldridge and A. Lomuscio. Reasoning about Visibility, Perception, and Knowledge. In N. R. Jennings and Y. Lesperance, editors, Intelligent Agents VI Springer-Verlag Lecture Notes in AI Volume, March 2000. (PDF)
M. Wooldridge. Semantic Issues in the Verification of Agent Communication Languages. In Journal of Autonomous Agents and Multi-Agent Systems. 3(1):9-31. February 2000. (PDF)

1999

M. Wooldridge and N. R. Jennings. The Cooperative Problem Solving Process. In Journal of Logic & Computation, 9(4) pages 563--592, 1999 (PDF)
M. Wooldridge and M. Veloso, editors: Artificial Intelligence Today Springer-Verlag Lecture Notes in AI Volume 1600, August 1999.
M. Wooldridge. Verifying that Agents Implement a Communication Language In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), Orlando, FL, July 1999. (PDF)
M. Wooldridge and N. R. Jennings. Software Engineering with Agents: Pitfalls and Pratfalls. In IEEE Internet Computing, May/June 1999.
M. Wooldridge, N. R. Jennings, and D. Kinny. A Methodology for Agent-Oriented Analysis and Design. In O. Etzioni, J. P. Muller, and J. Bradshaw, editors: Agents '99: Proceedings of the Third International Conference on Autonomous Agents Seattle, WA, May 1998. (PDF)
A. Hayzelden, J. Bigham, M. Wooldridge, and L. Cuthbert. Future Communication Networks Using Software Agents. In A. Hayzelden and J. Bigham, editors: Software Agents for Future Communication Systems, Springer-Verlag, May 1999. (Not available online.)
M. Wooldridge. Intelligent Agents In G. Weiss, editor: Multiagent Systems, The MIT Press, April 1999. (PDF)
S. Parsons, O. Pettersson, A. Saffiotti, and M. Wooldridge. Robots with the Best of Intentions In Proceedings of Towards Intelligent Mobile Robots 99 (TIMR-99). Manchester, UK, March 1999. (PDF)
M. Wooldridge and S. Parsons. Intention Reconsideration Reconsidered. In J. P. Muller, M. Singh, and A. Rao, editors Intelligent Agents V Springer-Verlag Lecture Notes in AI Volume 1365, March 1999. (PDF)
M. Georgeff, B. Pell, M. Pollack, M. Tambe, and M. Wooldridge. The Belief-Desire-Intention Model of Agency. In J. P. Muller, M. Singh, and A. Rao, editors Intelligent Agents V Springer-Verlag Lecture Notes in AI Volume 1365, March 1999. (PDF)
M. Wooldridge and A. Rao, editors. Foundations of Rational Agency Kluwer Academic Publishers, March 1999.

1998

M. Wooldridge. Agents and software engineering. In AI*IA Notizie XI(3), pages 31-37, September 1998. (PDF)
M. Wooldridge. A Knowledge-Theoretic Approach to Distributed Problem Solving. In H. Prade, editor, Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI-98). John Wiley, August 1998. (PDF)
M. Wooldridge. Verifiable Semantics for Agent Communication Languages. In Y. Demazeau, editor, Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 98). IEEE Press, July 1998. (PDF)
C. Dixon, M. Fisher, and M. Wooldridge. Resolution for Temporal Logics of Knowledge. In Journal of Logic & Computation. 8(3):345--372, 1998. (PDF)
M. Wooldridge, C. Dixon, and M. Fisher. A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. In Journal of Applied Non-Classical Logics. 8(3):225--258, 1998. (PDF)
N. R. Jennings, K. P. Sycara, and M. Wooldridge A Roadmap of Agent Research and Development In Journal of Autonomous Agents and Multi-Agent Systems. 1(1), pages 7-36. July 1998.
M. Wooldridge and A. Haddadi. Making it up as they go along: A theory of reactive cooperation. In W. Wobcke, M. Pagnucco, and C. Zhang, editors, Agents and Multi-Agent Systems -- Formalisms, Methodologies, and Applications (LNAI Volume 1441). Springer-Verlag, June 1998. (PDF)
M. Wooldridge and N. R. Jennings. Pitfalls of Agent-Oriented Development. In K. P. Sycara and M. Wooldridge, editors: Agents '98: Proceedings of the Second International Conference on Autonomous Agents ACM Press, May 1998. (PDF)
K. P. Sycara and M. Wooldridge, editors: Agents '98: Proceedings of the Second International Conference on Autonomous Agents ACM Press, May 1998.
M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge. A Formal Specification of dMARS. In M. P. Singh, A. S. Rao, and M. Wooldridge, editors: Intelligent Agents IV Springer-Verlag Lecture Notes in AI Volume 1365, February 1998. (PDF)
M. P. Singh, A. S. Rao, and M. Wooldridge, editors: Intelligent Agents IV Springer-Verlag Lecture Notes in AI Volume 1365, February 1998.
N. R. Jennings and M. Wooldridge. Applications ofAgent Technology In N. R. Jennings and M. Wooldridge, editors, Agent Technology: Foundations, Applications, and Markets. Springer-Verlag, March 1998.
N. R. Jennings and M. Wooldridge, editors: Agent Technology: Foundations, Applications, and Markets. Springer-Verlag, March 1998.
M. Wooldridge. Agent-based computing. In Interoperable Communication Networks. 1(1), pages 71-97. January 1998. (PDF)

1997

M. d'Inverno, M. Luck, and M. Wooldridge. Cooperation Structures. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August 1997. (PDF)
I. Ferguson, J. P. Mueller, M. Pischel, and M. Wooldridge. Web Economics: A Case for Agent-based Digital Libraries In Proceedings of the IJCAI 97 Workshop on AI in Digital Libraries, Nagoya, Japan, August 1997. (PDF)
I. Ferguson and M. Wooldridge. Paying their way: Commercial Digital Libraries for the 21st Century. In D-Lib Magazine: The Magazine of Digital Library Research, June 1997.
M. Fisher and M. Wooldridge. Distributed Problem Solving as Concurrent Theorem Proving, in M. Boman and W van de Velde, editors, Multi-Agent Rationality -- Proceedings of the Eighth European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-97), Springer-Verlag, 1997. (PDF)
M. Wooldridge. Agent-based Software Engineering. In IEE Proceedings on Software Engineering, 144(1), pages 26--37, February 1997. (PDF)
M. Fisher and M. Wooldridge. On the Formal Specification and Verification of Multi-Agent Systems. In International Journal of Cooperative Information Systems, 6(1), pages 37-65, 1997. (PDF)
M. Wooldridge. A Knowledge-Theoretic Semantics for Concurrent MetateM. In J. Mueller, M. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III, Springer-Verlag, 1997. (PDF)
J. Mueller, M. Wooldridge and N. R. Jennings, editors. Intelligent Agents III. Volume 1193 of Lecture Notes in Artificial Intelligence, Springer-Verlag, January 1997. ISBN 3-540-62507-0; 401pp; includes index.

1996

H. S. Nwana and M. Wooldridge. Software Agent Technologies. In BT Technology Journal 14(4), pages 68-78, October 1996. (Not available online.)
M. Wooldridge. Practical Reasoning with Procedural Knowledge: A Logic of BDI Agents with Know-How. In D. M. Gabbay and H.-J. Ohlbach, editors, Proceedings of the International Conference on Formal and Applied Practical Reasoning. Springer-Verlag, June 1996. (PDF)
M. Fisher, M. Wooldridge, and C. Dixon. A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. In D. M. Gabbay and H.-J. Ohlbach, editors,Proceedings of the International Conference on Formal and Applied Practical Reasoning. Springer-Verlag, June 1996. (PDF)
M. Wooldridge, S. Bussmann, M. Klosterberg. Production Sequencing as Negotiation. In Proceedings of the International Conference on Practical Application of Agents and Multi-Agent Systems, London, April 1996. (PDF)
M. Wooldridge, J. P. Mueller, and M. Tambe, editors. Intelligent Agents II. Volume 1037 of Lecture Notes in Artificial Intelligence, Springer-Verlag, January 1996. ISBN 3-540-60805-2. Includes index; 439 pages.
N. R. Jennings and M. Wooldridge. Software Agents. IEE Review 42(1), pages 17-21. January 1996. (PDF)
M. Wooldridge. A Logic of BDI Agents with Procedural Knowledge . In J. L. Fiadeiro and P.-Y. Schobbens, editors, Proceedings of the Second Workshop of the MODELAGE Project. Sesimbra, Portugal, January 15-17th, 1996. (PDF)
M. Wooldridge. Time, Knowledge, and Choice . In M. Wooldridge, J. P. Mueller, and M. Tambe, editors, Intelligent Agents Volume II, Springer-Verlag, 1996. (PDF)

1995

N. R. Jennings and M. Wooldridge. Applying Agent Technology In Journal of Applied Artificial Intelligence special issue on Intelligent Agents and Multi-Agent Systems, 1995. (PDF)
M. Wooldridge. An Abstract General Model and Logic of Resource-Bounded Believers. In M. Cox and M. Freed, editors, Representing Mental States and Mechanisms --- Proceedings of the 1995 AAAI Spring Symposium. AAAI Press, March 1995. (PDF)
A. Walker and M. Wooldridge. Understanding the Emergence of Conventions in Multi-Agent Systems. In Proceedings of the First International Conference on Multi-Agent Systems, San Francisco, CA, June 1995. (PDF)
M. Wooldridge and N. R. Jennings, editors. Intelligent Agents --- Theories, Architectures, and Languages. Volume 890 of Lecture Notes in Artificial Intelligence, Springer-Verlag, January 1995. ISBN 3-540-58855-8. Includes extensive review article, glossary, annotated list of key terms, and index; 407 pages.
M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. In Knowledge Engineering Review 10(2), 1995.

1994

M. Wooldridge. Agent-Based Software Engineering. Unpublished seminar, first presented at Daimler-Benz, Berlin, Germany, July 1994. (PDF)
M. Wooldridge. Coherent Social Action. In Proceedings of the Eleventh European Conference on AI (ECAI-94), Amsterdam, The Netherlands, August 1994. (PDF)
M. Wooldridge. This is MyWorld: The Logic of an Agent-Oriented DAI Testbed. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1995. (PDF)
M. Wooldridge and N. R. Jennings. Formalizing the Cooperative Problem Solving Process. In M. Klein, editor, Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence (IWDAI-93), Lake Quinalt, WA, July 1994. (PDF)
M. Wooldridge and N. R. Jennings. Towards a Theory of Cooperative Problem Solving. In Proceedings of the Sixth European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW-94). (PDF)
M. Wooldridge and M. Fisher. A Decision Procedure for a Temporal Belief Logic. In D. Gabbay and H. J. Ohlbach, editors, Temporal Logic --- Proceedings of the First International Conference (LNAI Volume 827), pages 317--331, Springer-Verlag, July 1994. (PDF)
M. Fisher and M. Wooldridge. Specifying and Executing Protocols for Cooperative Action. In S. M. Deen, editor, CKBS-94 --- Proceedings of the Second International Working Conference on Cooperating Knowledge-Based Systems Springer-Verlag, 1994. (PDF)
M. Wooldridge. Temporal Belief Logics for Modelling Distributed AI Systems. In G. M. P. O'Hare and N. R. Jennings, editors, Foundations of DAI. Wiley Interscience, 1995. (PDF)

1993

M. Wooldridge and D. Vandekerckhove. MyWorld: An Agent-Oriented Testbed for Distributed Artificial Intelligence. In S. M. Deen, editor, CKBS-93 --- Proceedings of the 1993 Special Interest Group on Cooperating Knowledge-Based Systems. DAKE Centre, University of Keele, UK, 1994. (PDF)
M. Fisher and M. Wooldridge. Specifying and Verifying Distributed Intelligent Systems. In M. Filgueiras and L. Damas, editors, Progress in Artificial Intelligence --- Proceedings of the Sixth Portugues Conference on AI (LNAI Volume 727), Springer-Verlag, October 1993. (PDF)
M. Fisher and M. Wooldridge. Executable Temporal Logic for Distributed AI. In K. Sycara, editor, Proceedings of the Twelfth International Workshop on Distributed Artificial Intelligence (IWDAI-93), Hidden Valley, PA, May 1993. (PDF)

1992

M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, UMIST, Manchester, October 1992. (This file is about one megabyte in size.) (PDF)
M. Wooldridge and M. Fisher. A First-Order Branching Time Logic of Multi-Agent Systems. In Proceedings of the Tenth European Conference on AI (ECAI-92), Vienna, Austria, August 1992. (PDF)

1991

M. Wooldridge, G. M. P. O'Hare, and R. Elks. FELINE --- A Case Study in the Design and Implementation of a Co-operating Expert System. In Proceedings of the International Conference on Expert Systems and their Applications (Avignon-91), Avignon, May 1991. My first refereed publication - included for nostalgia purposes, rather than scientific content :-) (PDF)