Michael Wooldridge
Ashall Professor of Foundations of Artificial Intelligence
Studies multi-agent systems, including game-theoretic and logical foundations of interacting AI systems.
Michael Wooldridge's lab at Oxford works on reasoning & neuro-symbolic AI and planning, control & multi-robot systems. 46 papers since 2023, 26 at top venues, mostly AAMAS and IJCAI. 9 alumni. Applications close .
At a glance
- papers, 2023–2026
- 12/ year
- at T1 venues
- 57%
- PhD students
- —
- MS students
- —
- alumni listed
- 9
Papers by yearfrom DBLP, 2023–2026
- 2 papers2026 · T1 1 · collecting
- 10 papers2025 · T1 7
- 17 papers2024 · T1 10
- 17 papers2023 · T1 8
T1 venuesOtherVenues: AAMAS, IJCAI, AAAI, NeurIPS, Artificial Intelligence
Research focuspaper titles that use each topic's words
- Planning, control & multi-robot systems7 papers
- Reasoning & neuro-symbolic AI4 papers
- studies multi-agent0 papers
- logical0 papers
- game-theoretic0 papers
Paper list
From DBLP.
20262 papers
202510 papers
- ACL (T1)Assessing Dialect Fairness and Robustness of Large Language Models in Reasoning Tasks (opens in a new tab)
- NeurIPS (T1)Emergent Risk Awareness in Rational Agents under Resource Constraints (opens in a new tab)
- AAMAS (T1)Equilibrium Selection via Communication Partition (opens in a new tab)
- WSCHierarchical Population Synthesis Using a Neural-Differentiable Programming Approach (opens in a new tab)
- ICLR (T1)Language Models Are Implicitly Continuous (opens in a new tab)
- AAAI (T1)Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges (opens in a new tab)
- NeurIPS (T1)Large Language Models Miss the Multi-agent Mark (opens in a new tab)
- ICML (T1)Learning Likelihood-Free Reference Priors (opens in a new tab)
- Findings of EMNLPOut-of-Context Reasoning in Large Language Models (opens in a new tab)
- ECAIPartition Equilibria in Weighted Singleton Congestion Games (opens in a new tab)
202417 papers
- Findings of EMNLPA Notion of Complexity for Theory of Mind via Discrete World Models (opens in a new tab)
- IJCAI (T1)A Strategic Analysis of Prepayments in Financial Credit Networks (opens in a new tab)
- UAI (T1)Causally Abstracted Multi-armed Bandits (opens in a new tab)
- CSLCharacterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (opens in a new tab)
- UAI (T1)Characterising Interventions in Causal Games (opens in a new tab)
- Log. Methods Comput. Sci.Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints (opens in a new tab)
- IJCAI (T1)Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents (opens in a new tab)
- ANNSIMExploring The Dynamics of Gene Drive Mosquitoes Within Wild Populations Using an Agent-Based Simulation (opens in a new tab)
- KRIncentive Design for Rational Agents (opens in a new tab)
- NeurIPS (T1)Interventionally Consistent Surrogates for Complex Simulation Models (opens in a new tab)
- Journal of Artificial Intelligence ResearchLearning to Resolve Social Dilemmas: A Survey (opens in a new tab)
- IJCAI (T1)Learning to Resolve Social Dilemmas: A Survey (Abstract Reprint) (opens in a new tab)
202317 papers
- J. Open Source Softw.BlackBIRDS: Black-Box Inference foR Differentiable Simulators (opens in a new tab)
- ECAICognitive Effects in Large Language Models (opens in a new tab)
- Artificial Intelligence (T1)Cooperative concurrent games (opens in a new tab)
- AAMAS (T1)Don't Simulate Twice: One-Shot Sensitivity Analyses via Automatic Differentiation (opens in a new tab)
- Minds Mach.Encoding Ethics to Compute Value-Aligned Norms (opens in a new tab)
- ICAIFGradient-Assisted Calibration for Financial Agent-Based Models (opens in a new tab)
- TARKIncentive Engineering for Concurrent Games (opens in a new tab)
- AAMAS (T1)k-Prize Weighted Voting Game (opens in a new tab)
- ECAILearning Task Automata for Reinforcement Learning Using Hidden Markov Models (opens in a new tab)
- AAAI (T1)Multi-Unit Auctions for Allocating Chance-Constrained Resources (opens in a new tab)
- TARKOn Imperfect Recall in Multi-Agent Influence Diagrams (opens in a new tab)
- Ann. Math. Artif. Intell.On the complexity of rational verification (opens in a new tab)
Where alumni went9 listed
Apply to Oxford2027-28
DPhil in Computer Science
- Round
- 2027-28 entry (January round)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USMIT
Asuman Ozdaglar
- Learning theory & optimization
- USNYU
Wenqi Cui
- Reinforcement learning
- USNYU
Yanjun Han
- Learning theory & optimization
- USUSC
Rahul Jain
- Reinforcement learning
- GBImperial
Joey Bose
- Generative & foundation models
- CAToronto
David Duvenaud
- Probabilistic & causal inference
Your notes
Save this lab to keep notes.
Data
Some numbers could not be verified:
- The member list could not be found on the lab site.
- Collected
- Verified
- Papers
- DBLP
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Oxfordcloses