A First-Order Branching Time Logic of Multi-Agent System. - Michael J. Wooldridge; Michael Fisher 001 (ECAI, 1992)

The logical modelling of computational multi-agent systems. - Michael J. Wooldridge (1992)

Specifying and Verifying Distributed Intelligence Systems. - Michael Fisher 001; Michael J. Wooldridge (EPIA, 1993)

Coherent Social Action. - Michael J. Wooldridge (ECAI, 1994)

This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed. - Michael J. Wooldridge (ECAI Workshop on Agent Theories, Architectures, and Languages, 1994)

Agent Theories, Architectures, and Languages: A Survey. - Michael J. Wooldridge; Nicholas R. Jennings (ECAI Workshop on Agent Theories, Architectures, and Languages, 1994)

A Decision Procedure for a Temporal Belief Logic. - Michael J. Wooldridge; Michael Fisher 001 (ICTL, 1994)

Towards a Theory of Cooperative Problem Solving. - Michael J. Wooldridge; Nicholas R. Jennings (MAAMAW, 1994)

Time, Knowledge, and Choice. - Michael J. Wooldridge (ATAL, 1995)

Agent Theories, Architectures, and Languages: A Bibliography. - Michael J. Wooldridge; Jörg P. Müller; Milind Tambe (ATAL, 1995)

Understanding the Emergence of Conventions in Multi-Agent Systems. - Adam Walker; Michael J. Wooldridge (ICMAS, 1995)

Applying agent technology. - Nicholas R. Jennings; Michael J. Wooldridge (Appl. Artif. Intell., 1995)

Intelligent agents: theory and practice. - Michael J. Wooldridge; Nicholas R. Jennings (Knowl. Eng. Rev., 1995)

Agents as a Rorschach Test: A Response to Franklin and Graesser. - Michael J. Wooldridge (ATAL, 1996)

A Knowledge-Theoretic Semantics for Concurrent METATEM. - Michael J. Wooldridge (ATAL, 1996)

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. - Michael Fisher 001; Michael J. Wooldridge; Clare Dixon (FAPR, 1996)

Practical Reasoning with Procedural Knowledge. - Michael J. Wooldridge (FAPR, 1996)

Production Sequencing as Negotiation. - Michael J. Wooldridge; Stefan Bussmann; Marcus Klosterberg (PAAM, 1996)

Reasoning about knowledge by Ronald Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi, MIT Press, Cambridge, MA, 1995, pp 477, $45.00 cloth, ISBN 0-262-06162-7. - Michael J. Wooldridge (Knowl. Eng. Rev., 1996)

A Formal Specification of dMARS. - Mark d'Inverno; David Kinny; Michael Luck; Michael J. Wooldridge (ATAL, 1997)

Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). - Michael J. Wooldridge; Afsaneh Haddadi (Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997)

Sofware Agent Technologies. - Hyacinth S. Nwana; Michael J. Wooldridge (Software Agents and Soft Computing, 1997)

Issues in Agent-Based Software Engineering. - Michael J. Wooldridge (CIA, 1997)

Cooperation Structures. - Mark d'Inverno; Michael Luck; Michael J. Wooldridge (IJCAI (1), 1997)

Distributed Problem-Solving as Concurrent Theorem Proving. - Michael Fisher 001; Michael J. Wooldridge (MAAMAW, 1997)

Agent-Based Digital Libraries: Driving the Information Economy. - David Derbyshire; Innes A. Ferguson; Jörg P. Müller; Markus Pischel; Michael J. Wooldridge (WETICE, 1997)

Paying Their Way: Commercial Digital Libraries for the 21st Century. - Innes A. Ferguson; Michael J. Wooldridge (D Lib Mag., 1997)

Agent-based software engineering. - Michael J. Wooldridge (IEE Proc. Softw. Eng., 1997)

On the Formal Specification and Verification of Multi-Agent Systems. - Michael Fisher 001; Michael J. Wooldridge (Int. J. Cooperative Inf. Syst., 1997)

Formalisms for multi-agent systems. - Mark d'Inverno; Michael Fisher 001; Alessio Lomuscio; Michael Luck; Maarten de Rijke; Mark Ryan 001; Michael J. Wooldridge (Knowl. Eng. Rev., 1997)

Pitfalls of Agent-Oriented Development. - Michael J. Wooldridge; Nicholas R. Jennings (Agents, 1998)

The Belief-Desire-Intention Model of Agency. - Michael P. Georgeff; Barney Pell; Martha E. Pollack; Milind Tambe; Michael J. Wooldridge (ATAL, 1998)

A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series. - Michael J. Wooldridge; Jörg P. Müller (ATAL, 1998)

Intention Reconsideration Reconsidered. - Michael J. Wooldridge; Simon Parsons (ATAL, 1998)

A Knowledge-theoretic Approach to Distributed Problem Solving. - Michael J. Wooldridge (ECAI, 1998)

Verifiable Semantics for Agent Communication Languages. - Michael J. Wooldridge (ICMAS, 1998)

A Roadmap of Agent Research and Development. - Nicholas R. Jennings; Katia P. Sycara; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 1998)

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. - Michael J. Wooldridge; Clare Dixon; Michael Fisher 001 (J. Appl. Non Class. Logics, 1998)

Rationality in Multi-Agent Systems. - Ken Binmore; Cristiano Castelfranchi; James Doran; Michael J. Wooldridge (Knowl. Eng. Rev., 1998)

Resolution for Temporal Logics of Knowledge. - Clare Dixon; Michael Fisher 001; Michael J. Wooldridge (J. Log. Comput., 1998)

Editorial. - Nicholas R. Jennings; Michael J. Wooldridge; Fausto Giunchiglia (J. Log. Comput., 1998)

Robots with the Best of Intentions. - Simon Parsons; Ola Pettersson; Alessandro Saffiotti; Michael J. Wooldridge (Artificial Intelligence Today, 1999)

Verifying that Agents Implement a Communication Language. - Michael J. Wooldridge (AAAI/IAAI, 1999)

A Methodology for Agent-Oriented Analysis and Design. - Michael J. Wooldridge; Nicholas R. Jennings; David Kinny (Agents, 1999)

Agent-Oriented Software Engineering. - Stefan Bussmann; Paolo Ciancarini; Keith S. Decker; Michael N. Huhns; Michael J. Wooldridge (ATAL, 1999)

Reasoning about Visibility, Perception and Knowledge. - Michael J. Wooldridge; Alessio Lomuscio (ATAL, 1999)

Editorial. - Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 1999)

Software Engineering with Agents: Pitfalls and Pratfalls. - Michael J. Wooldridge; Nicholas R. Jennings (IEEE Internet Comput., 1999)

Making money from agents. - Dave Cliff; Jörg P. Müller; Divine T. Ndumu; Chris Preist; Michael J. Wooldridge (Knowl. Eng. Rev., 1999)

Diversity and agent technology. - Michael J. Wooldridge (Knowl. Eng. Rev., 1999)

The Cooperative Problem-solving Process. - Michael J. Wooldridge; Nicholas R. Jennings (J. Log. Comput., 1999)

Reasoning about rational agents. - Michael J. Wooldridge (MIT Press, 2000)

Intention reconsideration in complex environments. - Martijn C. Schut; Michael J. Wooldridge (Agents, 2000)

Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages. - Michael J. Wooldridge; Simon Parsons (AMEC, 2000)

On the Identification of Agents in the Design of Production Control Systems. - Stefan Bussmann; Nicholas R. Jennings; Michael J. Wooldridge (AOSE, 2000)

Agent-Oriented Software Engineering: The State of the Art. - Michael J. Wooldridge; Paolo Ciancarini (AOSE, 2000)

Organizational Abstractions for the Analysis and Design of Multi-agent Systems. - Franco Zambonelli; Nicholas R. Jennings; Michael J. Wooldridge (AOSE, 2000)

Panel Summary: Agent Development Tools. - Joanna Bryson; Keith S. Decker; Scott A. DeLoach; Michael N. Huhns; Michael J. Wooldridge (ATAL, 2000)

Optimistic and Disjunctive Agent Design Problems. - Michael J. Wooldridge; Paul E. Dunne (ATAL, 2000)

Intention Reconsideration in Theory and Practice. - Simon Parsons; Ola Pettersson; Alessandro Saffiotti; Michael J. Wooldridge (ECAI, 2000)

Languages for Negotiation. - Michael J. Wooldridge; Simon Parsons (ECAI, 2000)

Computationally Grounded Theories of Agency. - Michael J. Wooldridge (ICMAS, 2000)

The Computational Complexity of Agent Design Problems. - Michael J. Wooldridge (ICMAS, 2000)

Agent-oriented software engineering (workshop). - Paolo Ciancarini; Michael J. Wooldridge (ICSE, 2000)

Multi-agent VSK Logic. - Michael J. Wooldridge; Alessio Lomuscio (JELIA, 2000)

On the Sources of Complexity in Agent Design. - Michael J. Wooldridge (Appl. Artif. Intell., 2000)

Semantic Issues in the Verification of Agent Communication Languages. - Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2000)

The Gaia Methodology for Agent-Oriented Analysis and Design. - Michael J. Wooldridge; Nicholas R. Jennings; David Kinny (Auton. Agents Multi Agent Syst., 2000)

Agents on the Web: Agent Research and Development in Europe. - Carles Sierra; Michael J. Wooldridge; Norman M. Sadeh (IEEE Internet Comput., 2000)

Guest Editors' Introduction: Infrastructure, Technology, Applications. - Michael J. Wooldridge; Keith Decker (IEEE Internet Comput., 2000)

Agent-Oriented Software Engineering for Internet Applications. - Franco Zambonelli; Nicholas R. Jennings; Andrea Omicini; Michael J. Wooldridge (Coordination of Internet Agents: Models, Technologies, and Applications, 2001)

A Classification Scheme for Negotiation in Electronic Commerce. - Alessio Lomuscio; Michael J. Wooldridge; Nicholas R. Jennings (AgentLink, 2001)

Adaptive task resources allocation in multi-agent systems. - S. Shaheen Fatima; Michael J. Wooldridge (Agents, 2001)

Principles of intention reconsideration. - Martijn C. Schut; Michael J. Wooldridge (Agents, 2001)

A Lifecycle for Models of Large Multi-agent Systems. - Wamberto Weber Vasconcelos; David Stuart Robertson 001; Jaume Agustí-Cullell; Carles Sierra; Michael J. Wooldridge; Simon Parsons; Christopher Walton; Jordi Sabater (AOSE, 2001)

Optimal Negotiation Strategies for Agents with Incomplete Information. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (ATAL, 2001)

The Computational Complexity of Agent Verification. - Michael J. Wooldridge; Paul E. Dunne (ATAL, 2001)

Reasoning about Intentions in Uncertain Domains. - Martijn C. Schut; Michael J. Wooldridge; Simon Parsons (ECSQARU, 2001)

Intelligent Agents: The Key Concepts. - Michael J. Wooldridge (Multi-Agent-Systems and Applications, 2001)

A Computationally Grounded Logic of Visibility, Perception, and Knowledge. - Michael J. Wooldridge; Alessio Lomuscio (Log. J. IGPL, 2001)

Agent-Based Software Engineering - Guest Editors' Introduction. - Paolo Ciancarini; Michael J. Wooldridge (Int. J. Softw. Eng. Knowl. Eng., 2001)

Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems. - Franco Zambonelli; Nicholas R. Jennings; Michael J. Wooldridge (Int. J. Softw. Eng. Knowl. Eng., 2001)

The control of reasoning in resource-bounded agents. - Martijn C. Schut; Michael J. Wooldridge (Knowl. Eng. Rev., 2001)

Introduction to multiagent systems. - Michael J. Wooldridge (Wiley, 2002)

The Influence of Information on Negotiation Equilibrium. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AMEC, 2002)

An Ontology Based Approach to Automated Negotiation. - Valentina Tamma; Michael J. Wooldridge; Ian Blacoe; Ian Dickinson (AMEC, 2002)

Re-use of Interaction Protocols for Agent-Based Control Applications. - Stefan Bussmann; Nicholas R. Jennings; Michael J. Wooldridge (AOSE, 2002)

The computational complexity of boolean and stochastic agent design problems. - Paul E. Dunne; Michael J. Wooldridge; Michael Laurence (AAMAS, 2002)

Multi-issue negotiation under time constraints. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS, 2002)

Tractable multiagent planning for epistemic goals. - Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2002)

Desiderata for agent argumentation protocols. - Peter McBurney; Simon Parsons; Michael J. Wooldridge (AAMAS, 2002)

An analysis of formal inter-agent dialogues. - Simon Parsons; Michael J. Wooldridge; Leila Amgoud (AAMAS, 2002)

Model checking multi-agent systems with MABLE. - Michael J. Wooldridge; Michael Fisher 001; Marc-Philippe Huget; Simon Parsons (AAMAS, 2002)

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. - Michael J. Wooldridge; Wiebe van der Hoek (COORDINATION, 2002)

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. - Michael J. Wooldridge (KI, 2002)

Model Checking Knowledge and Time. - Wiebe van der Hoek; Michael J. Wooldridge (SPIN, 2002)

On Partially Observable MDPs and BDI Models. - Martijn C. Schut; Michael J. Wooldridge; Simon Parsons (Foundations and Applications of Multi-Agent Systems, 2002)

Game Theory and Decision Theory in Multi-Agent Systems. - Simon Parsons; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2002)

Model Checking for ACL Compliance Verification. - Marc-Philippe Huget; Michael J. Wooldridge (Workshop on Agent Communication Languages, 2003)

The Mechanics of Some Formal Inter-agent Dialogues. - Simon Parsons; Peter McBurney; Michael J. Wooldridge (Workshop on Agent Communication Languages, 2003)

Model checking agentspeak. - Rafael H. Bordini; Michael Fisher 001; Carmen Pardavila; Michael J. Wooldridge (AAMAS, 2003)

Towards practical reasoning agents for the semantic web. - Ian Dickinson; Michael J. Wooldridge (AAMAS, 2003)

Optimal agendas for multi-issue negotiation. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS, 2003)

On the outcomes of formal inter-agent dialogues. - Simon Parsons; Michael J. Wooldridge; Leila Amgoud (AAMAS, 2003)

A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns. - Christos Stergiou 003; Geert Arys; Michael J. Wooldridge (AAMAS, 2003)

Model Checking Multi-Agent Programs with CASP. - Rafael H. Bordini; Michael Fisher 001; Carmen Pardavila; Willem Visser; Michael J. Wooldridge (CAV, 2003)

An initial response to the OAS'03 challenge problem. - Ian Dickinson; Michael J. Wooldridge (OAS, 2003)

Verifiable Multi-agent Programs. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (PROMAS, 2003)

In Appreciation. - Katia P. Sycara; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2003)

Preface: Volume 85, Issue 2. - Wiebe van der Hoek; Alessio Lomuscio; Erik P. de Vink; Michael J. Wooldridge (LCMAS, 2003)

Knowledge as Strategic Ability. - Sieuwert van Otterloo; Wiebe van der Hoek; Michael J. Wooldridge (LCMAS, 2003)

Editorial. - Wiebe van der Hoek; Michael J. Wooldridge (Log. J. IGPL, 2003)

Towards a Logic of Rational Agency. - Wiebe van der Hoek; Michael J. Wooldridge (Log. J. IGPL, 2003)

Properties and Complexity of Some Formal Inter-agent Dialogues. - Simon Parsons; Michael J. Wooldridge; Leila Amgoud (J. Log. Comput., 2003)

Preface. - Wiebe van der Hoek; Michael J. Wooldridge (Stud Logica, 2003)

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. - Wiebe van der Hoek; Michael J. Wooldridge (Stud Logica, 2003)

Developing multiagent systems: The Gaia methodology. - Franco Zambonelli; Nicholas R. Jennings; Michael J. Wooldridge (ACM Trans. Softw. Eng. Methodol., 2003)

Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. - Simon Parsons; Peter McBurney; Michael J. Wooldridge (ArgMAS, 2004)

State-Space Reduction Techniques in Agent Verification. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (AAMAS, 2004)

Optimal Negotiation of Multiple Issues in Incomplete Information Settings. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS, 2004)

Revenue Maximising Agendas for Sequential English Auctions. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS, 2004)

Preferences in Game Logics. - Sieuwert van Otterloo; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2004)

On Obligations and Abilities. - Wojciech Jamroga; Wiebe van der Hoek; Michael J. Wooldridge (DEON, 2004)

Social Laws in Alternating Time. - Michael J. Wooldridge (DEON, 2004)

Tractability Results for Automatic Contracting. - Paul E. Dunne; Michael Laurence; Michael J. Wooldridge (ECAI, 2004)

SERSE: Searching for Semantic Web Content. - Valentina Tamma; Ian Blacoe; Ben Lithgow Smith; Michael J. Wooldridge (ECAI, 2004)

SERSE: Searching for Digital Content in Esperonto. - Valentina Tamma; Ian Blacoe; Ben Lithgow Smith; Michael J. Wooldridge (EKAW, 2004)

Model Checking A Knowledge Exchange Scenario. - Sieuwert van Otterloo; Wiebe van der Hoek; Michael J. Wooldridge (Appl. Artif. Intell., 2004)

The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. - Mark d'Inverno; Michael Luck; Michael P. Georgeff; David Kinny; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2004)

Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7. - Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2004)

An agenda-based framework for multi-issue negotiation. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (Artif. Intell., 2004)

On the computational complexity of qualitative coalitional games. - Michael J. Wooldridge; Paul E. Dunne (Artif. Intell., 2004)

Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems. - Jeffrey S. Rosenschein; Michael J. Wooldridge (AI Mag., 2004)

Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. - Wamberto Weber Vasconcelos; David Stuart Robertson 001; Carles Sierra; Marc Esteva; Jordi Sabater; Michael J. Wooldridge (Ann. Math. Artif. Intell., 2004)

Model Checking Rational Agents. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (IEEE Intell. Syst., 2004)

Toward Open Negotiation. - Steve Phelps; Valentina Tamma; Michael J. Wooldridge; Ian Dickinson (IEEE Internet Comput., 2004)

The theory and practice of intention reconsideration. - Martijn C. Schut; Michael J. Wooldridge; Simon Parsons (J. Exp. Theor. Artif. Intell., 2004)

On the Meta-logic of Arguments. - Michael J. Wooldridge; Peter McBurney; Simon Parsons (ArgMAS, 2005)

Law-governed Linda as a semantics for agent dialogue protocols. - Sylvie Doutre; Peter McBurney; Michael J. Wooldridge (AAMAS, 2005)

Sequential auctions for objects with common and private values. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS, 2005)

MAGENTA technology: multi-agent systems for industrial logistics. - Jonathan Himoff; Petr Skobelev; Michael J. Wooldridge (AAMAS Industrial Applications, 2005)

A logic for strategic reasoning. - Wiebe van der Hoek; Wojciech Jamroga; Michael J. Wooldridge (AAMAS, 2005)

Knowledge and social laws. - Wiebe van der Hoek; Mark Roberts; Michael J. Wooldridge (AAMAS, 2005)

On the dynamics of delegation, cooperation, and control: a logical account. - Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2005)

Intentions and Strategies in Game-Like Scenarios. - Wojciech Jamroga; Wiebe van der Hoek; Michael J. Wooldridge (EPIA, 2005)

A Model for Multi-issue Negotiation. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (IICAI, 2005)

An Analysis of Sequential Auctions for Common and Private Value Objects. - Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AMEC@AAMAS/TADA@IJCAI, 2005)

An Analysis of the Shapley Value and Its Uncertainty for the Voting Game. - Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AMEC@AAMAS/TADA@IJCAI, 2005)

An Ontological Framework for Dynamic Coordination. - Valentina Tamma; Chris van Aart; Thierry Moyaux; Shamimabi Paurobally; Ben Lithgow Smith; Michael J. Wooldridge (ISWC, 2005)

Introducing Autonomic Behaviour in Semantic Web Agents. - Valentina Tamma; Ian Blacoe; Ben Lithgow Smith; Michael J. Wooldridge (ISWC, 2005)

The complexity of contract negotiation. - Paul E. Dunne; Michael J. Wooldridge; Michael Laurence (Artif. Intell., 2005)

On the logic of cooperation and propositional control. - Wiebe van der Hoek; Michael J. Wooldridge (Artif. Intell., 2005)

A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (Artif. Intell. Rev., 2005)

Bargaining with incomplete information. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (Ann. Math. Artif. Intell., 2005)

The complexity of agent design problems: Determinism and history dependence. - Michael J. Wooldridge; Paul E. Dunne (Ann. Math. Artif. Intell., 2005)

Ontologies for supporting negotiation in e-commerce. - Valentina Tamma; Steve Phelps; Ian Dickinson; Michael J. Wooldridge (Eng. Appl. Artif. Intell., 2005)

Guest Editorial. - Gerhard Weiß 001; Michael J. Wooldridge (Eng. Appl. Artif. Intell., 2005)

Automated Game Analysis via Probabilistic Model Checking: a case study. - Paolo Ballarini; Michael Fisher 001; Michael J. Wooldridge (MoChArt@CONCUR/SPIN, 2005)

Preface. - Wiebe van der Hoek; Alessio Lomuscio; Erik P. de Vink; Michael J. Wooldridge (LCMAS, 2005)

On obligations and normative ability: Towards a logical analysis of the social contract. - Michael J. Wooldridge; Wiebe van der Hoek (J. Appl. Log., 2005)

Temporal Reasoning in Agent-Based Systems. - Michael Fisher 001; Michael J. Wooldridge (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)

On the Complexity of Linking Deductive and Abstract Argument Systems. - Michael J. Wooldridge; Paul E. Dunne; Simon Parsons (AAAI, 2006)

On the logic of coalitional games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2006)

Temporal qualitative coalitional games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2006)

On Efficient Procedures for Multi-issue Negotiation. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (TADA/AMEC, 2006)

On the complexity of practical ATL model checking. - Wiebe van der Hoek; Alessio Lomuscio; Michael J. Wooldridge (AAMAS, 2006)

Plan patterns for declarative goals in AgentSpeak. - Jomi Fred Hübner; Rafael H. Bordini; Michael J. Wooldridge (AAMAS, 2006)

Reasoning about action and cooperation. - Luigi Sauro; Jelle Gerbrandy; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2006)

Programming Declarative Goals Using Plan Patterns. - Jomi Fred Hübner; Rafael H. Bordini; Michael J. Wooldridge (DALT, 2006)

Verifying Multi-agent Programs by Model Checking. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2006)

On the computational complexity of coalitional resource games. - Michael J. Wooldridge; Paul E. Dunne (Artif. Intell., 2006)

Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems. - Sven Koenig; Sarit Kraus; Munindar P. Singh; Michael J. Wooldridge (AI Mag., 2006)

Model Checking for Multiagent Systems: the Mable Language and its Applications. - Michael J. Wooldridge; Marc-Philippe Huget; Michael Fisher 001; Simon Parsons (Int. J. Artif. Intell. Tools, 2006)

Multi-Issue Negotiation with Deadlines. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (J. Artif. Intell. Res., 2006)

Knowledge Condition Games. - Sieuwert van Otterloo; Wiebe van der Hoek; Michael J. Wooldridge (J. Log. Lang. Inf., 2006)

ATL Satisfiability is Indeed EXPTIME-complete. - Dirk Walther 002; Carsten Lutz; Frank Wolter; Michael J. Wooldridge (J. Log. Comput., 2006)

Foreword. - Sieuwert van Otterloo; Michael J. Wooldridge; Peter McBurney (Synth., 2006)

Computational Complexity of Weighted Threshold Games. - Edith Elkind; Leslie Ann Goldberg; Paul W. Goldberg; Michael J. Wooldridge (AAAI, 2007)

Logic for Automated Mechanism Design - A Progress Report. - Michael J. Wooldridge; Thomas Ågotnes; Paul E. Dunne; Wiebe van der Hoek (AAAI, 2007)

On the Relevance of Utterances in Formal Inter-agent Dialogues. - Simon Parsons; Peter McBurney; Elizabeth Sklar; Michael J. Wooldridge (ArgMAS, 2007)

Reasoning about judgment and preference aggregation. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2007)

Normative system games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2007)

Approximate and online multi-issue negotiation. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS, 2007)

A randomized method for the shapley value for the voting game. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS, 2007)

Sequential Auctions in Uncertain Information Settings. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AMEC/TADA, 2007)

Web services negotiation in an insurance grid. - Shamimabi Paurobally; Chris van Aart; Valentina Tamma; Michael J. Wooldridge; Peter van Hapert (AAMAS, 2007)

Joint Conversation Specification and Compliance. - Shamimabi Paurobally; Michael J. Wooldridge (DALT, 2007)

Forming Fuzzy Coalitions in Cooperative Superadditive Games. - Minghua He; Xudong Luo; Nicholas R. Jennings; Michael J. Wooldridge (ICEBE, 2007)

On the Logic of Normative Systems. - Thomas Ågotnes; Wiebe van der Hoek; Juan A. Rodríguez-Aguilar; Carles Sierra; Michael J. Wooldridge (IJCAI, 2007)

A Common Semantic Basis for BDI Languages. - Louise A. Dennis; Berndt Farwer; Rafael H. Bordini; Michael Fisher 001; Michael J. Wooldridge (PROMAS, 2007)

Alternating-time temporal logic with explicit strategies. - Dirk Walther 002; Wiebe van der Hoek; Michael J. Wooldridge (TARK, 2007)

Completeness and Complexity of Multi-modal CTL. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (M4M, 2007)

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. - Renata Vieira; Álvaro F. Moreira; Michael J. Wooldridge; Rafael H. Bordini (J. Artif. Intell. Res., 2007)

A logical characterisation of qualitative coalitional games. - Paul E. Dunne; Wiebe van der Hoek; Michael J. Wooldridge (J. Appl. Non Class. Logics, 2007)

Logic-Based Agent Verification. - Michael Fisher 001; Munindar P. Singh; Diana F. Spears; Michael J. Wooldridge (J. Appl. Log., 2007)

Towards a theory of intention revision. - Wiebe van der Hoek; Wojciech Jamroga; Michael J. Wooldridge (Synth., 2007)

Social laws in alternating time: effectiveness, feasibility, and synthesis. - Wiebe van der Hoek; Mark Roberts; Michael J. Wooldridge (Synth., 2007)

A Framework for Web service negotiation. - Shamimabi Paurobally; Valentina Tamma; Michael J. Wooldridge (ACM Trans. Auton. Adapt. Syst., 2007)

On the Dimensionality of Voting Games. - Edith Elkind; Leslie Ann Goldberg; Paul W. Goldberg; Michael J. Wooldridge (AAAI, 2008)

Quantifying over coalitions in epistemic logic. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS (2), 2008)

Cooperative Boolean games. - Paul E. Dunne; Wiebe van der Hoek; Sarit Kraus; Michael J. Wooldridge (AAMAS (2), 2008)

An anytime approximation method for the inverse Shapley value problem. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS (2), 2008)

Optimal Coalition Structure Generation In Partition Function Games. - Tomasz P. Michalak; Andrew James Dowell; Peter McBurney; Michael J. Wooldridge (ECAI, 2008)

Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms. - Tomasz P. Michalak; Andrew James Dowell; Peter McBurney; Michael J. Wooldridge (KRAMAS, 2008)

Logic for Automated Mechanism Design and Analysis. - Michael J. Wooldridge (MATES, 2008)

Model Checking Strategic Equilibria. - Nicolas Troquard; Wiebe van der Hoek; Michael J. Wooldridge (MoChArt, 2008)

A linear approximation method for the Shapley value. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (Artif. Intell., 2008)

How Inappropriately Heavyweight AI Solutions Dragged Down A Startup (and Made Me Realize that Industrial Salaries Are High for a Good Reason). - Michael J. Wooldridge (AI Mag., 2008)

Negotiation among autonomous computational agents: principles, analysis and challenges. - Fernando Lopes 001; Michael J. Wooldridge; Augusto Q. Novais (Artif. Intell. Rev., 2008)

Quantified coalition logic. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Synth., 2008)

Multi-Agent Systems. - Wiebe van der Hoek; Michael J. Wooldridge (Handbook of Knowledge Representation, 2008)

An Introduction to MultiAgent Systems, Second Edition. - Michael J. Wooldridge (Wiley, 2009)

A Framework for Dynamic Agent Organizations. - Shaheen Fatima; Michael J. Wooldridge (Handbook of Research on Multi-Agent Systems, 2009)

A Temporal Logic of Normative Systems. - Thomas Ågotnes; Wiebe van der Hoek; Juan A. Rodríguez-Aguilar; Carles Sierra; Michael J. Wooldridge (Towards Mathematical Philosophy, 2009)

Complexity of Abstract Argumentation. - Paul E. Dunne; Michael J. Wooldridge (Argumentation in Artificial Intelligence, 2009)

Power in normative systems. - Thomas Ågotnes; Wiebe van der Hoek; Moshe Tennenholtz; Michael J. Wooldridge (AAMAS (1), 2009)

Inconsistency tolerance in weighted argument systems. - Paul E. Dunne; Anthony Hunter; Peter McBurney; Simon Parsons; Michael J. Wooldridge (AAMAS (2), 2009)

Hedonic coalition nets. - Edith Elkind; Michael J. Wooldridge (AAMAS (1), 2009)

Boolean combinations of weighted voting games. - Piotr Faliszewski; Edith Elkind; Michael J. Wooldridge (AAMAS (1), 2009)

An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS (2), 2009)

A logic of games and propositional control. - Nicolas Troquard; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS (2), 2009)

Robust Normative Systems. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Normative Multi-Agent Systems, 2009)

Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities. - Talal Rahwan; Tomasz P. Michalak; Nicholas R. Jennings; Michael J. Wooldridge; Peter McBurney (IJCAI, 2009)

On representing coalitional games with externalities. - Tomasz P. Michalak; Talal Rahwan; Jacek Sroka; Andrew James Dowell; Michael J. Wooldridge; Peter McBurney; Nicholas R. Jennings (EC, 2009)

A logic of propositional control for truthful implementations. - Nicolas Troquard; Wiebe van der Hoek; Michael J. Wooldridge (TARK, 2009)

Reasoning about coalitional games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Artif. Intell., 2009)

On the computational complexity of weighted voting games. - Edith Elkind; Leslie Ann Goldberg; Paul W. Goldberg; Michael J. Wooldridge (Ann. Math. Artif. Intell., 2009)

Exogenous coalition formation in the e-marketplace based on geographical proximity. - Tomasz P. Michalak; Joanna Tyrowicz; Peter McBurney; Michael J. Wooldridge (Electron. Commer. Res. Appl., 2009)

Logics for Qualitative Coalitional Games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Log. J. IGPL, 2009)

Property-based Slicing for Agent Verification. - Rafael H. Bordini; Michael Fisher 001; Michael J. Wooldridge; Willem Visser (J. Log. Comput., 2009)

Verification of Games in the Game Description Language. - Ji Ruan; Wiebe van der Hoek; Michael J. Wooldridge (J. Log. Comput., 2009)

A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. - Edith Elkind; Leslie Ann Goldberg; Paul W. Goldberg; Michael J. Wooldridge (Math. Log. Q., 2009)

Multi-Modal CTL: Completeness, Complexity, and an Application. - Thomas Ågotnes; Wiebe van der Hoek; Juan A. Rodríguez-Aguilar; Carles Sierra; Michael J. Wooldridge (Stud Logica, 2009)

Uncertain Agent Verification through Probabilistic Model-Checking. - Paolo Ballarini; Michael Fisher 001; Michael J. Wooldridge (Safety and Security in Multiagent Systems, 2009)

Intentions in Equilibrium. - John Grant; Sarit Kraus; Michael J. Wooldridge (AAAI, 2010)

Optimal social laws. - Thomas Ågotnes; Michael J. Wooldridge (AAMAS, 2010)

Combinatorial auctions with externalities. - Piotr Krysta; Tomasz P. Michalak; Tuomas Sandholm; Michael J. Wooldridge (AAMAS, 2010)

A logic-based representation for coalitional games with externalities. - Tomasz P. Michalak; Dorota Marciniak; Marcin Szamotulski; Talal Rahwan; Michael J. Wooldridge; Peter McBurney; Nicholas R. Jennings (AAMAS, 2010)

A distributed algorithm for anytime coalition structure generation. - Tomasz P. Michalak; Jacek Sroka; Talal Rahwan; Michael J. Wooldridge; Peter McBurney; Nicholas R. Jennings (AAMAS, 2010)

Solving coalitional resource games. - Paul E. Dunne; Sarit Kraus; Efrat Manisterski; Michael J. Wooldridge (Artif. Intell., 2010)

A supply chain as a network of auctions. - Thierry Moyaux; Peter McBurney; Michael J. Wooldridge (Decis. Support Syst., 2010)

Robust normative systems and a logic of norm compliance. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Log. J. IGPL, 2010)

Evaluation of scalable multi-agent system architectures for searching the Semantic Web. - Ian Blacoe; Valentina Tamma; Michael J. Wooldridge (Int. J. Metadata Semant. Ontologies, 2010)

Reasoning About the Transfer of Control. - Wiebe van der Hoek; Dirk Walther 002; Michael J. Wooldridge (J. Artif. Intell. Res., 2010)

Sequential auctions for common value objects with budget constrained bidders. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (Multiagent Grid Syst., 2010)

Postulates for revising BDI structures. - John Grant; Sarit Kraus; Donald Perlis; Michael J. Wooldridge (Synth., 2010)

Automated analysis of weighted voting games. - Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (ICEC, 2011)

Constrained Coalition Formation. - Talal Rahwan; Tomasz P. Michalak; Edith Elkind; Piotr Faliszewski; Jacek Sroka; Michael J. Wooldridge; Nicholas R. Jennings (AAAI, 2011)

Scientia potentia est. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2011)

Designing incentives for Boolean games. - Ulle Endriss; Sarit Kraus; Jérôme Lang; Michael J. Wooldridge (AAMAS, 2011)

An abstract framework for reasoning about trust. - Elisabetta Erriquez; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2011)

On optimal agendas for package deal negotiation. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (AAMAS, 2011)

Knowledge and control. - Wiebe van der Hoek; Nicolas Troquard; Michael J. Wooldridge (AAMAS, 2011)

Decomposing constraint systems: equivalences and computational properties. - Wiebe van der Hoek; Cees Witteveen; Michael J. Wooldridge (AAMAS, 2011)

Manipulating Boolean Games through Communication. - John Grant; Sarit Kraus; Michael J. Wooldridge; Inon Zuckerman (IJCAI, 2011)

Computational Aspects of Cooperative Game Theory. - Michael J. Wooldridge (KES-AMSTA, 2011)

Knowledge and Action in Semi-public Environments. - Wiebe van der Hoek; Petar Iliev; Michael J. Wooldridge (LORI, 2011)

Playing Games with Games. - Michael J. Wooldridge (SCAI, 2011)

An Ontology for Coordination. - Ben Lithgow Smith; Valentina Tamma; Michael J. Wooldridge (Appl. Artif. Intell., 2011)

On the logic of preference and judgment aggregation. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2011)

Weighted argument systems: Basic definitions, algorithms, and complexity results. - Paul E. Dunne; Anthony Hunter; Peter McBurney; Simon Parsons; Michael J. Wooldridge (Artif. Intell., 2011)

Reasoning About Social Choice Functions. - Nicolas Troquard; Wiebe van der Hoek; Michael J. Wooldridge (J. Philos. Log., 2011)

Computational Aspects of Cooperative Game Theory - Georgios Chalkiadakis; Edith Elkind; Michael J. Wooldridge (Morgan & Claypool Publishers, 2011)

Towards tractable Boolean games. - Paul E. Dunne; Michael J. Wooldridge (AAMAS, 2012)

A logic of revelation and concealment. - Wiebe van der Hoek; Petar Iliev; Michael J. Wooldridge (AAMAS, 2012)

Argument Aggregation: Basic Axioms and Complexity Results. - Paul E. Dunne; Pierre Marquis; Michael J. Wooldridge (COMMA, 2012)

Conservative Social Laws. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (ECAI, 2012)

Delegating Decisions in Strategic Settings. - Sarit Kraus; Michael J. Wooldridge (ECAI, 2012)

Bad equilibria (and what to do about them). - Michael J. Wooldridge (ECAI, 2012)

On the evaluation of election outcomes under uncertainty. - Noam Hazon; Yonatan Aumann; Sarit Kraus; Michael J. Wooldridge (Artif. Intell., 2012)

Anytime coalition structure generation in multi-agent systems with positive or negative externalities. - Talal Rahwan; Tomasz P. Michalak; Michael J. Wooldridge; Nicholas R. Jennings (Artif. Intell., 2012)

Logics for Multiagent Systems. - Wiebe van der Hoek; Michael J. Wooldridge (AI Mag., 2012)

Cooperative Game Theory: Basic Concepts and Computational Challenges. - Georgios Chalkiadakis; Edith Elkind; Michael J. Wooldridge (IEEE Intell. Syst., 2012)

The Triumph of Rationality. - Michael J. Wooldridge (IEEE Intell. Syst., 2012)

Computation and the prisoner's dilemma. - Michael J. Wooldridge (IEEE Intell. Syst., 2012)

Does Game Theory Work? - Michael J. Wooldridge (IEEE Intell. Syst., 2012)

A heuristic approximation method for the Banzhaf index for voting games. - S. Shaheen Fatima; Michael J. Wooldridge; Nicholas R. Jennings (Multiagent Grid Syst., 2012)

Reasoning about Choice. - Wiebe van der Hoek; Nicolas Troquard; Michael J. Wooldridge (AT, 2013)

Strategic considerations in the design of committees. - Edith Elkind; Dmitrii V. Pasechnik; Michael J. Wooldridge (AAMAS, 2013)

Automated synthesis of normative systems. - Javier Morales; Maite López-Sánchez; Juan A. Rodríguez-Aguilar; Michael J. Wooldridge; Wamberto Weber Vasconcelos (AAMAS, 2013)

IRON: a machine for the automated synthesis of normative systems. - Javier Morales; Maite López-Sánchez; Juan A. Rodríguez-Aguilar; Michael J. Wooldridge; Wamberto Weber Vasconcelos (AAMAS, 2013)

Verifiable Equilibria in Boolean Games. - Thomas Ågotnes; Paul Harrenstein; Wiebe van der Hoek; Michael J. Wooldridge (IJCAI, 2013)

Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks. - Tomasz P. Michalak; Talal Rahwan; Piotr L. Szczepanski; Oskar Skibski; Ramasuri Narayanam; Nicholas R. Jennings; Michael J. Wooldridge (IJCAI, 2013)

Boolean Games with Epistemic Goals. - Thomas Ågotnes; Paul Harrenstein; Wiebe van der Hoek; Michael J. Wooldridge (LORI, 2013)

Incentive engineering for Boolean games. - Michael J. Wooldridge; Ulle Endriss; Sarit Kraus; Jérôme Lang (Artif. Intell., 2013)

Proof systems and transformation games. - Yoram Bachrach; Michael Zuckerman; Michael J. Wooldridge; Jeffrey S. Rosenschein (Ann. Math. Artif. Intell., 2013)

The Shapley Axiomatization for Values in Partition Function Games. - Oskar Skibski; Tomasz P. Michalak; Michael J. Wooldridge (CoRR, 2013)

The Joy of Matching. - Paul Harrenstein; David F. Manlove; Michael J. Wooldridge (IEEE Intell. Syst., 2013)

Game Theory and Evolution. - Steve Phelps; Michael J. Wooldridge (IEEE Intell. Syst., 2013)

Program equilibrium - a program reasoning approach. - Wiebe van der Hoek; Cees Witteveen; Michael J. Wooldridge (Int. J. Game Theory, 2013)

Building and using social structures: A case study using the agent ART testbed. - Elisabetta Erriquez; Wiebe van der Hoek; Michael J. Wooldridge (ACM Trans. Intell. Syst. Technol., 2013)

Principles of Automated Negotiation - Shaheen Fatima; Sarit Kraus; Michael J. Wooldridge (Cambridge University Press, 2014)

Them and Us: Autonomous Agents In Vivo and In Silico. - Peter Millican; Michael J. Wooldridge (Johan van Benthem on Logic and Information Dynamics, 2014)

Optimal Agendas for Sequential Negotiations. - Shaheen Fatima; Michael J. Wooldridge (AMEC/TADA, 2014)

Power and welfare in noncooperative bargaining for coalition structure formation. - Shaheen Fatima; Tomasz P. Michalak; Michael J. Wooldridge (AAMAS, 2014)

Hard and soft equilibria in boolean games. - Paul Harrenstein; Paolo Turrini; Michael J. Wooldridge (AAMAS, 2014)

Lukasiewicz games. - Enrico Marchioni; Michael J. Wooldridge (AAMAS, 2014)

Minimality and simplicity in the on-line automated synthesis of normative systems. - Javier Morales; Maite López-Sánchez; Juan A. Rodríguez-Aguilar; Michael J. Wooldridge; Wamberto Weber Vasconcelos (AAMAS, 2014)

NormLab: a framework to support research on norm synthesis. - Javier Morales; Iosu Mendizabal; David Sanchez-Pinsach; Maite López-Sánchez; Michael J. Wooldridge; Wamberto Weber Vasconcelos (AAMAS, 2014)

Algorithms for the shapley and myerson values in graph-restricted games. - Oskar Skibski; Tomasz P. Michalak; Talal Rahwan; Michael J. Wooldridge (AAMAS, 2014)

Forming coalitions and facilitating relationships for completing tasks in social networks. - Liat Sless; Noam Hazon; Sarit Kraus; Michael J. Wooldridge (AAMAS, 2014)

Equilibria of concurrent games on event structures. - Julian Gutierrez 001; Michael J. Wooldridge (CSL-LICS, 2014)

Bargaining for Coalition Structure Formation. - S. Shaheen Fatima; Tomasz P. Michalak; Michael J. Wooldridge (ECAI, 2014)

Multilateral Bargaining for Resource Division. - S. Shaheen Fatima; Michael J. Wooldridge (ECAI, 2014)

A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value. - Piotr L. Szczepanski; Tomasz P. Michalak; Michael J. Wooldridge (ECAI, 2014)

A Measure of Synergy in Coalitions. - Talal Rahwan; Tomasz P. Michalak; Michael J. Wooldridge (CoRR, 2014)

Towards a Fair Allocation of Rewards in Multi-Level Marketing. - Talal Rahwan; Victor Naroditskiy; Tomasz P. Michalak; Michael J. Wooldridge; Nicholas R. Jennings (CoRR, 2014)

The Negotiation Game. - Shaheen Fatima; Sarit Kraus; Michael J. Wooldridge (IEEE Intell. Syst., 2014)

Measuring Inconsistency in Multi-Agent Systems. - Anthony Hunter; Simon Parsons; Michael J. Wooldridge (Künstliche Intell., 2014)

Manipulating Games by Sharing Information. - John Grant; Sarit Kraus; Michael J. Wooldridge; Inon Zuckerman (Stud Logica, 2014)

Implementation and Computation of a Value for Generalized Characteristic Function Games. - Tomasz P. Michalak; Piotr L. Szczepanski; Talal Rahwan; Agata Chrobak; Simina Brânzei; Michael J. Wooldridge; Nicholas R. Jennings (ACM Trans. Economics and Comput., 2014)

A Graphical Representation for Games in Partition Function Form. - Oskar Skibski; Tomasz P. Michalak; Yuko Sakurai; Michael J. Wooldridge; Makoto Yokoo (AAAI, 2015)

Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents. - Paul Harrenstein; Paolo Turrini; Michael J. Wooldridge (AAMAS, 2015)

Synthesising Liberal Normative Systems. - Javier Morales; Maite López-Sánchez; Juan Antonio Rodríguez-Aguilar; Michael J. Wooldridge; Wamberto Weber Vasconcelos (AAMAS, 2015)

Extending NormLab to Spur Research on Norm Synthesis. - Javier Morales; Iosu Mendizabal; David Sanchez-Pinsach; Juan Antonio Rodríguez-Aguilar; Maite López-Sánchez; Michael J. Wooldridge; Wamberto Weber Vasconcelos (AAMAS, 2015)

Expresiveness and Complexity Results for Strategic Reasoning. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (CONCUR, 2015)

A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. - Alexis Toumi; Julian Gutierrez 001; Michael J. Wooldridge (ICTAC, 2015)

Coalition structure generation: A survey. - Talal Rahwan; Tomasz P. Michalak; Michael J. Wooldridge; Nicholas R. Jennings (Artif. Intell., 2015)

Who speaks for AI? - Eric Eaton; Tom Dietterich; Maria L. Gini; Barbara J. Grosz; Charles L. Isbell Jr.; Subbarao Kambhampati; Michael L. Littman; Francesca Rossi 001; Stuart Russell 001; Peter Stone 001; Toby Walsh; Michael J. Wooldridge (AI Matters, 2015)

Defeating Terrorist Networks with Game Theory. - Tomasz P. Michalak; Talal Rahwan; Oskar Skibski; Michael J. Wooldridge (IEEE Intell. Syst., 2015)

Thinking Backward with Professor Zermelo. - Michael J. Wooldridge (IEEE Intell. Syst., 2015)

Iterated Boolean games. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Inf. Comput., 2015)

A new approach to measure social capital using game-theoretic techniques. - Tomasz P. Michalak; Talal Rahwan; Stefano Moretti 001; Ramasuri Narayanam; Oskar Skibski; Piotr L. Szczepanski; Michael J. Wooldridge (SIGecom Exch., 2015)

Online Automated Synthesis of Compact Normative Systems. - Javier Morales; Maite López-Sánchez; Juan Antonio Rodríguez-Aguilar; Wamberto Weber Vasconcelos; Michael J. Wooldridge (ACM Trans. Auton. Adapt. Syst., 2015)

Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions. - Enrico Marchioni; Michael J. Wooldridge (ACM Trans. Comput. Log., 2015)

Closeness Centrality for Networks with Overlapping Community Structure. - Mateusz Krzysztof Tarkowski; Piotr L. Szczepanski; Talal Rahwan; Tomasz P. Michalak; Michael J. Wooldridge (AAAI, 2016)

Rational Verification: From Model Checking to Equilibrium Checking. - Michael J. Wooldridge; Julian Gutierrez 001; Paul Harrenstein; Enrico Marchioni; Giuseppe Perelli; Alexis Toumi (AAAI, 2016)

k-Coalitional Cooperative Games. - Oskar Skibski; Szymon Matejczyk; Tomasz P. Michalak; Michael J. Wooldridge; Makoto Yokoo (AAMAS, 2016)

Non-Utilitarian Coalition Structure Generation. - Oskar Skibski; Henryk Michalewski; Andrzej Nagórko; Tomasz P. Michalak; Andrew James Dowell; Talal Rahwan; Michael J. Wooldridge (ECAI, 2016)

An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction. - Piotr L. Szczepanski; Tomasz P. Michalak; Talal Rahwan; Michael J. Wooldridge (ECAI, 2016)

From model checking to equilibrium checking. - Michael J. Wooldridge (GI-Jahrestagung, 2016)

Boolean Hedonic Games. - Haris Aziz 001; Paul Harrenstein; Jérôme Lang; Michael J. Wooldridge (KR, 2016)

Power and welfare in bargaining for coalition structure formation. - Shaheen Fatima; Tomasz P. Michalak; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2016)

Majority bargaining for resource division. - Shaheen Fatima; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2016)

A hybrid exact algorithm for complete set partitioning. - Tomasz P. Michalak; Talal Rahwan; Edith Elkind; Michael J. Wooldridge; Nicholas R. Jennings (Artif. Intell., 2016)

Hiding Individuals and Communities in a Social Network. - Marcin Waniek; Tomasz P. Michalak; Talal Rahwan; Michael J. Wooldridge (CoRR, 2016)

Hard and Soft Preparation Sets in Boolean Games. - Paul Harrenstein; Paolo Turrini; Michael J. Wooldridge (Stud Logica, 2016)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. - Julian C. Bradfield; Julian Gutierrez 001; Michael J. Wooldridge (Synth., 2016)

Weighted Voting Games. - Georgios Chalkiadakis; Michael J. Wooldridge (Handbook of Computational Social Choice, 2016)

Strategic Social Network Analysis. - Tomasz P. Michalak; Talal Rahwan; Michael J. Wooldridge (AAAI, 2017)

Iterated Games with LDL Goals over Finite Traces. - Julian Gutierrez 001; Giuseppe Perelli; Michael J. Wooldridge (AAMAS, 2017)

Iterated Boolean Games for Rational Verification. - Tong Gao; Julian Gutierrez 001; Michael J. Wooldridge (AAMAS, 2017)

Automating Decision Making to Help Establish Norm-Based Regulations. - Maite López-Sánchez; Marc Serramia; Juan A. Rodríguez-Aguilar; Javier Morales; Michael J. Wooldridge (AAMAS, 2017)

Evolutionary Synthesis of Stable Normative Systems. - Javier Morales; Michael J. Wooldridge; Juan A. Rodríguez-Aguilar; Maite López-Sánchez (AAMAS, 2017)

On the Construction of Covert Networks. - Marcin Waniek; Tomasz P. Michalak; Talal Rahwan; Michael J. Wooldridge (AAMAS, 2017)

Nash Equilibria in Concurrent Games with Lexicographic Preferences. - Julian Gutierrez 001; Aniello Murano; Giuseppe Perelli; Sasha Rubin; Michael J. Wooldridge (IJCAI, 2017)

Characterising the Manipulability of Boolean Games. - Paul Harrenstein; Paolo Turrini; Michael J. Wooldridge (IJCAI, 2017)

From model checking to equilibrium checking: Reactive modules for rational verification. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Artif. Intell., 2017)

Reasoning about equilibria in game-like concurrent systems. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Ann. Pure Appl. Log., 2017)

Synthesising Evolutionarily Stable Normative Systems. - Javier Morales; Michael J. Wooldridge; Juan A. Rodríguez-Aguilar; Maite López-Sánchez (CoRR, 2017)

Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). - Swarat Chaudhuri; Sampath Kannan; Rupak Majumdar; Michael J. Wooldridge (Dagstuhl Reports, 2017)

AI and Economics. - Tomasz P. Michalak; Michael J. Wooldridge (IEEE Intell. Syst., 2017)

Minds and Machines Special Issue: Ethics and Artificial Intelligence. - Paula Boddington; Peter Millican; Michael J. Wooldridge (Minds Mach., 2017)

Exploiting Moral Values to Choose the Right Norms. - Marc Serramia; Maite López-Sánchez; Juan A. Rodríguez-Aguilar; Javier Morales; Michael J. Wooldridge; Carlos Ansótegui (AIES, 2018)

Local Equilibria in Logic-Based Multi-Player Games. - Julian Gutierrez 001; Paul Harrenstein; Thomas Steeples; Michael J. Wooldridge (AAMAS, 2018)

Stackelberg Security Games with Multiple Uncoordinated Defenders. - Jiarui Gan; Edith Elkind; Michael J. Wooldridge (AAMAS, 2018)

Moral Values in Norm Decision Making. - Marc Serramia; Maite López-Sánchez; Juan A. Rodríguez-Aguilar; Manel Rodriguez-Soto; Michael J. Wooldridge; Javier Morales; Carlos Ansótegui (AAMAS, 2018)

EVE: A Tool for Temporal Equilibrium Analysis. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (ATVA, 2018)

Off-line synthesis of evolutionarily stable normative systems. - Javier Morales; Michael J. Wooldridge; Juan A. Rodríguez-Aguilar; Maite López-Sánchez (Auton. Agents Multi Agent Syst., 2018)

Forming k coalitions and facilitating relationships in social networks. - Liat Sless; Noam Hazon; Sarit Kraus; Michael J. Wooldridge (Artif. Intell., 2018)

Game-theoretic Network Centrality: A Review. - Mateusz Krzysztof Tarkowski; Tomasz P. Michalak; Talal Rahwan; Michael J. Wooldridge (CoRR, 2018)

Understanding Flash Crash Contagion and Systemic Risk: A Micro-Macro Agent-Based Approach. - James Paulin; Anisoara Calinescu; Michael J. Wooldridge (CoRR, 2018)

Agent-Based Modeling for Complex Financial Systems. - James Paulin; Anisoara Calinescu; Michael J. Wooldridge (IEEE Intell. Syst., 2018)

The Stochastic Shapley Value for coalitional games with externalities. - Oskar Skibski; Tomasz P. Michalak; Michael J. Wooldridge (Games Econ. Behav., 2018)

Imperfect information in Reactive Modules games. - Julian Gutierrez 001; Giuseppe Perelli; Michael J. Wooldridge (Inf. Comput., 2018)

Preface to the SR-2015 special issue. - Julian Gutierrez 001; Michael J. Wooldridge (Inf. Comput., 2018)

Efficient Computation of Semivalues for Game-Theoretic Network Centrality. - Mateusz Krzysztof Tarkowski; Piotr L. Szczepanski; Tomasz P. Michalak; Paul Harrenstein; Michael J. Wooldridge (J. Artif. Intell. Res., 2018)

Cooperative Concurrent Games. - Julian Gutierrez 001; Sarit Kraus; Michael J. Wooldridge (AAMAS, 2019)

Equilibrium Design for Concurrent Games. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (CONCUR, 2019)

Imitative Follower Deception in Stackelberg Games. - Jiarui Gan; Haifeng Xu; Qingyu Guo; Long Tran-Thanh; Zinovi Rabinovich; Michael J. Wooldridge (EC, 2019)

On Computational Tractability for Rational Verification. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (IJCAI, 2019)

Manipulating a Learning Defender and Ways to Counteract. - Jiarui Gan; Qingyu Guo; Long Tran-Thanh; Bo An 001; Michael J. Wooldridge (NeurIPS, 2019)

Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. - Dongge Han; Wendelin Böhmer; Michael J. Wooldridge; Alex Rogers (PRICAI (2), 2019)

Computing optimal coalition structures in polynomial time. - Shaheen Fatima; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2019)

Łukasiewicz logics for cooperative games. - Enrico Marchioni; Michael J. Wooldridge (Artif. Intell., 2019)

A Game-Theoretic Algorithm for Link Prediction. - Mateusz Krzysztof Tarkowski; Tomasz P. Michalak; Michael J. Wooldridge (CoRR, 2019)

Nash Equilibrium and Bisimulation Invariance. - Julian Gutierrez 001; Paul Harrenstein; Giuseppe Perelli; Michael J. Wooldridge (Log. Methods Comput. Sci., 2019)

Program models and semi-public environments. - Davide Grossi; Wiebe van der Hoek; Christos Moyzes; Michael J. Wooldridge (J. Log. Comput., 2019)

A Measure of Added Value in Groups. - Bedoor K. AlShebli; Tomasz P. Michalak; Oskar Skibski; Michael J. Wooldridge; Talal Rahwan (ACM Trans. Auton. Adapt. Syst., 2019)

Enumerating Connected Subgraphs and Computing the Myerson and Shapley Values in Graph-Restricted Games. - Oskar Skibski; Talal Rahwan; Tomasz P. Michalak; Michael J. Wooldridge (ACM Trans. Intell. Syst. Technol., 2019)

Mechanism Design for Defense Coordination in Security Games. - Jiarui Gan; Edith Elkind; Sarit Kraus; Michael J. Wooldridge (AAMAS, 2020)

Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities. - Oskar Skibski; Tomasz P. Michalak; Yuko Sakurai; Michael J. Wooldridge; Makoto Yokoo (Auton. Agents Multi Agent Syst., 2020)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Artif. Intell., 2020)

Artificial Intelligence requires more than deep learning - but what, exactly? - Michael J. Wooldridge (Artif. Intell., 2020)

Monte Carlo Techniques for Approximating the Myerson Value - Theoretical and Empirical Analysis. - Mateusz Krzysztof Tarkowski; Szymon Matejczyk; Tomasz P. Michalak; Michael J. Wooldridge (CoRR, 2020)

Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces. - Dongge Han; Shruti Tople; Alex Rogers; Michael J. Wooldridge; Olga Ohrimenko; Sebastian Tschiatschek (CoRR, 2020)

Through the Veil of Ignorance: Understanding Social Welfare. - Michael J. Wooldridge (IEEE Intell. Syst., 2020)

Understanding Mechanism Design-Part 1 of 3. - Michael J. Wooldridge (IEEE Intell. Syst., 2020)

Delegating Decisions in Strategic Settings. - Paul E. Dunne; Paul Harrenstein; Sarit Kraus; Michael J. Wooldridge (IEEE Trans. Artif. Intell., 2020)

Multi-Agent Reinforcement Learning with Temporal Logic Specifications. - Lewis Hammond; Alessandro Abate; Julian Gutierrez 001; Michael J. Wooldridge (AAMAS, 2021)

Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. - Lewis Hammond; James Fox; Tom Everitt; Alessandro Abate; Michael J. Wooldridge (AAMAS, 2021)

Rational Verification for Probabilistic Systems. - Julian Gutierrez 001; Lewis Hammond; Anthony W. Lin; Muhammad Najib; Michael J. Wooldridge (KR, 2021)

PyCID: A Python Library for Causal Influence Diagrams. - James Fox; Tom Everitt; Ryan Carey; Eric D. Langlois 002; Alessandro Abate; Michael J. Wooldridge (SciPy, 2021)

Consumer Flexibility Aggregation Using Partition Function Games With Non-Transferable Utility. - Tiago Pinto; Michael J. Wooldridge; Zita A. Vale (IEEE Access, 2021)

Equilibria for games with combined qualitative and quantitative objectives. - Julian Gutierrez 001; Aniello Murano; Giuseppe Perelli; Sasha Rubin; Thomas Steeples; Michael J. Wooldridge (Acta Informatica, 2021)

Rational verification: game-theoretic verification of multi-agent systems. - Alessandro Abate; Julian Gutierrez 001; Lewis Hammond; Paul Harrenstein; Marta Kwiatkowska; Muhammad Najib; Giuseppe Perelli; Thomas Steeples; Michael J. Wooldridge (Appl. Intell., 2021)

MDP Abstraction with Successor Features. - Dongge Han; Michael J. Wooldridge; Sebastian Tschiatschek (CoRR, 2021)

Understanding Mechanism Design - Part 2 of 3: The Vickrey-Clarke-Groves Mechanism. - Jeffrey S. Rosenschein; Michael J. Wooldridge (IEEE Intell. Syst., 2021)

Multi-player games with LDL goals over finite traces. - Julian Gutierrez 001; Giuseppe Perelli; Michael J. Wooldridge (Inf. Comput., 2021)

Behavioural strategies in weighted Boolean games. - Dongge Han; Paul Harrenstein; Steven Nugent; Jonathan Philpott; Michael J. Wooldridge (Inf. Comput., 2021)

Expressiveness and Nash Equilibrium in Iterated Boolean Games. - Julian Gutierrez 001; Paul Harrenstein; Giuseppe Perelli; Michael J. Wooldridge (ACM Trans. Comput. Log., 2021)

Negotiated Path Planning for Non-Cooperative Multi-Robot Systems. - Anna Gautier; Alex Stephens; Bruno Lacerda; Nick Hawes; Michael J. Wooldridge (AAMAS, 2022)

Multiagent Model-based Credit Assignment for Continuous Control. - Dongge Han; Chris Xiaoxuan Lu; Tomasz P. Michalak; Michael J. Wooldridge (AAMAS, 2022)

Giving Instructions in Linear Temporal Logic. - Julian Gutierrez 001; Sarit Kraus; Giuseppe Perelli; Michael J. Wooldridge (TIME, 2022)

Optimal coalition structures for probabilistically monotone partition function games. - Shaheen Fatima; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2022)

Defense coordination in security games: Equilibrium analysis and mechanism design. - Jiarui Gan; Edith Elkind; Sarit Kraus; Michael J. Wooldridge (Artif. Intell., 2022)

Multi-agent systems research in the United Kingdom. - Stefano V. Albrecht; Michael J. Wooldridge (AI Commun., 2022)

Understanding Mechanism Design - Part 3 of 3: Mechanism Design in the Real World: The VCG Mechanism. - Anna Gautier; Michael J. Wooldridge (IEEE Intell. Syst., 2022)

Welcome to Big AI. - Michael J. Wooldridge (IEEE Intell. Syst., 2022)

Mean-Payoff Games with ω-Regular Specifications. - Julian Gutierrez 001; Thomas Steeples; Michael J. Wooldridge (Games, 2022)

Partial Order Games. - Valeria Zahoransky; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Games, 2022)

How Members of Covert Networks Conceal the Identities of Their Leaders. - Marcin Waniek; Tomasz P. Michalak; Michael J. Wooldridge; Talal Rahwan (ACM Trans. Intell. Syst. Technol., 2022)

Multi-Unit Auctions for Allocating Chance-Constrained Resources. - Anna Gautier; Bruno Lacerda; Nick Hawes; Michael J. Wooldridge (AAAI, 2023)

Risk-Constrained Planning for Multi-Agent Systems with Shared Resources. - Anna Gautier; Marc Rigter; Bruno Lacerda; Nick Hawes; Michael J. Wooldridge (AAMAS, 2023)

k-Prize Weighted Voting Game. - Wei-Chen Lee; David Hyland; Alessandro Abate; Edith Elkind; Jiarui Gan; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (AAMAS, 2023)

Don't Simulate Twice: One-Shot Sensitivity Analyses via Automatic Differentiation. - Arnau Quera-Bofarull; Ayush Chopra; Joseph Aylett-Bullock; Carolina Cuesta-Lázaro; Anisoara Calinescu; Ramesh Raskar; Michael J. Wooldridge (AAMAS, 2023)

Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. - Alessandro Abate; Yousif Almulla; James Fox; David Hyland; Michael J. Wooldridge (ECAI, 2023)

Cognitive Effects in Large Language Models. - Jonathan Shaki; Sarit Kraus; Michael J. Wooldridge (ECAI, 2023)

Gradient-Assisted Calibration for Financial Agent-Based Models. - Joel Dyer; Arnau Quera-Bofarull; Ayush Chopra; J. Doyne Farmer; Anisoara Calinescu; Michael J. Wooldridge (ICAIF, 2023)

Principal-Agent Boolean Games. - David Hyland; Julian Gutierrez 001; Michael J. Wooldridge (IJCAI, 2023)

Cooperative concurrent games. - Julian Gutierrez 001; Szymon Kowara; Sarit Kraus; Thomas Steeples; Michael J. Wooldridge (Artif. Intell., 2023)

k-Prize Weighted Voting Games. - Wei-Chen Lee; David Hyland; Alessandro Abate; Edith Elkind; Jiarui Gan; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (CoRR, 2023)

Bayesian calibration of differentiable agent-based models. - Arnau Quera-Bofarull; Ayush Chopra; Anisoara Calinescu; Michael J. Wooldridge; Joel Dyer (CoRR, 2023)

Some challenges of calibrating differentiable agent-based models. - Arnau Quera-Bofarull; Joel Dyer; Anisoara Calinescu; Michael J. Wooldridge (CoRR, 2023)

On Imperfect Recall in Multi-Agent Influence Diagrams. - James Fox; Matt MacDermott; Lewis Hammond; Paul Harrenstein; Alessandro Abate; Michael J. Wooldridge (TARK, 2023)

Incentive Engineering for Concurrent Games. - David Hyland; Julian Gutierrez 001; Michael J. Wooldridge (TARK, 2023)

The ARRT of Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. - Emanuele La Malfa; Aleksandar Petrov; Simon Frieder; Christoph Weinhuber; Ryan Burnell; Anthony G. Cohn 001; Nigel Shadbolt; Michael J. Wooldridge (CoRR, 2023)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CoRR, 2023)

Interventionally Consistent Surrogates for Agent-based Simulators. - Joel Dyer; Nicholas Bishop; Yorgos Felekis; Fabio Massimo Zennaro; Anisoara Calinescu; Theodoros Damoulas; Michael J. Wooldridge (CoRR, 2023)

Reasoning about causality in games. - Lewis Hammond; James Fox; Tom Everitt; Ryan Carey; Alessandro Abate; Michael J. Wooldridge (Artif. Intell., 2023)

On the complexity of rational verification. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Ann. Math. Artif. Intell., 2023)

BlackBIRDS: Black-Box Inference foR Differentiable Simulators. - Arnau Quera-Bofarull; Joel Dyer; Anisoara Calinescu; J. Doyne Farmer; Michael J. Wooldridge (Zenodo, 2023)

BlackBIRDS: Black-Box Inference foR Differentiable Simulators. - Arnau Quera-Bofarull; Joel Dyer; Anisoara Calinescu; J. Doyne Farmer; Michael J. Wooldridge (J. Open Source Softw., 2023)

Replication Robust Payoff Allocation in Submodular Cooperative Games. - Dongge Han; Michael J. Wooldridge; Alex Rogers; Olga Ohrimenko; Sebastian Tschiatschek (IEEE Trans. Artif. Intell., 2023)

Encoding Ethics to Compute Value-Aligned Norms. - Marc Serramia; Manel Rodriguez-Soto; Maite López-Sánchez; Juan A. Rodríguez-Aguilar; Filippo Bistaffa; Paula Boddington; Michael J. Wooldridge; Carlos Ansótegui (Minds Mach., 2023)

Reasoning about Causality in Games (Abstract Reprint). - Lewis Hammond; James Fox; Tom Everitt; Ryan Carey; Alessandro Abate; Michael J. Wooldridge (AAAI, 2024)

Exploring The Dynamics of Gene Drive Mosquitoes Within Wild Populations Using an Agent-Based Simulation. - Sureni Wickramasooriya; Imran Mahmood; Anisoara Calinescu; Michael J. Wooldridge; Gregory Lanzaro (ANNSIM, 2024)

Private Agent-Based Modeling. - Ayush Chopra; Arnau Quera-Bofarull; Nurullah Giray Kuru; Michael J. Wooldridge; Ramesh Raskar (AAMAS, 2024)

Population Synthesis as Scenario Generation for Simulation-based Planning under Uncertainty. - Joel Dyer; Arnau Quera-Bofarull; Nicholas Bishop; J. Doyne Farmer; Anisoara Calinescu; Michael J. Wooldridge (AAMAS, 2024)

Rational Verification with Quantitative Probabilistic Goals. - David Hyland; Julian Gutierrez 001; Shankaranarayanan Krishna; Michael J. Wooldridge (AAMAS, 2024)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CSL, 2024)

A Notion of Complexity for Theory of Mind via Discrete World Models. - X. Angelo Huang; Emanuele La Malfa; Samuele Marro; Andrea Asperti; Anthony G. Cohn 001; Michael J. Wooldridge (EMNLP (Findings), 2024)

Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. - Julian Gutierrez 001; David Hyland; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (IJCAI, 2024)

Learning to Resolve Social Dilemmas: A Survey (Abstract Reprint). - Shaheen Fatima; Nicholas R. Jennings; Michael J. Wooldridge (IJCAI, 2024)

A Strategic Analysis of Prepayments in Financial Credit Networks. - Hao Zhou; Yongzhao Wang 001; Konstantinos Varsos 003; Nicholas Bishop; Rahul Savani; Anisoara Calinescu; Michael J. Wooldridge (IJCAI, 2024)

Incentive Design for Rational Agents. - David Hyland; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli; Michael J. Wooldridge (KR, 2024)

Interventionally Consistent Surrogates for Complex Simulation Models. - Joel Dyer; Nicholas Bishop; Yorgos Felekis; Fabio Massimo Zennaro; Anisoara Calinescu; Theodoros Damoulas; Michael J. Wooldridge (NeurIPS, 2024)

Characterising Interventions in Causal Games. - Manuj Mishra; James Fox; Michael J. Wooldridge (UAI, 2024)

Causally Abstracted Multi-armed Bandits. - Fabio Massimo Zennaro; Nicholas Bishop; Joel Dyer; Yorgos Felekis; Anisoara Calinescu; Michael J. Wooldridge; Theodoros Damoulas (UAI, 2024)

Code Simulation Challenges for Large Language Models. - Emanuele La Malfa; Christoph Weinhuber; Orazio Torre; Fangru Lin; Anthony G. Cohn 001; Nigel Shadbolt; Michael J. Wooldridge (CoRR, 2024)

A multi-objective combinatorial optimisation framework for large scale hierarchical population synthesis. - Imran Mahmood; Nicholas Bishop; Anisoara Calinescu; Michael J. Wooldridge; Ioannis Zachos (CoRR, 2024)

Fixed-budget and Multiple-issue Quadratic Voting. - Laura Georgescu; James Fox; Anna Gautier; Michael J. Wooldridge (CoRR, 2024)

One Language, Many Gaps: Evaluating Dialect Fairness and Robustness of Large Language Models in Reasoning Tasks. - Fangru Lin; Shaoguang Mao; Emanuele La Malfa; Valentin Hofmann; Adrian de Wynter; Jing Yao; Si-Qing Chen; Michael J. Wooldridge; Furu Wei (CoRR, 2024)

A Scalable Communication Protocol for Networks of Large Language Models. - Samuele Marro; Emanuele La Malfa; Jesse Wright; Guohao Li 001; Nigel Shadbolt; Michael J. Wooldridge; Philip Torr 001 (CoRR, 2024)

Learning to Resolve Social Dilemmas: A Survey. - Shaheen Fatima; Nicholas R. Jennings; Michael J. Wooldridge (J. Artif. Intell. Res., 2024)

Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. - Emanuele La Malfa; Aleksandar Petrov; Simon Frieder; Christoph Weinhuber; Ryan Burnell; Raza Nazar; Anthony G. Cohn 001; Nigel Shadbolt; Michael J. Wooldridge (J. Artif. Intell. Res., 2024)

Selfishly Prepaying in Financial Credit Networks. - Hao Zhou; Yongzhao Wang 001; Konstantinos Varsos 003; Nicholas Bishop; Rahul Savani; Anisoara Calinescu; Michael J. Wooldridge (J. Artif. Intell. Res., 2024)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Log. Methods Comput. Sci., 2024)

BlackBIRDS: Black-Box Inference foR Differentiable Simulators. - Arnau Quera-Bofarull; Joel Dyer; Anisoara Calinescu; J. Doyne Farmer; Michael J. Wooldridge (Zenodo, 2024)

Assessing Dialect Fairness and Robustness of Large Language Models in Reasoning Tasks. - Fangru Lin; Shaoguang Mao; Emanuele La Malfa; Valentin Hofmann; Adrian de Wynter; Xun Wang 012; Si-Qing Chen; Michael J. Wooldridge; Janet B. Pierrehumbert; Furu Wei (ACL (1), 2025)

Language Models Are Implicitly Continuous. - Samuele Marro; Davide Evangelista; X. Angelo Huang; Emanuele La Malfa; Michele Lombardi 001; Michael J. Wooldridge (ICLR, 2025)

Equilibrium Selection via Communication Partition. - Wei-Chen Lee; Alessandro Abate; Michael J. Wooldridge (AAMAS, 2025)

Jailbreaking Large Language Models in Infinitely Many Ways. - Oliver Goldstein; Emanuele La Malfa; Felix Drinkall; Samuele Marro; Michael J. Wooldridge (CoRR, 2025)

Code Simulation as a Proxy for High-order Tasks in Large Language Models. - Emanuele La Malfa; Christoph Weinhuber; Orazio Torre; Fangru Lin; X. Angelo Huang; Samuele Marro; Anthony G. Cohn 001; Nigel Shadbolt; Michael J. Wooldridge (CoRR, 2025)

Multi-agent coordination via communication partitions. - Wei-Chen Lee; Alessandro Abate; Michael J. Wooldridge (CoRR, 2025)

Understanding the Logical Capabilities of Large Language Models via Out-of-Context Representation Learning. - Jonathan Shaki; Emanuele La Malfa; Michael J. Wooldridge; Sarit Kraus (CoRR, 2025)

Fixed Point Explainability. - Emanuele La Malfa; Jon Vadillo; Marco Molinari; Michael J. Wooldridge (CoRR, 2025)

Large Language Models Miss the Multi-Agent Mark. - Emanuele La Malfa; Gabriele La Malfa; Samuele Marro; Jie M. Zhang; Elizabeth Black; Micheal Luck; Philip Torr 001; Michael J. Wooldridge (CoRR, 2025)

Emergent Risk Awareness in Rational Agents under Resource Constraints. - Daniel Jarne Ornia; Nicholas Bishop; Joel Dyer; Wei-Chen Lee; Ani Calinescu; J. Doyne Farmer; Michael J. Wooldridge (CoRR, 2025)