Michael J. Wooldridge
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
94
Venues
33
Active years
1992–2025
Best venue rank
A*
Where they publish
- AECAI19 papers
- A*IJCAI18 papers
- A*AAAI15 papers
- A*KR5 papers
- BCONCUR3 papers
- A*EMNLP2 papers
- BCSL2 papers
- AUAI2 papers
- AAAMAS2 papers
- BTARK2 papers
- NationalEPIA2 papers
- A*ACL1 paper
- A*ICLR1 paper
- A*ICML1 paper
- NationalWSC1 paper
- CTIME1 paper
- A*EC1 paper
- BPRICAI1 paper
- CAIES1 paper
- BATVA1 paper
- BGI1 paper
- CICTAC1 paper
- CCOMMA1 paper
- BMFCS1 paper
- CEUMAS1 paper
- BEKAW1 paper
- A*CAV1 paper
- CCoordination1 paper
- NationalKI1 paper
- CECSQARU1 paper
- A*ICSE1 paper
- BJELIA1 paper
- CWETICE1 paper
Papers
94 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | 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, Nigel Shadbolt, Michael J. Wooldridge |
| 2025 | ACL | 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, Si-Qing Chen, Michael J. Wooldridge, Janet B. Pierrehumbert, Furu Wei |
| 2025 | ECAI | Partition Equilibria in Weighted Singleton Congestion Games. | Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge |
| 2025 | EMNLP | Out-of-Context Reasoning in Large Language Models. | Jonathan Shaki, Emanuele La Malfa, Michael J. Wooldridge, Sarit Kraus |
| 2025 | ICLR | Language Models Are Implicitly Continuous. | Samuele Marro, Davide Evangelista, Xuanqiang Angelo Huang, Emanuele La Malfa, Michele Lombardi, Michael J. Wooldridge |
| 2025 | ICML | Learning Likelihood-Free Reference Priors. | Nicholas Bishop, Daniel Jarne Ornia, Joel Dyer, Ani Calinescu, Michael J. Wooldridge |
| 2025 | WSC | Hierarchical Population Synthesis Using a Neural-Differentiable Programming Approach. | Imran Mahmood, Anisoara Calinescu, Michael J. Wooldridge |
| 2024 | AAAI | Reasoning about Causality in Games (Abstract Reprint). | Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge |
| 2024 | CSL | Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. | Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge |
| 2024 | EMNLP | A Notion of Complexity for Theory of Mind via Discrete World Models. | Xuanqiang Angelo Huang, Emanuele La Malfa, Samuele Marro, Andrea Asperti, Anthony G. Cohn, Michael J. Wooldridge |
| 2024 | IJCAI | Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. | Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2024 | IJCAI | Learning to Resolve Social Dilemmas: A Survey (Abstract Reprint). | Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge |
| 2024 | IJCAI | A Strategic Analysis of Prepayments in Financial Credit Networks. | Hao Zhou, Yongzhao Wang, Konstantinos Varsos, Nicholas Bishop, Rahul Savani, Anisoara Calinescu, Michael J. Wooldridge |
| 2024 | KR | Incentive Design for Rational Agents. | David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge |
| 2024 | UAI | Characterising Interventions in Causal Games. | Manuj Mishra, James Fox, Michael J. Wooldridge |
| 2024 | UAI | Causally Abstracted Multi-armed Bandits. | Fabio Massimo Zennaro, Nicholas Bishop, Joel Dyer, Yorgos Felekis, Anisoara Calinescu, Michael J. Wooldridge, Theodoros Damoulas |
| 2023 | AAAI | Multi-Unit Auctions for Allocating Chance-Constrained Resources. | Anna Gautier, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge |
| 2023 | ECAI | Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. | Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge |
| 2023 | ECAI | Cognitive Effects in Large Language Models. | Jonathan Shaki, Sarit Kraus, Michael J. Wooldridge |
| 2023 | IJCAI | Principal-Agent Boolean Games. | David Hyland, Julian Gutierrez, Michael J. Wooldridge |
| 2022 | TIME | Giving Instructions in Linear Temporal Logic. | Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge |
| 2021 | KR | Rational Verification for Probabilistic Systems. | Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge |
| 2019 | CONCUR | Equilibrium Design for Concurrent Games. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2019 | EC | Imitative Follower Deception in Stackelberg Games. | Jiarui Gan, Haifeng Xu, Qingyu Guo, Long Tran-Thanh, Zinovi Rabinovich, Michael J. Wooldridge |
| 2019 | IJCAI | On Computational Tractability for Rational Verification. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2019 | PRICAI | Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. | Dongge Han, Wendelin Bhmer, Michael J. Wooldridge, Alex Rogers |
| 2018 | AIES | Exploiting Moral Values to Choose the Right Norms. | Marc Serramia, Maite Lpez-Snchez, Juan A. Rodrguez-Aguilar, Javier Morales, Michael J. Wooldridge, Carlos Anstegui |
| 2018 | ATVA | EVE: A Tool for Temporal Equilibrium Analysis. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2017 | AAAI | Strategic Social Network Analysis. | Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge |
| 2017 | CONCUR | Nash Equilibrium and Bisimulation Invariance. | Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge |
| 2017 | IJCAI | Nash Equilibria in Concurrent Games with Lexicographic Preferences. | Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge |
| 2017 | IJCAI | Characterising the Manipulability of Boolean Games. | Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge |
| 2016 | AAAI | Closeness Centrality for Networks with Overlapping Community Structure. | Mateusz Krzysztof Tarkowski, Piotr L. Szczepanski, Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge |
| 2016 | AAAI | Rational Verification: From Model Checking to Equilibrium Checking. | Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi |
| 2016 | ECAI | Non-Utilitarian Coalition Structure Generation. | Oskar Skibski, Henryk Michalewski, Andrzej Nagrko, Tomasz P. Michalak, Andrew James Dowell, Talal Rahwan, Michael J. Wooldridge |
| 2016 | ECAI | 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 |
| 2016 | GI | From model checking to equilibrium checking. | Michael J. Wooldridge |
| 2016 | KR | Boolean Hedonic Games. | Haris Aziz, Paul Harrenstein, Jrme Lang, Michael J. Wooldridge |
| 2016 | KR | Imperfect Information in Reactive Modules Games. | Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge |
| 2015 | AAAI | A Graphical Representation for Games in Partition Function Form. | Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael J. Wooldridge, Makoto Yokoo |
| 2015 | AAAI | Efficient Computation of Semivalues for Game-Theoretic Network Centrality. | Piotr Lech Szczepanski, Mateusz Krzysztof Tarkowski, Tomasz Pawel Michalak, Paul Harrenstein, Michael J. Wooldridge |
| 2015 | CONCUR | Expresiveness and Complexity Results for Strategic Reasoning. | Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2015 | ICTAC | A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. | Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge |
| 2014 | CSL | Equilibria of concurrent games on event structures. | Julian Gutierrez, Michael J. Wooldridge |
| 2014 | ECAI | Bargaining for Coalition Structure Formation. | S. Shaheen Fatima, Tomasz P. Michalak, Michael J. Wooldridge |
| 2014 | ECAI | Multilateral Bargaining for Resource Division. | S. Shaheen Fatima, Michael J. Wooldridge |
| 2014 | ECAI | 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 |
| 2014 | KR | Reasoning about Equilibria in Game-Like Concurrent Systems. | Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2013 | IJCAI | Verifiable Equilibria in Boolean Games. | Thomas gotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge |
| 2013 | IJCAI | Iterated Boolean Games. | Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2013 | IJCAI | 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 |
| 2012 | AAMAS | Towards tractable Boolean games. | Paul E. Dunne, Michael J. Wooldridge |
| 2012 | AAMAS | A logic of revelation and concealment. | Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge |
| 2012 | COMMA | Argument Aggregation: Basic Axioms and Complexity Results. | Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge |
| 2012 | ECAI | Conservative Social Laws. | Thomas gotnes, Wiebe van der Hoek, Michael J. Wooldridge |
| 2012 | ECAI | Delegating Decisions in Strategic Settings. | Sarit Kraus, Michael J. Wooldridge |
| 2012 | ECAI | Bad equilibria (and what to do about them). | Michael J. Wooldridge |
| 2011 | AAAI | Constrained Coalition Formation. | Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael J. Wooldridge, Nicholas R. Jennings |
| 2011 | IJCAI | Incentive Engineering for Boolean Games. | Ulle Endriss, Sarit Kraus, Jrme Lang, Michael J. Wooldridge |
| 2011 | IJCAI | Manipulating Boolean Games through Communication. | John Grant, Sarit Kraus, Michael J. Wooldridge, Inon Zuckerman |
| 2010 | AAAI | Intentions in Equilibrium. | John Grant, Sarit Kraus, Michael J. Wooldridge |
| 2010 | MFCS | Proof Systems and Transformation Games. | Yoram Bachrach, Michael Zuckerman, Michael J. Wooldridge, Jeffrey S. Rosenschein |
| 2009 | IJCAI | 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 |
| 2009 | TARK | A logic of propositional control for truthful implementations. | Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
| 2008 | AAAI | On the Dimensionality of Voting Games. | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge |
| 2008 | ECAI | Optimal Coalition Structure Generation In Partition Function Games. | Tomasz P. Michalak, Andrew James Dowell, Peter McBurney, Michael J. Wooldridge |
| 2007 | AAAI | Computational Complexity of Weighted Threshold Games. | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge |
| 2007 | AAAI | Logic for Automated Mechanism Design - A Progress Report. | Michael J. Wooldridge, Thomas gotnes, Paul E. Dunne, Wiebe van der Hoek |
| 2007 | IJCAI | On the Logic of Normative Systems. | Thomas gotnes, Wiebe van der Hoek, Juan A. Rodrguez-Aguilar, Carles Sierra, Michael J. Wooldridge |
| 2007 | IJCAI | Quantified Coalition Logic. | Thomas gotnes, Wiebe van der Hoek, Michael J. Wooldridge |
| 2007 | TARK | Alternating-time temporal logic with explicit strategies. | Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge |
| 2006 | AAAI | On the Complexity of Linking Deductive and Abstract Argument Systems. | Michael J. Wooldridge, Paul E. Dunne, Simon Parsons |
| 2005 | EPIA | Intentions and Strategies in Game-Like Scenarios. | Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge |
| 2005 | EUMAS | An analysis of the Shapley Value and its Uncertainty for the Voting Game. | S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings |
| 2005 | IJCAI | An Analysis of Sequential Auctions for Common and Private Value Objects. | Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings |
| 2005 | IJCAI | An Analysis of the Shapley Value and Its Uncertainty for the Voting Game. | Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings |
| 2004 | ECAI | Tractability Results for Automatic Contracting. | Paul E. Dunne, Michael Laurence, Michael J. Wooldridge |
| 2004 | ECAI | SERSE: Searching for Semantic Web Content. | Valentina Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge |
| 2004 | EKAW | SERSE: Searching for Digital Content in Esperonto. | Valentina Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge |
| 2003 | CAV | Model Checking Multi-Agent Programs with CASP. | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge |
| 2002 | Coordination | Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. | Michael J. Wooldridge, Wiebe van der Hoek |
| 2002 | KI | Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. | Michael J. Wooldridge |
| 2001 | ECSQARU | Reasoning about Intentions in Uncertain Domains. | Martijn C. Schut, Michael J. Wooldridge, Simon Parsons |
| 2000 | ECAI | Intention Reconsideration in Theory and Practice. | Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael J. Wooldridge |
| 2000 | ECAI | Languages for Negotiation. | Michael J. Wooldridge, Simon Parsons |
| 2000 | ICSE | Agent-oriented software engineering (workshop). | Paolo Ciancarini, Michael J. Wooldridge |
| 2000 | JELIA | Multi-agent VSK Logic. | Michael J. Wooldridge, Alessio Lomuscio |
| 1999 | AAAI | Verifying that Agents Implement a Communication Language. | Michael J. Wooldridge |
| 1998 | ECAI | A Knowledge-theoretic Approach to Distributed Problem Solving. | Michael J. Wooldridge |
| 1997 | IJCAI | Cooperation Structures. | Mark d'Inverno, Michael Luck, Michael J. Wooldridge |
| 1997 | WETICE | Agent-Based Digital Libraries: Driving the Information Economy. | David Derbyshire, Innes A. Ferguson, Jrg P. Mller, Markus Pischel, Michael J. Wooldridge |
| 1994 | ECAI | Coherent Social Action. | Michael J. Wooldridge |
| 1993 | EPIA | Specifying and Verifying Distributed Intelligence Systems. | Michael Fisher, Michael J. Wooldridge |
| 1992 | ECAI | A First-Order Branching Time Logic of Multi-Agent System. | Michael J. Wooldridge, Michael Fisher |