Michael Wooldridge - Publications

Mike 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 (coordinates are on my home page). Documents are available in PDF, older documents are also available in gzipped PostScript. If you have any problems accessing these documents, let me know.

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

2010

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.
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 Intellogemce (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)