Michael J. Wooldridge

552 papers A* 44A 111B 12C 9Misc 5Journal 238Unranked 105

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Benchmarking at the Edge of Comprehension. CoRR Samuele Marro, Jialin Yu, Emanuele La Malfa, Oishi Deb, Jiawei Li, Yibo Yang, Ebey Abraham, Sunando Sengupta, Eric Sommerlade, Michael J. Wooldridge, Philip Torr
2026	J	`jnl`	Neural Network-Based Parameter Estimation of a Labour Market Agent-Based Model. CoRR M. Lopes Alves, Joel Dyer, J. Doyne Farmer, Michael J. Wooldridge, Anisoara Calinescu
2026	J	`jnl`	Tacit Coordination of Large Language Models. CoRR Ido Aharon, Emanuele La Malfa, Michael J. Wooldridge, Sarit Kraus
2026	J	`jnl`	Top 10 Most Influential Papers in Artificial Intelligence Since 2000. IEEE Intell. Syst. Bo An, Sarit Kraus, Michael J. Wooldridge
2025	J	`jnl`	An End-to-end Planning Framework with Agentic LLMs and PDDL. CoRR Emanuele La Malfa, Ping Zhu, Samuele Marro, Sara Bernardini, Michael J. Wooldridge
2025	—	`conf`	Assessing Dialect Fairness and Robustness of Large Language Models in Reasoning Tasks. ACL (1) 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	J	`jnl`	Automatic Differentiation of Agent-Based Models. CoRR Arnau Quera-Bofarull, Nicholas Bishop, Joel Dyer, Daniel Jarne Ornia, Anisoara Calinescu, J. Doyne Farmer, Michael J. Wooldridge
2025	J	`jnl`	Bayesian Decision Making around Experts. CoRR Daniel Jarne Ornia, Joel Dyer, Nicholas Bishop, Anisoara Calinescu, Michael J. Wooldridge
2025	J	`jnl`	Code Simulation as a Proxy for High-order Tasks in Large Language Models. CoRR Emanuele La Malfa, Christoph Weinhuber, Orazio Torre, Fangru Lin, X. Angelo Huang, Samuele Marro, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2025	J	`jnl`	Emergent Risk Awareness in Rational Agents under Resource Constraints. CoRR Daniel Jarne Ornia, Nicholas Bishop, Joel Dyer, Wei-Chen Lee, Ani Calinescu, J. Doyne Farmer, Michael J. Wooldridge
2025	A	`conf`	Equilibrium Selection via Communication Partition. AAMAS Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge
2025	J	`jnl`	Fair Coordination in Strategic Scheduling. CoRR Wei-Chen Lee, Martin Bullinger, Alessandro Abate, Michael J. Wooldridge
2025	J	`jnl`	Fetch.ai: An Architecture for Modern Multi-Agent Systems. CoRR Michael J. Wooldridge, Attila Bagoly, Jonathan J. Ward, Emanuele La Malfa, Gabriel Paludo Licks
2025	J	`jnl`	Fixed Point Explainability. CoRR Emanuele La Malfa, Jon Vadillo, Marco Molinari, Michael J. Wooldridge
2025	J	`jnl`	Jailbreaking Large Language Models in Infinitely Many Ways. CoRR Oliver Goldstein, Emanuele La Malfa, Felix Drinkall, Samuele Marro, Michael J. Wooldridge
2025	A*	`conf`	Language Models Are Implicitly Continuous. ICLR Samuele Marro, Davide Evangelista, X. Angelo Huang, Emanuele La Malfa, Michele Lombardi, Michael J. Wooldridge
2025	J	`jnl`	Language Models Are Implicitly Continuous. CoRR Samuele Marro, Davide Evangelista, X. Angelo Huang, Emanuele La Malfa, Michele Lombardi, Michael J. Wooldridge
2025	A*	`conf`	Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. AAAI Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Raza Nazar, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2025	J	`jnl`	Large Language Models Miss the Multi-Agent Mark. CoRR Emanuele La Malfa, Gabriele La Malfa, Samuele Marro, Jie M. Zhang, Elizabeth Black, Michael Luck, Philip Torr, Michael J. Wooldridge
2025	A*	`conf`	Learning Likelihood-Free Reference Priors. ICML Nicholas Bishop, Daniel Jarne Ornia, Joel Dyer, Ani Calinescu, Michael J. Wooldridge
2025	J	`jnl`	Multi-agent coordination via communication partitions. CoRR Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge
2025	—	`conf`	Out-of-Context Reasoning in Large Language Models. EMNLP (Findings) Jonathan Shaki, Emanuele La Malfa, Michael J. Wooldridge, Sarit Kraus
2025	A	`conf`	Partition Equilibria in Weighted Singleton Congestion Games. ECAI Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge
2025	J	`jnl`	Sandbagging in a Simple Survival Bandit Problem. CoRR Joel Dyer, Daniel Jarne Ornia, Nicholas Bishop, Anisoara Calinescu, Michael J. Wooldridge
2025	J	`jnl`	Understanding the Logical Capabilities of Large Language Models via Out-of-Context Representation Learning. CoRR Jonathan Shaki, Emanuele La Malfa, Michael J. Wooldridge, Sarit Kraus
2025	J	`jnl`	Using causal abstractions to accelerate decision-making in complex bandit problems. CoRR Joel Dyer, Nicholas Bishop, Anisoara Calinescu, Michael J. Wooldridge, Fabio Massimo Zennaro
2024	—	`conf`	A Notion of Complexity for Theory of Mind via Discrete World Models. EMNLP (Findings) X. Angelo Huang, Emanuele La Malfa, Samuele Marro, Andrea Asperti, Anthony G. Cohn, Michael J. Wooldridge
2024	J	`jnl`	A Notion of Complexity for Theory of Mind via Discrete World Models. CoRR X. Angelo Huang, Emanuele La Malfa, Samuele Marro, Andrea Asperti, Anthony G. Cohn, Michael J. Wooldridge
2024	J	`jnl`	A Scalable Communication Protocol for Networks of Large Language Models. CoRR Samuele Marro, Emanuele La Malfa, Jesse Wright, Guohao Li, Nigel Shadbolt, Michael J. Wooldridge, Philip Torr
2024	A*	`conf`	A Strategic Analysis of Prepayments in Financial Credit Networks. IJCAI Hao Zhou, Yongzhao Wang, Konstantinos Varsos, Nicholas Bishop, Rahul Savani, Anisoara Calinescu, Michael J. Wooldridge
2024	J	`jnl`	A multi-objective combinatorial optimisation framework for large scale hierarchical population synthesis. CoRR Imran Mahmood, Nicholas Bishop, Anisoara Calinescu, Michael J. Wooldridge, Ioannis Zachos
2024	A	`conf`	Causally Abstracted Multi-armed Bandits. UAI Fabio Massimo Zennaro, Nicholas Bishop, Joel Dyer, Yorgos Felekis, Anisoara Calinescu, Michael J. Wooldridge, Theodoros Damoulas
2024	J	`jnl`	Causally Abstracted Multi-armed Bandits. CoRR Fabio Massimo Zennaro, Nicholas Bishop, Joel Dyer, Yorgos Felekis, Anisoara Calinescu, Michael J. Wooldridge, Theodoros Damoulas
2024	A	`conf`	Characterising Interventions in Causal Games. UAI Manuj Mishra, James Fox, Michael J. Wooldridge
2024	J	`jnl`	Characterising Interventions in Causal Games. CoRR Manuj Mishra, James Fox, Michael J. Wooldridge
2024	B	`conf`	Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
2024	J	`jnl`	Code Simulation Challenges for Large Language Models. CoRR Emanuele La Malfa, Christoph Weinhuber, Orazio Torre, Fangru Lin, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2024	J	`jnl`	Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. Log. Methods Comput. Sci. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2024	A*	`conf`	Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. IJCAI Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2024	—	`conf`	Exploring The Dynamics of Gene Drive Mosquitoes Within Wild Populations Using an Agent-Based Simulation. ANNSIM Sureni Wickramasooriya, Imran Mahmood, Anisoara Calinescu, Michael J. Wooldridge, Gregory Lanzaro
2024	J	`jnl`	Fixed-budget and Multiple-issue Quadratic Voting. CoRR Laura Georgescu, James Fox, Anna Gautier, Michael J. Wooldridge
2024	A*	`conf`	Incentive Design for Rational Agents. KR David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge
2024	A*	`conf`	Interventionally Consistent Surrogates for Complex Simulation Models. NeurIPS Joel Dyer, Nicholas Bishop, Yorgos Felekis, Fabio Massimo Zennaro, Anisoara Calinescu, Theodoros Damoulas, Michael J. Wooldridge
2024	J	`jnl`	Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. J. Artif. Intell. Res. Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Raza Nazar, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2024	A*	`conf`	Learning to Resolve Social Dilemmas: A Survey (Abstract Reprint). IJCAI Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge
2024	J	`jnl`	Learning to Resolve Social Dilemmas: A Survey. J. Artif. Intell. Res. Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge
2024	J	`jnl`	One Language, Many Gaps: Evaluating Dialect Fairness and Robustness of Large Language Models in Reasoning Tasks. CoRR Fangru Lin, Shaoguang Mao, Emanuele La Malfa, Valentin Hofmann, Adrian de Wynter, Jing Yao, Si-Qing Chen, Michael J. Wooldridge, Furu Wei
2024	A	`conf`	Population Synthesis as Scenario Generation for Simulation-based Planning under Uncertainty. AAMAS Joel Dyer, Arnau Quera-Bofarull, Nicholas Bishop, J. Doyne Farmer, Anisoara Calinescu, Michael J. Wooldridge
2024	A	`conf`	Private Agent-Based Modeling. AAMAS Ayush Chopra, Arnau Quera-Bofarull, Nurullah Giray Kuru, Michael J. Wooldridge, Ramesh Raskar
2024	J	`jnl`	Private Agent-Based Modeling. CoRR Ayush Chopra, Arnau Quera-Bofarull, Nurullah Giray Kuru, Michael J. Wooldridge, Ramesh Raskar
2024	A	`conf`	Rational Verification with Quantitative Probabilistic Goals. AAMAS David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge
2024	A*	`conf`	Reasoning about Causality in Games (Abstract Reprint). AAAI Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
2024	J	`jnl`	Selfishly Prepaying in Financial Credit Networks. J. Artif. Intell. Res. Hao Zhou, Yongzhao Wang, Konstantinos Varsos, Nicholas Bishop, Rahul Savani, Anisoara Calinescu, Michael J. Wooldridge
2024	A*	`ed.`	Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada AAAI Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan
2023	J	`jnl`	Bayesian calibration of differentiable agent-based models. CoRR Arnau Quera-Bofarull, Ayush Chopra, Anisoara Calinescu, Michael J. Wooldridge, Joel Dyer
2023	J	`jnl`	BlackBIRDS: Black-Box Inference foR Differentiable Simulators. J. Open Source Softw. Arnau Quera-Bofarull, Joel Dyer, Anisoara Calinescu, J. Doyne Farmer, Michael J. Wooldridge
2023	J	`jnl`	Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). CoRR Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
2023	A	`conf`	Cognitive Effects in Large Language Models. ECAI Jonathan Shaki, Sarit Kraus, Michael J. Wooldridge
2023	J	`jnl`	Cognitive Effects in Large Language Models. CoRR Jonathan Shaki, Sarit Kraus, Michael J. Wooldridge
2023	J	`jnl`	Cooperative Concurrent Games. CoRR Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge
2023	J	`jnl`	Cooperative concurrent games. Artif. Intell. Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge
2023	J	`jnl`	Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. CoRR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2023	A	`conf`	Don't Simulate Twice: One-Shot Sensitivity Analyses via Automatic Differentiation. AAMAS Arnau Quera-Bofarull, Ayush Chopra, Joseph Aylett-Bullock, Carolina Cuesta-Lázaro, Anisoara Calinescu, Ramesh Raskar, Michael J. Wooldridge
2023	J	`jnl`	Encoding Ethics to Compute Value-Aligned Norms. Minds Mach. 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
2023	—	`conf`	Gradient-Assisted Calibration for Financial Agent-Based Models. ICAIF Joel Dyer, Arnau Quera-Bofarull, Ayush Chopra, J. Doyne Farmer, Anisoara Calinescu, Michael J. Wooldridge
2023	B	`conf`	Incentive Engineering for Concurrent Games. TARK David Hyland, Julian Gutierrez, Michael J. Wooldridge
2023	J	`jnl`	Interventionally Consistent Surrogates for Agent-based Simulators. CoRR Joel Dyer, Nicholas Bishop, Yorgos Felekis, Fabio Massimo Zennaro, Anisoara Calinescu, Theodoros Damoulas, Michael J. Wooldridge
2023	A	`conf`	Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. ECAI Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge
2023	A*	`conf`	Multi-Unit Auctions for Allocating Chance-Constrained Resources. AAAI Anna Gautier, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge
2023	B	`conf`	On Imperfect Recall in Multi-Agent Influence Diagrams. TARK James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate, Michael J. Wooldridge
2023	J	`jnl`	On the complexity of rational verification. Ann. Math. Artif. Intell. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2023	A	`conf`	Optimal Coalition Structures for Probabilistically Monotone Partition Function Games. AAMAS Shaheen Fatima, Michael J. Wooldridge
2023	A*	`conf`	Principal-Agent Boolean Games. IJCAI David Hyland, Julian Gutierrez, Michael J. Wooldridge
2023	J	`jnl`	Principal-Agent Boolean Games. CoRR David Hyland, Julian Gutierrez, Michael J. Wooldridge
2023	J	`jnl`	Reasoning about Causality in Games. CoRR Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
2023	J	`jnl`	Reasoning about causality in games. Artif. Intell. Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
2023	J	`jnl`	Replication Robust Payoff Allocation in Submodular Cooperative Games. IEEE Trans. Artif. Intell. Dongge Han, Michael J. Wooldridge, Alex Rogers, Olga Ohrimenko, Sebastian Tschiatschek
2023	A	`conf`	Risk-Constrained Planning for Multi-Agent Systems with Shared Resources. AAMAS Anna Gautier, Marc Rigter, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge
2023	J	`jnl`	Some challenges of calibrating differentiable agent-based models. CoRR Arnau Quera-Bofarull, Joel Dyer, Anisoara Calinescu, Michael J. Wooldridge
2023	J	`jnl`	The ARRT of Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. CoRR Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2023	A	`conf`	k-Prize Weighted Voting Game. AAMAS Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2023	J	`jnl`	k-Prize Weighted Voting Games. CoRR Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2022	J	`jnl`	Defense coordination in security games: Equilibrium analysis and mechanism design. Artif. Intell. Jiarui Gan, Edith Elkind, Sarit Kraus, Michael J. Wooldridge
2022	C	`conf`	Giving Instructions in Linear Temporal Logic. TIME Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge
2022	J	`jnl`	How Members of Covert Networks Conceal the Identities of Their Leaders. ACM Trans. Intell. Syst. Technol. Marcin Waniek, Tomasz P. Michalak, Michael J. Wooldridge, Talal Rahwan
2022	J	`jnl`	Learning Task Automata for Reinforcement Learning using Hidden Markov Models. CoRR Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge
2022	J	`jnl`	Mean-Payoff Games with ω-Regular Specifications. Games Julian Gutierrez, Thomas Steeples, Michael J. Wooldridge
2022	J	`jnl`	Multi-agent systems research in the United Kingdom. AI Commun. Stefano V. Albrecht, Michael J. Wooldridge
2022	A	`conf`	Multiagent Model-based Credit Assignment for Continuous Control. AAMAS Dongge Han, Chris Xiaoxuan Lu, Tomasz P. Michalak, Michael J. Wooldridge
2022	A	`conf`	Negotiated Path Planning for Non-Cooperative Multi-Robot Systems. AAMAS Anna Gautier, Alex Stephens, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge
2022	J	`jnl`	On the Complexity of Rational Verification. CoRR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2022	J	`jnl`	Optimal coalition structures for probabilistically monotone partition function games. Auton. Agents Multi Agent Syst. Shaheen Fatima, Michael J. Wooldridge
2022	J	`jnl`	Partial Order Games. Games Valeria Zahoransky, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2022	J	`jnl`	Understanding Mechanism Design - Part 3 of 3: Mechanism Design in the Real World: The VCG Mechanism. IEEE Intell. Syst. Anna Gautier, Michael J. Wooldridge
2022	J	`jnl`	Welcome to Big AI. IEEE Intell. Syst. Michael J. Wooldridge
2021	J	`jnl`	Behavioural strategies in weighted Boolean games. Inf. Comput. Dongge Han, Paul Harrenstein, Steven Nugent, Jonathan Philpott, Michael J. Wooldridge
2021	J	`jnl`	Consumer Flexibility Aggregation Using Partition Function Games With Non-Transferable Utility. IEEE Access Tiago Pinto, Michael J. Wooldridge, Zita A. Vale
2021	J	`jnl`	Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2021	J	`jnl`	Equilibrium Design for Concurrent Games. CoRR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2021	A	`conf`	Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. AAMAS Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge
2021	J	`jnl`	Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. CoRR Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge
2021	J	`jnl`	Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM Trans. Comput. Log. Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2021	J	`jnl`	MDP Abstraction with Successor Features. CoRR Dongge Han, Michael J. Wooldridge, Sebastian Tschiatschek
2021	A	`conf`	Mean-Payoff Games with ω-Regular Specifications. AAMAS Thomas Steeples, Julian Gutierrez, Michael J. Wooldridge
2021	A	`conf`	Multi-Agent Reinforcement Learning with Temporal Logic Specifications. AAMAS Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
2021	J	`jnl`	Multi-Agent Reinforcement Learning with Temporal Logic Specifications. CoRR Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
2021	J	`jnl`	Multi-player games with LDL goals over finite traces. Inf. Comput. Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2021	J	`jnl`	Multiagent Model-based Credit Assignment for Continuous Control. CoRR Dongge Han, Chris Xiaoxuan Lu, Tomasz P. Michalak, Michael J. Wooldridge
2021	—	`conf`	PyCID: A Python Library for Causal Influence Diagrams. SciPy James Fox, Tom Everitt, Ryan Carey, Eric D. Langlois, Alessandro Abate, Michael J. Wooldridge
2021	A*	`conf`	Rational Verification for Probabilistic Systems. KR Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
2021	J	`jnl`	Rational Verification for Probabilistic Systems. CoRR Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
2021	J	`jnl`	Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
2021	J	`jnl`	Understanding Mechanism Design - Part 2 of 3: The Vickrey-Clarke-Groves Mechanism. IEEE Intell. Syst. Jeffrey S. Rosenschein, Michael J. Wooldridge
2020	J	`jnl`	Artificial Intelligence requires more than deep learning - but what, exactly? Artif. Intell. Michael J. Wooldridge
2020	J	`jnl`	Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. CoRR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2020	J	`jnl`	Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artif. Intell. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2020	J	`jnl`	Delegating Decisions in Strategic Settings. IEEE Trans. Artif. Intell. Paul E. Dunne, Paul Harrenstein, Sarit Kraus, Michael J. Wooldridge
2020	J	`jnl`	Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2020	A	`conf`	Mechanism Design for Defense Coordination in Security Games. AAMAS Jiarui Gan, Edith Elkind, Sarit Kraus, Michael J. Wooldridge
2020	J	`jnl`	Monte Carlo Techniques for Approximating the Myerson Value - Theoretical and Empirical Analysis. CoRR Mateusz Krzysztof Tarkowski, Szymon Matejczyk, Tomasz P. Michalak, Michael J. Wooldridge
2020	J	`jnl`	Multi-Player Games with LDL Goals over Finite Traces. CoRR Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2020	J	`jnl`	Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities. Auton. Agents Multi Agent Syst. Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael J. Wooldridge, Makoto Yokoo
2020	J	`jnl`	Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces. CoRR Dongge Han, Shruti Tople, Alex Rogers, Michael J. Wooldridge, Olga Ohrimenko, Sebastian Tschiatschek
2020	J	`jnl`	Through the Veil of Ignorance: Understanding Social Welfare. IEEE Intell. Syst. Michael J. Wooldridge
2020	J	`jnl`	Understanding Mechanism Design-Part 1 of 3. IEEE Intell. Syst. Michael J. Wooldridge
2019	J	`jnl`	A Game-Theoretic Algorithm for Link Prediction. CoRR Mateusz Krzysztof Tarkowski, Tomasz P. Michalak, Michael J. Wooldridge
2019	J	`jnl`	A Measure of Added Value in Groups. ACM Trans. Auton. Adapt. Syst. Bedoor K. AlShebli, Tomasz P. Michalak, Oskar Skibski, Michael J. Wooldridge, Talal Rahwan
2019	A	`conf`	Computing Optimal Coalition Structures in Polynomial Time. AAMAS Shaheen Fatima, Michael J. Wooldridge
2019	J	`jnl`	Computing optimal coalition structures in polynomial time. Auton. Agents Multi Agent Syst. Shaheen Fatima, Michael J. Wooldridge
2019	A	`conf`	Cooperative Concurrent Games. AAMAS Julian Gutierrez, Sarit Kraus, Michael J. Wooldridge
2019	J	`jnl`	Enumerating Connected Subgraphs and Computing the Myerson and Shapley Values in Graph-Restricted Games. ACM Trans. Intell. Syst. Technol. Oskar Skibski, Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge
2019	B	`conf`	Equilibrium Design for Concurrent Games. CONCUR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2019	A*	`conf`	Imitative Follower Deception in Stackelberg Games. EC Jiarui Gan, Haifeng Xu, Qingyu Guo, Long Tran-Thanh, Zinovi Rabinovich, Michael J. Wooldridge
2019	J	`jnl`	Imitative Follower Deception in Stackelberg Games. CoRR Jiarui Gan, Haifeng Xu, Qingyu Guo, Long Tran-Thanh, Zinovi Rabinovich, Michael J. Wooldridge
2019	A*	`conf`	Manipulating a Learning Defender and Ways to Counteract. NeurIPS Jiarui Gan, Qingyu Guo, Long Tran-Thanh, Bo An, Michael J. Wooldridge
2019	J	`jnl`	Manipulating a Learning Defender and Ways to Counteract. CoRR Jiarui Gan, Qingyu Guo, Long Tran-Thanh, Bo An, Michael J. Wooldridge
2019	A	`conf`	Multi-Agent Hierarchical Reinforcement Learning with Dynamic Termination. AAMAS Dongge Han, Wendelin Boehmer, Michael J. Wooldridge, Alex Rogers
2019	—	`conf`	Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. PRICAI (2) Dongge Han, Wendelin Böhmer, Michael J. Wooldridge, Alex Rogers
2019	J	`jnl`	Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. CoRR Dongge Han, Wendelin Boehmer, Michael J. Wooldridge, Alex Rogers
2019	J	`jnl`	Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2019	A*	`conf`	On Computational Tractability for Rational Verification. IJCAI Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2019	J	`jnl`	Program models and semi-public environments. J. Log. Comput. Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge
2019	J	`jnl`	Łukasiewicz logics for cooperative games. Artif. Intell. Enrico Marchioni, Michael J. Wooldridge
2018	J	`jnl`	Agent-Based Modeling for Complex Financial Systems. IEEE Intell. Syst. James Paulin, Anisoara Calinescu, Michael J. Wooldridge
2018	B	`conf`	EVE: A Tool for Temporal Equilibrium Analysis. ATVA Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2018	J	`jnl`	Efficient Computation of Semivalues for Game-Theoretic Network Centrality. J. Artif. Intell. Res. Mateusz Krzysztof Tarkowski, Piotr L. Szczepanski, Tomasz P. Michalak, Paul Harrenstein, Michael J. Wooldridge
2018	C	`conf`	Exploiting Moral Values to Choose the Right Norms. AIES Marc Serramia, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Javier Morales, Michael J. Wooldridge, Carlos Ansótegui
2018	J	`jnl`	Forming Artif. Intell. Liat Sless, Noam Hazon, Sarit Kraus, Michael J. Wooldridge
2018	J	`jnl`	Game-theoretic Network Centrality: A Review. CoRR Mateusz Krzysztof Tarkowski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge
2018	J	`jnl`	Imperfect information in Reactive Modules games. Inf. Comput. Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2018	A	`conf`	Local Equilibria in Logic-Based Multi-Player Games. AAMAS Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge
2018	A	`conf`	Moral Values in Norm Decision Making. AAMAS Marc Serramia, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Manel Rodriguez-Soto, Michael J. Wooldridge, Javier Morales, Carlos Ansótegui
2018	J	`jnl`	Nash Equilibrium and Bisimulation Invariance. CoRR Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2018	J	`jnl`	Off-line synthesis of evolutionarily stable normative systems. Auton. Agents Multi Agent Syst. Javier Morales, Michael J. Wooldridge, Juan A. Rodríguez-Aguilar, Maite López-Sánchez
2018	J	`jnl`	Preface to the SR-2015 special issue. Inf. Comput. Julian Gutierrez, Michael J. Wooldridge
2018	A	`conf`	Stackelberg Security Games with Multiple Uncoordinated Defenders. AAMAS Jiarui Gan, Edith Elkind, Michael J. Wooldridge
2018	J	`jnl`	The Stochastic Shapley Value for coalitional games with externalities. Games Econ. Behav. Oskar Skibski, Tomasz P. Michalak, Michael J. Wooldridge
2018	J	`jnl`	Understanding Flash Crash Contagion and Systemic Risk: A Micro-Macro Agent-Based Approach. CoRR James Paulin, Anisoara Calinescu, Michael J. Wooldridge
2017	J	`jnl`	AI and Economics. IEEE Intell. Syst. Tomasz P. Michalak, Michael J. Wooldridge
2017	A	`conf`	Automating Decision Making to Help Establish Norm-Based Regulations. AAMAS Maite López-Sánchez, Marc Serramia, Juan A. Rodríguez-Aguilar, Javier Morales, Michael J. Wooldridge
2017	J	`jnl`	Automating decision making to help establish norm-based regulations. CoRR Maite López-Sánchez, Marc Serramia, Juan A. Rodríguez-Aguilar, Javier Morales, Michael J. Wooldridge
2017	A*	`conf`	Characterising the Manipulability of Boolean Games. IJCAI Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge
2017	A	`conf`	Evolutionary Synthesis of Stable Normative Systems. AAMAS Javier Morales, Michael J. Wooldridge, Juan A. Rodríguez-Aguilar, Maite López-Sánchez
2017	J	`jnl`	From model checking to equilibrium checking: Reactive modules for rational verification. Artif. Intell. Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2017	J	`jnl`	Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). Dagstuhl Reports Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge
2017	A	`conf`	Iterated Boolean Games for Rational Verification. AAMAS Tong Gao, Julian Gutierrez, Michael J. Wooldridge
2017	A	`conf`	Iterated Games with LDL Goals over Finite Traces. AAMAS Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2017	J	`jnl`	Minds and Machines Special Issue: Ethics and Artificial Intelligence. Minds Mach. Paula Boddington, Peter Millican, Michael J. Wooldridge
2017	A*	`conf`	Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge
2017	B	`conf`	Nash Equilibrium and Bisimulation Invariance. CONCUR Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2017	A	`conf`	On the Construction of Covert Networks. AAMAS Marcin Waniek, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge
2017	J	`jnl`	Reasoning about equilibria in game-like concurrent systems. Ann. Pure Appl. Log. Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2017	A*	`conf`	Strategic Social Network Analysis. AAAI Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge
2017	J	`jnl`	Synthesising Evolutionarily Stable Normative Systems. CoRR Javier Morales, Michael J. Wooldridge, Juan A. Rodríguez-Aguilar, Maite López-Sánchez
2016	J	`jnl`	A hybrid exact algorithm for complete set partitioning. Artif. Intell. Tomasz P. Michalak, Talal Rahwan, Edith Elkind, Michael J. Wooldridge, Nicholas R. Jennings
2016	A	`conf`	An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction. ECAI Piotr L. Szczepanski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge
2016	A*	`conf`	Boolean Hedonic Games. KR Haris Aziz, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge
2016	A*	`conf`	Closeness Centrality for Networks with Overlapping Community Structure. AAAI Mateusz Krzysztof Tarkowski, Piotr L. Szczepanski, Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge
2016	A	`conf`	Expressiveness and Nash Equilibrium in Iterated Boolean Games. AAMAS Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2016	—	`conf`	From model checking to equilibrium checking. GI-Jahrestagung Michael J. Wooldridge
2016	J	`jnl`	Hard and Soft Preparation Sets in Boolean Games. Stud Logica Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge
2016	J	`jnl`	Hiding Individuals and Communities in a Social Network. CoRR Marcin Waniek, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge
2016	A*	`conf`	Imperfect Information in Reactive Modules Games. KR Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2016	J	`jnl`	Majority bargaining for resource division. Auton. Agents Multi Agent Syst. Shaheen Fatima, Michael J. Wooldridge
2016	A	`conf`	Non-Utilitarian Coalition Structure Generation. ECAI Oskar Skibski, Henryk Michalewski, Andrzej Nagórko, Tomasz P. Michalak, Andrew James Dowell, Talal Rahwan, Michael J. Wooldridge
2016	J	`jnl`	Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. Synth. Julian C. Bradfield, Julian Gutierrez, Michael J. Wooldridge
2016	J	`jnl`	Power and welfare in bargaining for coalition structure formation. Auton. Agents Multi Agent Syst. Shaheen Fatima, Tomasz P. Michalak, Michael J. Wooldridge
2016	A*	`conf`	Rational Verification: From Model Checking to Equilibrium Checking. AAAI Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi
2016	—	`ch.`	Weighted Voting Games. Handbook of Computational Social Choice Georgios Chalkiadakis, Michael J. Wooldridge
2016	A	`conf`	k-Coalitional Cooperative Games. AAMAS Oskar Skibski, Szymon Matejczyk, Tomasz P. Michalak, Michael J. Wooldridge, Makoto Yokoo
2015	A*	`conf`	A Graphical Representation for Games in Partition Function Form. AAAI Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael J. Wooldridge, Makoto Yokoo
2015	C	`conf`	A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. ICTAC Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge
2015	J	`jnl`	A new approach to measure social capital using game-theoretic techniques. SIGecom Exch. Tomasz P. Michalak, Talal Rahwan, Stefano Moretti, Ramasuri Narayanam, Oskar Skibski, Piotr L. Szczepanski, Michael J. Wooldridge
2015	J	`jnl`	Boolean Hedonic Games. CoRR Haris Aziz, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge
2015	J	`jnl`	Coalition structure generation: A survey. Artif. Intell. Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge, Nicholas R. Jennings
2015	J	`jnl`	Defeating Terrorist Networks with Game Theory. IEEE Intell. Syst. Tomasz P. Michalak, Talal Rahwan, Oskar Skibski, Michael J. Wooldridge
2015	A*	`conf`	Efficient Computation of Semivalues for Game-Theoretic Network Centrality. AAAI Piotr Lech Szczepanski, Mateusz Krzysztof Tarkowski, Tomasz Pawel Michalak, Paul Harrenstein, Michael J. Wooldridge
2015	A	`conf`	Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents. AAMAS Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge
2015	B	`conf`	Expresiveness and Complexity Results for Strategic Reasoning. CONCUR Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2015	A	`conf`	Extending NormLab to Spur Research on Norm Synthesis. AAMAS Javier Morales, Iosu Mendizabal, David Sanchez-Pinsach, Juan Antonio Rodríguez-Aguilar, Maite López-Sánchez, Michael J. Wooldridge, Wamberto Weber Vasconcelos
2015	J	`jnl`	Iterated Boolean games. Inf. Comput. Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2015	J	`jnl`	Online Automated Synthesis of Compact Normative Systems. ACM Trans. Auton. Adapt. Syst. Javier Morales, Maite López-Sánchez, Juan Antonio Rodríguez-Aguilar, Wamberto Weber Vasconcelos, Michael J. Wooldridge
2015	A*	`ed.`	Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 IJCAI Qiang Yang, Michael J. Wooldridge
2015	A	`conf`	Synthesising Liberal Normative Systems. AAMAS Javier Morales, Maite López-Sánchez, Juan Antonio Rodríguez-Aguilar, Michael J. Wooldridge, Wamberto Weber Vasconcelos
2015	J	`jnl`	Thinking Backward with Professor Zermelo. IEEE Intell. Syst. Michael J. Wooldridge
2015	J	`jnl`	Who speaks for AI? AI Matters Eric Eaton, Tom Dietterich, Maria L. Gini, Barbara J. Grosz, Charles L. Isbell Jr., Subbarao Kambhampati, Michael L. Littman, Francesca Rossi, Stuart Russell, Peter Stone, Toby Walsh, Michael J. Wooldridge
2015	J	`jnl`	Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions. ACM Trans. Comput. Log. Enrico Marchioni, Michael J. Wooldridge
2014	A	`conf`	A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value. ECAI Piotr L. Szczepanski, Tomasz P. Michalak, Michael J. Wooldridge
2014	J	`jnl`	A Measure of Synergy in Coalitions. CoRR Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge
2014	A	`conf`	Algorithms for the shapley and myerson values in graph-restricted games. AAMAS Oskar Skibski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge
2014	A	`conf`	Bargaining for Coalition Structure Formation. ECAI S. Shaheen Fatima, Tomasz P. Michalak, Michael J. Wooldridge
2014	—	`conf`	Equilibria of concurrent games on event structures. CSL-LICS Julian Gutierrez, Michael J. Wooldridge
2014	A	`conf`	Forming coalitions and facilitating relationships for completing tasks in social networks. AAMAS Liat Sless, Noam Hazon, Sarit Kraus, Michael J. Wooldridge
2014	A	`conf`	Hard and soft equilibria in boolean games. AAMAS Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge
2014	J	`jnl`	Implementation and Computation of a Value for Generalized Characteristic Function Games. ACM Trans. Economics and Comput. Tomasz P. Michalak, Piotr L. Szczepanski, Talal Rahwan, Agata Chrobak, Simina Brânzei, Michael J. Wooldridge, Nicholas R. Jennings
2014	A	`conf`	Lukasiewicz games. AAMAS Enrico Marchioni, Michael J. Wooldridge
2014	A	`conf`	Majority bargaining for resource division. AAMAS S. Shaheen Fatima, Michael J. Wooldridge
2014	J	`jnl`	Manipulating Games by Sharing Information. Stud Logica John Grant, Sarit Kraus, Michael J. Wooldridge, Inon Zuckerman
2014	J	`jnl`	Measuring Inconsistency in Multi-Agent Systems. Künstliche Intell. Anthony Hunter, Simon Parsons, Michael J. Wooldridge
2014	A	`conf`	Minimality and simplicity in the on-line automated synthesis of normative systems. AAMAS Javier Morales, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Michael J. Wooldridge, Wamberto Weber Vasconcelos
2014	A	`conf`	Multilateral Bargaining for Resource Division. ECAI S. Shaheen Fatima, Michael J. Wooldridge
2014	A	`conf`	NormLab: a framework to support research on norm synthesis. AAMAS Javier Morales, Iosu Mendizabal, David Sanchez-Pinsach, Maite López-Sánchez, Michael J. Wooldridge, Wamberto Weber Vasconcelos
2014	—	`conf`	Optimal Agendas for Sequential Negotiations. AMEC/TADA Shaheen Fatima, Michael J. Wooldridge
2014	A	`conf`	Power and welfare in noncooperative bargaining for coalition structure formation. AAMAS Shaheen Fatima, Tomasz P. Michalak, Michael J. Wooldridge
2014	—	`book`	Principles of Automated Negotiation Shaheen Fatima, Sarit Kraus, Michael J. Wooldridge
2014	J	`jnl`	Reasoning About the Transfer of Control. CoRR Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
2014	A*	`conf`	Reasoning about Equilibria in Game-Like Concurrent Systems. KR Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2014	J	`jnl`	The Negotiation Game. IEEE Intell. Syst. Shaheen Fatima, Sarit Kraus, Michael J. Wooldridge
2014	—	`ch.`	Them and Us: Autonomous Agents In Vivo and In Silico. Johan van Benthem on Logic and Information Dynamics Peter Millican, Michael J. Wooldridge
2014	J	`jnl`	Towards a Fair Allocation of Rewards in Multi-Level Marketing. CoRR Talal Rahwan, Victor Naroditskiy, Tomasz P. Michalak, Michael J. Wooldridge, Nicholas R. Jennings
2013	A	`conf`	Automated synthesis of normative systems. AAMAS Javier Morales, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Michael J. Wooldridge, Wamberto Weber Vasconcelos
2013	—	`conf`	Boolean Games with Epistemic Goals. LORI Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
2013	J	`jnl`	Building and using social structures: A case study using the agent ART testbed. ACM Trans. Intell. Syst. Technol. Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge
2013	A*	`conf`	Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks. IJCAI Tomasz P. Michalak, Talal Rahwan, Piotr L. Szczepanski, Oskar Skibski, Ramasuri Narayanam, Nicholas R. Jennings, Michael J. Wooldridge
2013	J	`jnl`	Game Theory and Evolution. IEEE Intell. Syst. Steve Phelps, Michael J. Wooldridge
2013	A	`conf`	IRON: a machine for the automated synthesis of normative systems. AAMAS Javier Morales, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Michael J. Wooldridge, Wamberto Weber Vasconcelos
2013	J	`jnl`	Incentive engineering for Boolean games. Artif. Intell. Michael J. Wooldridge, Ulle Endriss, Sarit Kraus, Jérôme Lang
2013	A*	`conf`	Iterated Boolean Games. IJCAI Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2013	J	`jnl`	Program equilibrium - a program reasoning approach. Int. J. Game Theory Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge
2013	J	`jnl`	Proof systems and transformation games. Ann. Math. Artif. Intell. Yoram Bachrach, Michael Zuckerman, Michael J. Wooldridge, Jeffrey S. Rosenschein
2013	—	`conf`	Reasoning about Choice. AT Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
2013	A	`conf`	Strategic considerations in the design of committees. AAMAS Edith Elkind, Dmitrii V. Pasechnik, Michael J. Wooldridge
2013	J	`jnl`	The Joy of Matching. IEEE Intell. Syst. Paul Harrenstein, David F. Manlove, Michael J. Wooldridge
2013	J	`jnl`	The Shapley Axiomatization for Values in Partition Function Games. CoRR Oskar Skibski, Tomasz P. Michalak, Michael J. Wooldridge
2013	A*	`conf`	Verifiable Equilibria in Boolean Games. IJCAI Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
2012	J	`jnl`	A heuristic approximation method for the Banzhaf index for voting games. Multiagent Grid Syst. S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2012	A	`conf`	A logic of revelation and concealment. AAMAS Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge
2012	J	`jnl`	Anytime coalition structure generation in multi-agent systems with positive or negative externalities. Artif. Intell. Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge, Nicholas R. Jennings
2012	C	`conf`	Argument Aggregation: Basic Axioms and Complexity Results. COMMA Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge
2012	A	`conf`	Bad equilibria (and what to do about them). ECAI Michael J. Wooldridge
2012	J	`jnl`	Computation and the prisoner's dilemma. IEEE Intell. Syst. Michael J. Wooldridge
2012	A	`conf`	Conservative Social Laws. ECAI Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2012	J	`jnl`	Cooperative Game Theory: Basic Concepts and Computational Challenges. IEEE Intell. Syst. Georgios Chalkiadakis, Edith Elkind, Michael J. Wooldridge
2012	A	`conf`	Delegating Decisions in Strategic Settings. ECAI Sarit Kraus, Michael J. Wooldridge
2012	J	`jnl`	Does Game Theory Work? IEEE Intell. Syst. Michael J. Wooldridge
2012	J	`jnl`	Logics for Multiagent Systems. AI Mag. Wiebe van der Hoek, Michael J. Wooldridge
2012	J	`jnl`	On the evaluation of election outcomes under uncertainty. Artif. Intell. Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael J. Wooldridge
2012	J	`jnl`	The Triumph of Rationality. IEEE Intell. Syst. Michael J. Wooldridge
2012	A	`conf`	Towards tractable Boolean games. AAMAS Paul E. Dunne, Michael J. Wooldridge
2011	J	`jnl`	An Ontology for Coordination. Appl. Artif. Intell. Ben Lithgow Smith, Valentina Tamma, Michael J. Wooldridge
2011	A	`conf`	An abstract framework for reasoning about trust. AAMAS Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge
2011	C	`conf`	Automated analysis of weighted voting games. ICEC Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2011	—	`book`	Computational Aspects of Cooperative Game Theory Georgios Chalkiadakis, Edith Elkind, Michael J. Wooldridge
2011	—	`conf`	Computational Aspects of Cooperative Game Theory. KES-AMSTA Michael J. Wooldridge
2011	A*	`conf`	Constrained Coalition Formation. AAAI Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael J. Wooldridge, Nicholas R. Jennings
2011	A	`conf`	Decomposing constraint systems: equivalences and computational properties. AAMAS Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge
2011	A	`conf`	Designing incentives for Boolean games. AAMAS Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael J. Wooldridge
2011	A*	`conf`	Incentive Engineering for Boolean Games. IJCAI Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael J. Wooldridge
2011	—	`conf`	Knowledge and Action in Semi-public Environments. LORI Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge
2011	A	`conf`	Knowledge and control. AAMAS Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge
2011	A*	`conf`	Manipulating Boolean Games through Communication. IJCAI John Grant, Sarit Kraus, Michael J. Wooldridge, Inon Zuckerman
2011	J	`jnl`	Multi-Issue Negotiation with Deadlines CoRR S. Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge
2011	A	`conf`	On optimal agendas for package deal negotiation. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2011	J	`jnl`	On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language CoRR Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael J. Wooldridge
2011	J	`jnl`	On the logic of preference and judgment aggregation. Auton. Agents Multi Agent Syst. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2011	—	`conf`	Playing Games with Games. SCAI Michael J. Wooldridge
2011	J	`jnl`	Reasoning About Social Choice Functions. J. Philos. Log. Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2011	J	`jnl`	Reasoning about Social Choice Functions CoRR Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2011	A	`conf`	Scientia potentia est. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2011	J	`jnl`	Weighted argument systems: Basic definitions, algorithms, and complexity results. Artif. Intell. Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael J. Wooldridge
2010	A	`conf`	A distributed algorithm for anytime coalition structure generation. AAMAS Tomasz P. Michalak, Jacek Sroka, Talal Rahwan, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings
2010	A	`conf`	A logic-based representation for coalitional games with externalities. AAMAS Tomasz P. Michalak, Dorota Marciniak, Marcin Szamotulski, Talal Rahwan, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings
2010	J	`jnl`	A supply chain as a network of auctions. Decis. Support Syst. Thierry Moyaux, Peter McBurney, Michael J. Wooldridge
2010	A	`conf`	Combinatorial auctions with externalities. AAMAS Piotr Krysta, Tomasz P. Michalak, Tuomas Sandholm, Michael J. Wooldridge
2010	A	`ed.`	ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings ECAI Helder Coelho, Rudi Studer, Michael J. Wooldridge
2010	J	`jnl`	Evaluation of scalable multi-agent system architectures for searching the Semantic Web. Int. J. Metadata Semant. Ontologies Ian Blacoe, Valentina Tamma, Michael J. Wooldridge
2010	A*	`conf`	Intentions in Equilibrium. AAAI John Grant, Sarit Kraus, Michael J. Wooldridge
2010	A	`conf`	Optimal social laws. AAMAS Thomas Ågotnes, Michael J. Wooldridge
2010	J	`jnl`	Postulates for revising BDI structures. Synth. John Grant, Sarit Kraus, Donald Perlis, Michael J. Wooldridge
2010	B	`conf`	Proof Systems and Transformation Games. MFCS Yoram Bachrach, Michael Zuckerman, Michael J. Wooldridge, Jeffrey S. Rosenschein
2010	J	`jnl`	Reasoning About the Transfer of Control. J. Artif. Intell. Res. Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
2010	J	`jnl`	Robust normative systems and a logic of norm compliance. Log. J. IGPL Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2010	J	`jnl`	Sequential auctions for common value objects with budget constrained bidders. Multiagent Grid Syst. S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2010	J	`jnl`	Solving coalitional resource games. Artif. Intell. Paul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael J. Wooldridge
2009	—	`ch.`	A Framework for Dynamic Agent Organizations. Handbook of Research on Multi-Agent Systems Shaheen Fatima, Michael J. Wooldridge
2009	—	`ch.`	A Temporal Logic of Normative Systems. Towards Mathematical Philosophy Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2009	J	`jnl`	A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. Math. Log. Q. Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge
2009	—	`conf`	A logic of games and propositional control. AAMAS (2) Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2009	B	`conf`	A logic of propositional control for truthful implementations. TARK Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2009	—	`book`	An Introduction to MultiAgent Systems, Second Edition. Michael J. Wooldridge
2009	—	`conf`	An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. AAMAS (2) S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2009	—	`conf`	Boolean combinations of weighted voting games. AAMAS (1) Piotr Faliszewski, Edith Elkind, Michael J. Wooldridge
2009	A*	`conf`	Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities. IJCAI Talal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings, Michael J. Wooldridge, Peter McBurney
2009	—	`ch.`	Complexity of Abstract Argumentation. Argumentation in Artificial Intelligence Paul E. Dunne, Michael J. Wooldridge
2009	J	`jnl`	Exogenous coalition formation in the e-marketplace based on geographical proximity. Electron. Commer. Res. Appl. Tomasz P. Michalak, Joanna Tyrowicz, Peter McBurney, Michael J. Wooldridge
2009	—	`conf`	Hedonic coalition nets. AAMAS (1) Edith Elkind, Michael J. Wooldridge
2009	—	`conf`	Inconsistency tolerance in weighted argument systems. AAMAS (2) Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael J. Wooldridge
2009	J	`jnl`	Logics for Qualitative Coalitional Games. Log. J. IGPL Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	—	`ed.`	Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers MoChArt Doron A. Peled, Michael J. Wooldridge
2009	J	`jnl`	Multi-Modal CTL: Completeness, Complexity, and an Application. Stud Logica Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2009	A*	`conf`	On representing coalitional games with externalities. EC Tomasz P. Michalak, Talal Rahwan, Jacek Sroka, Andrew James Dowell, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings
2009	J	`jnl`	On the computational complexity of weighted voting games. Ann. Math. Artif. Intell. Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge
2009	—	`conf`	Power in normative systems. AAMAS (1) Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge
2009	J	`jnl`	Property-based Slicing for Agent Verification. J. Log. Comput. Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge, Willem Visser
2009	J	`jnl`	Reasoning about coalitional games. Artif. Intell. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	—	`conf`	Robust Normative Systems. Normative Multi-Agent Systems Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	—	`ch.`	Uncertain Agent Verification through Probabilistic Model-Checking. Safety and Security in Multiagent Systems Paolo Ballarini, Michael Fisher, Michael J. Wooldridge
2009	J	`jnl`	Verification of Games in the Game Description Language. J. Log. Comput. Ji Ruan, Wiebe van der Hoek, Michael J. Wooldridge
2008	J	`jnl`	A linear approximation method for the Shapley value. Artif. Intell. S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2008	—	`conf`	A tractable and expressive class of marginal contribution nets and its applications. AAMAS (2) Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge
2008	—	`conf`	An anytime approximation method for the inverse Shapley value problem. AAMAS (2) S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2008	—	`conf`	Cooperative Boolean games. AAMAS (2) Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael J. Wooldridge
2008	—	`conf`	Evaluation of election outcomes under uncertainty. AAMAS (2) Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael J. Wooldridge
2008	J	`jnl`	How Inappropriately Heavyweight AI Solutions Dragged Down A Startup (and Made Me Realize that Industrial Salaries Are High for a Good Reason). AI Mag. Michael J. Wooldridge
2008	—	`conf`	Logic for Automated Mechanism Design and Analysis. MATES Michael J. Wooldridge
2008	—	`conf`	Model Checking Strategic Equilibria. MoChArt Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`ch.`	Multi-Agent Systems. Handbook of Knowledge Representation Wiebe van der Hoek, Michael J. Wooldridge
2008	J	`jnl`	Negotiation among autonomous computational agents: principles, analysis and challenges. Artif. Intell. Rev. Fernando Lopes, Michael J. Wooldridge, Augusto Q. Novais
2008	A*	`conf`	On the Dimensionality of Voting Games. AAAI Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge
2008	A	`conf`	Optimal Coalition Structure Generation In Partition Function Games. ECAI Tomasz P. Michalak, Andrew James Dowell, Peter McBurney, Michael J. Wooldridge
2008	—	`conf`	Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms. KRAMAS Tomasz P. Michalak, Andrew James Dowell, Peter McBurney, Michael J. Wooldridge
2008	J	`jnl`	Quantified coalition logic. Synth. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`conf`	Quantifying over coalitions in epistemic logic. AAMAS (2) Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`conf`	Robust normative systems. AAMAS (2) Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	—	`conf`	A Common Semantic Basis for BDI Languages. PROMAS Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge
2007	J	`jnl`	A Framework for Web service negotiation. ACM Trans. Auton. Adapt. Syst. Shamimabi Paurobally, Valentina Tamma, Michael J. Wooldridge
2007	J	`jnl`	A logical characterisation of qualitative coalitional games. J. Appl. Non Class. Logics Paul E. Dunne, Wiebe van der Hoek, Michael J. Wooldridge
2007	A	`conf`	A randomized method for the shapley value for the voting game. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2007	B	`conf`	Alternating-time temporal logic with explicit strategies. TARK Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge
2007	A	`conf`	Approximate and online multi-issue negotiation. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2007	—	`conf`	Completeness and Complexity of Multi-modal CTL. M4M Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	A*	`conf`	Computational Complexity of Weighted Threshold Games. AAAI Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge
2007	—	`conf`	Forming Fuzzy Coalitions in Cooperative Superadditive Games. ICEBE Minghua He, Xudong Luo, Nicholas R. Jennings, Michael J. Wooldridge
2007	—	`conf`	Joint Conversation Specification and Compliance. DALT Shamimabi Paurobally, Michael J. Wooldridge
2007	A	`conf`	Joint conversation specification and compliance. AAMAS Shamimabi Paurobally, Michael J. Wooldridge
2007	A*	`conf`	Logic for Automated Mechanism Design - A Progress Report. AAAI Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek
2007	J	`jnl`	Logic-Based Agent Verification. J. Appl. Log. Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael J. Wooldridge
2007	A	`conf`	Normative system games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	J	`jnl`	On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, Rafael H. Bordini
2007	—	`conf`	On the Logic of Normative Systems. Normative Multi-agent Systems Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2007	A*	`conf`	On the Logic of Normative Systems. IJCAI Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2007	—	`conf`	On the Relevance of Utterances in Formal Inter-agent Dialogues. ArgMAS Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael J. Wooldridge
2007	A	`conf`	On the relevance of utterances in formal inter-agent dialogues. AAMAS Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael J. Wooldridge
2007	A*	`conf`	Quantified Coalition Logic. IJCAI Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	A	`conf`	Reasoning about judgment and preference aggregation. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	—	`conf`	Sequential Auctions in Uncertain Information Settings. AMEC/TADA S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2007	J	`jnl`	Social laws in alternating time: effectiveness, feasibility, and synthesis. Synth. Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge
2007	J	`jnl`	Towards a theory of intention revision. Synth. Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge
2007	A	`conf`	Web services negotiation in an insurance grid. AAMAS Shamimabi Paurobally, Chris van Aart, Valentina Tamma, Michael J. Wooldridge, Peter van Hapert
2006	J	`jnl`	ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. Dirk Walther, Carsten Lutz, Frank Wolter, Michael J. Wooldridge
2006	J	`jnl`	Foreword. Synth. Sieuwert van Otterloo, Michael J. Wooldridge, Peter McBurney
2006	J	`jnl`	Knowledge Condition Games. J. Log. Lang. Inf. Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge
2006	J	`jnl`	Model Checking for Multiagent Systems: the Mable Language and its Applications. Int. J. Artif. Intell. Tools Michael J. Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons
2006	J	`jnl`	Multi-Issue Negotiation with Deadlines. J. Artif. Intell. Res. S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2006	—	`conf`	On Efficient Procedures for Multi-issue Negotiation. TADA/AMEC S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2006	A*	`conf`	On the Complexity of Linking Deductive and Abstract Argument Systems. AAAI Michael J. Wooldridge, Paul E. Dunne, Simon Parsons
2006	A	`conf`	On the complexity of practical ATL model checking. AAMAS Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge
2006	J	`jnl`	On the computational complexity of coalitional resource games. Artif. Intell. Michael J. Wooldridge, Paul E. Dunne
2006	A	`conf`	On the logic of coalitional games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2006	A	`conf`	Plan patterns for declarative goals in AgentSpeak. AAMAS Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge
2006	—	`ed.`	Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2006	—	`conf`	Programming Declarative Goals Using Plan Patterns. DALT Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge
2006	A	`conf`	Reasoning about action and cooperation. AAMAS Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael J. Wooldridge
2006	J	`jnl`	Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems. AI Mag. Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael J. Wooldridge
2006	A	`conf`	Temporal qualitative coalitional games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2006	J	`jnl`	Verifying Multi-agent Programs by Model Checking. Auton. Agents Multi Agent Syst. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2005	A	`ed.`	4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands AAMAS Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael J. Wooldridge
2005	J	`jnl`	A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. Artif. Intell. Rev. S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2005	—	`conf`	A Model for Multi-issue Negotiation. IICAI S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2005	A	`conf`	A logic for strategic reasoning. AAMAS Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge
2005	—	`conf`	An Analysis of Sequential Auctions for Common and Private Value Objects. AMEC@AAMAS/TADA@IJCAI Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2005	—	`conf`	An Analysis of the Shapley Value and Its Uncertainty for the Voting Game. AMEC@AAMAS/TADA@IJCAI Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2005	Misc	`conf`	An Ontological Framework for Dynamic Coordination. ISWC Valentina Tamma, Chris van Aart, Thierry Moyaux, Shamimabi Paurobally, Ben Lithgow Smith, Michael J. Wooldridge
2005	C	`conf`	An analysis of the Shapley Value and its Uncertainty for the Voting Game. EUMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2005	A	`conf`	An analysis of the shapley value and its uncertainty for the voting game. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2005	—	`conf`	Automated Game Analysis via Probabilistic Model Checking: a case study. MoChArt@CONCUR/SPIN Paolo Ballarini, Michael Fisher, Michael J. Wooldridge
2005	J	`jnl`	Bargaining with incomplete information. Ann. Math. Artif. Intell. S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2005	J	`jnl`	Guest Editorial. Eng. Appl. Artif. Intell. Gerhard Weiß, Michael J. Wooldridge
2005	Misc	`conf`	Intentions and Strategies in Game-Like Scenarios. EPIA Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge
2005	Misc	`conf`	Introducing Autonomic Behaviour in Semantic Web Agents. ISWC Valentina Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge
2005	A	`conf`	Knowledge and social laws. AAMAS Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge
2005	A	`conf`	Law-governed Linda as a semantics for agent dialogue protocols. AAMAS Sylvie Doutre, Peter McBurney, Michael J. Wooldridge
2005	—	`conf`	MAGENTA technology: multi-agent systems for industrial logistics. AAMAS Industrial Applications Jonathan Himoff, Petr Skobelev, Michael J. Wooldridge
2005	J	`jnl`	On obligations and normative ability: Towards a logical analysis of the social contract. J. Appl. Log. Michael J. Wooldridge, Wiebe van der Hoek
2005	—	`conf`	On the Meta-logic of Arguments. ArgMAS Michael J. Wooldridge, Peter McBurney, Simon Parsons
2005	A	`conf`	On the dynamics of delegation, cooperation, and control: a logical account. AAMAS Wiebe van der Hoek, Michael J. Wooldridge
2005	J	`jnl`	On the logic of cooperation and propositional control. Artif. Intell. Wiebe van der Hoek, Michael J. Wooldridge
2005	A	`conf`	On the meta-logic of arguments. AAMAS Michael J. Wooldridge, Peter McBurney, Simon Parsons
2005	J	`jnl`	Ontologies for supporting negotiation in e-commerce. Eng. Appl. Artif. Intell. Valentina Tamma, Steve Phelps, Ian Dickinson, Michael J. Wooldridge
2005	—	`conf`	Preface. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2005	A	`conf`	Sequential auctions for objects with common and private values. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2005	—	`ch.`	Temporal Reasoning in Agent-Based Systems. Handbook of Temporal Reasoning in Artificial Intelligence Michael Fisher, Michael J. Wooldridge
2005	J	`jnl`	The complexity of agent design problems: Determinism and history dependence. Ann. Math. Artif. Intell. Michael J. Wooldridge, Paul E. Dunne
2005	J	`jnl`	The complexity of contract negotiation. Artif. Intell. Paul E. Dunne, Michael J. Wooldridge, Michael Laurence
2004	—	`ed.`	1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	J	`jnl`	An agenda-based framework for multi-issue negotiation. Artif. Intell. S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2004	J	`jnl`	Model Checking A Knowledge Exchange Scenario. Appl. Artif. Intell. Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge
2004	J	`jnl`	Model Checking Rational Agents. IEEE Intell. Syst. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2004	—	`conf`	On Obligations and Abilities. DEON Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge
2004	J	`jnl`	On the computational complexity of qualitative coalitional games. Artif. Intell. Michael J. Wooldridge, Paul E. Dunne
2004	A	`conf`	Optimal Negotiation of Multiple Issues in Incomplete Information Settings. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2004	—	`conf`	Preface. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	A	`conf`	Preferences in Game Logics. AAMAS Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge
2004	—	`ed.`	Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	J	`jnl`	Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. Ann. Math. Artif. Intell. Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael J. Wooldridge
2004	J	`jnl`	Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems. AI Mag. Jeffrey S. Rosenschein, Michael J. Wooldridge
2004	A	`conf`	Revenue Maximising Agendas for Sequential English Auctions. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2004	B	`conf`	SERSE: Searching for Digital Content in Esperonto. EKAW Valentina Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge
2004	A	`conf`	SERSE: Searching for Semantic Web Content. ECAI Valentina Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge
2004	J	`jnl`	Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7. Auton. Agents Multi Agent Syst. Michael J. Wooldridge
2004	—	`conf`	Social Laws in Alternating Time. DEON Michael J. Wooldridge
2004	—	`conf`	Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. ArgMAS Simon Parsons, Peter McBurney, Michael J. Wooldridge
2004	A	`conf`	State-Space Reduction Techniques in Agent Verification. AAMAS Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2004	J	`jnl`	The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Auton. Agents Multi Agent Syst. Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael J. Wooldridge
2004	J	`jnl`	The theory and practice of intention reconsideration. J. Exp. Theor. Artif. Intell. Martijn C. Schut, Michael J. Wooldridge, Simon Parsons
2004	J	`jnl`	Toward Open Negotiation. IEEE Internet Comput. Steve Phelps, Valentina Tamma, Michael J. Wooldridge, Ian Dickinson
2004	A	`conf`	Tractability Results for Automatic Contracting. ECAI Paul E. Dunne, Michael Laurence, Michael J. Wooldridge
2003	A	`conf`	A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns. AAMAS Christos Stergiou, Geert Arys, Michael J. Wooldridge
2003	—	`conf`	An initial response to the OAS'03 challenge problem. OAS Ian Dickinson, Michael J. Wooldridge
2003	J	`jnl`	Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Stud Logica Wiebe van der Hoek, Michael J. Wooldridge
2003	J	`jnl`	Developing multiagent systems: The Gaia methodology. ACM Trans. Softw. Eng. Methodol. Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
2003	J	`jnl`	Editorial. Log. J. IGPL Wiebe van der Hoek, Michael J. Wooldridge
2003	J	`jnl`	In Appreciation. Auton. Agents Multi Agent Syst. Katia P. Sycara, Michael J. Wooldridge
2003	—	`conf`	Knowledge as Strategic Ability. LCMAS Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge
2003	A*	`conf`	Model Checking Multi-Agent Programs with CASP. CAV Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge
2003	—	`conf`	Model Checking for ACL Compliance Verification. Workshop on Agent Communication Languages Marc-Philippe Huget, Michael J. Wooldridge
2003	A	`conf`	Model checking agentspeak. AAMAS Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
2003	A	`conf`	Model checking for ACL compliance verification. AAMAS Marc-Philippe Huget, Michael J. Wooldridge
2003	A	`conf`	On the outcomes of formal inter-agent dialogues. AAMAS Simon Parsons, Michael J. Wooldridge, Leila Amgoud
2003	A	`conf`	Optimal agendas for multi-issue negotiation. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2003	J	`jnl`	Preface. Stud Logica Wiebe van der Hoek, Michael J. Wooldridge
2003	—	`conf`	Preface: Volume 85, Issue 2. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2003	J	`jnl`	Properties and Complexity of Some Formal Inter-agent Dialogues. J. Log. Comput. Simon Parsons, Michael J. Wooldridge, Leila Amgoud
2003	—	`conf`	The Mechanics of Some Formal Inter-agent Dialogues. Workshop on Agent Communication Languages Simon Parsons, Peter McBurney, Michael J. Wooldridge
2003	J	`jnl`	Towards a Logic of Rational Agency. Log. J. IGPL Wiebe van der Hoek, Michael J. Wooldridge
2003	A	`conf`	Towards practical reasoning agents for the semantic web. AAMAS Ian Dickinson, Michael J. Wooldridge
2003	—	`conf`	Verifiable Multi-agent Programs. PROMAS Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2002	—	`ed.`	Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions AOSE Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini
2002	—	`conf`	An Ontology Based Approach to Automated Negotiation. AMEC Valentina Tamma, Michael J. Wooldridge, Ian Blacoe, Ian Dickinson
2002	A	`conf`	An analysis of formal inter-agent dialogues. AAMAS Simon Parsons, Michael J. Wooldridge, Leila Amgoud
2002	A	`conf`	Desiderata for agent argumentation protocols. AAMAS Peter McBurney, Simon Parsons, Michael J. Wooldridge
2002	J	`jnl`	Game Theory and Decision Theory in Multi-Agent Systems. Auton. Agents Multi Agent Syst. Simon Parsons, Michael J. Wooldridge
2002	—	`book`	Introduction to multiagent systems. Michael J. Wooldridge
2002	—	`conf`	Model Checking Knowledge and Time. SPIN Wiebe van der Hoek, Michael J. Wooldridge
2002	A	`conf`	Model checking multi-agent systems with MABLE. AAMAS Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
2002	A	`conf`	Multi-issue negotiation under time constraints. AAMAS S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2002	—	`conf`	On Partially Observable MDPs and BDI Models. Foundations and Applications of Multi-Agent Systems Martijn C. Schut, Michael J. Wooldridge, Simon Parsons
2002	—	`conf`	Re-use of Interaction Protocols for Agent-Based Control Applications. AOSE Stefan Bussmann, Nicholas R. Jennings, Michael J. Wooldridge
2002	—	`conf`	The Influence of Information on Negotiation Equilibrium. AMEC S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2002	A	`conf`	The computational complexity of boolean and stochastic agent design problems. AAMAS Paul E. Dunne, Michael J. Wooldridge, Michael Laurence
2002	C	`conf`	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION Michael J. Wooldridge, Wiebe van der Hoek
2002	Misc	`conf`	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. KI Michael J. Wooldridge
2002	A	`conf`	Tractable multiagent planning for epistemic goals. AAMAS Wiebe van der Hoek, Michael J. Wooldridge
2001	—	`conf`	A Classification Scheme for Negotiation in Electronic Commerce. AgentLink Alessio Lomuscio, Michael J. Wooldridge, Nicholas R. Jennings
2001	J	`jnl`	A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Log. J. IGPL Michael J. Wooldridge, Alessio Lomuscio
2001	—	`conf`	A Lifecycle for Models of Large Multi-agent Systems. AOSE Wamberto Weber Vasconcelos, David Stuart Robertson, Jaume Agustí-Cullell, Carles Sierra, Michael J. Wooldridge, Simon Parsons, Christopher Walton, Jordi Sabater
2001	—	`conf`	Adaptive task resources allocation in multi-agent systems. Agents S. Shaheen Fatima, Michael J. Wooldridge
2001	J	`jnl`	Agent-Based Software Engineering - Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. Paolo Ciancarini, Michael J. Wooldridge
2001	—	`ch.`	Agent-Oriented Software Engineering for Internet Applications. Coordination of Internet Agents: Models, Technologies, and Applications Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
2001	—	`ed.`	Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers AOSE Paolo Ciancarini, Michael J. Wooldridge
2001	—	`conf`	Intelligent Agents: The Key Concepts. Multi-Agent-Systems and Applications Michael J. Wooldridge
2001	—	`conf`	Optimal Negotiation Strategies for Agents with Incomplete Information. ATAL S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings
2001	J	`jnl`	Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems. Int. J. Softw. Eng. Knowl. Eng. Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
2001	—	`conf`	Principles of intention reconsideration. Agents Martijn C. Schut, Michael J. Wooldridge
2001	C	`conf`	Reasoning about Intentions in Uncertain Domains. ECSQARU Martijn C. Schut, Michael J. Wooldridge, Simon Parsons
2001	—	`conf`	The Computational Complexity of Agent Verification. ATAL Michael J. Wooldridge, Paul E. Dunne
2001	J	`jnl`	The control of reasoning in resource-bounded agents. Knowl. Eng. Rev. Martijn C. Schut, Michael J. Wooldridge
2000	—	`conf`	Agent-Oriented Software Engineering: The State of the Art. AOSE Michael J. Wooldridge, Paolo Ciancarini
2000	A*	`conf`	Agent-oriented software engineering (workshop). ICSE Paolo Ciancarini, Michael J. Wooldridge
2000	J	`jnl`	Agents on the Web: Agent Research and Development in Europe. IEEE Internet Comput. Carles Sierra, Michael J. Wooldridge, Norman M. Sadeh
2000	—	`conf`	Computationally Grounded Theories of Agency. ICMAS Michael J. Wooldridge
2000	J	`jnl`	Guest Editors' Introduction: Infrastructure, Technology, Applications. IEEE Internet Comput. Michael J. Wooldridge, Keith Decker
2000	A	`conf`	Intention Reconsideration in Theory and Practice. ECAI Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael J. Wooldridge
2000	—	`conf`	Intention reconsideration in complex environments. Agents Martijn C. Schut, Michael J. Wooldridge
2000	—	`conf`	Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages. AMEC Michael J. Wooldridge, Simon Parsons
2000	A	`conf`	Languages for Negotiation. ECAI Michael J. Wooldridge, Simon Parsons
2000	B	`conf`	Multi-agent VSK Logic. JELIA Michael J. Wooldridge, Alessio Lomuscio
2000	—	`conf`	On the Identification of Agents in the Design of Production Control Systems. AOSE Stefan Bussmann, Nicholas R. Jennings, Michael J. Wooldridge
2000	J	`jnl`	On the Sources of Complexity in Agent Design. Appl. Artif. Intell. Michael J. Wooldridge
2000	—	`conf`	Optimistic and Disjunctive Agent Design Problems. ATAL Michael J. Wooldridge, Paul E. Dunne
2000	—	`conf`	Organizational Abstractions for the Analysis and Design of Multi-agent Systems. AOSE Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
2000	—	`conf`	Panel Summary: Agent Development Tools. ATAL Joanna Bryson, Keith S. Decker, Scott A. DeLoach, Michael N. Huhns, Michael J. Wooldridge
2000	—	`book`	Reasoning about rational agents. Michael J. Wooldridge
2000	J	`jnl`	Semantic Issues in the Verification of Agent Communication Languages. Auton. Agents Multi Agent Syst. Michael J. Wooldridge
2000	—	`conf`	The Computational Complexity of Agent Design Problems. ICMAS Michael J. Wooldridge
2000	J	`jnl`	The Gaia Methodology for Agent-Oriented Analysis and Design. Auton. Agents Multi Agent Syst. Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
1999	—	`conf`	A Methodology for Agent-Oriented Analysis and Design. Agents Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
1999	—	`conf`	Agent-Oriented Software Engineering. ATAL Stefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael J. Wooldridge
1999	—	`book`	Artificial Intelligence Today: Recent Trends and Developments Michael J. Wooldridge, Manuela M. Veloso
1999	J	`jnl`	Diversity and agent technology. Knowl. Eng. Rev. Michael J. Wooldridge
1999	J	`jnl`	Editorial. Auton. Agents Multi Agent Syst. Michael J. Wooldridge
1999	J	`jnl`	Making money from agents. Knowl. Eng. Rev. Dave Cliff, Jörg P. Müller, Divine T. Ndumu, Chris Preist, Michael J. Wooldridge
1999	—	`conf`	Reasoning about Visibility, Perception and Knowledge. ATAL Michael J. Wooldridge, Alessio Lomuscio
1999	—	`ch.`	Robots with the Best of Intentions. Artificial Intelligence Today Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael J. Wooldridge
1999	J	`jnl`	Software Engineering with Agents: Pitfalls and Pratfalls. IEEE Internet Comput. Michael J. Wooldridge, Nicholas R. Jennings
1999	J	`jnl`	The Cooperative Problem-solving Process. J. Log. Comput. Michael J. Wooldridge, Nicholas R. Jennings
1999	—	`conf`	Verifying that Agents Implement a Communication Language. AAAI/IAAI Michael J. Wooldridge
1998	—	`conf`	A Classification Schema to Volumes 1 to 5 of the ATAL Michael J. Wooldridge, Jörg P. Müller
1998	A	`conf`	A Knowledge-theoretic Approach to Distributed Problem Solving. ECAI Michael J. Wooldridge
1998	J	`jnl`	A Roadmap of Agent Research and Development. Auton. Agents Multi Agent Syst. Nicholas R. Jennings, Katia P. Sycara, Michael J. Wooldridge
1998	J	`jnl`	A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. J. Appl. Non Class. Logics Michael J. Wooldridge, Clare Dixon, Michael Fisher
1998	J	`jnl`	Editorial. J. Log. Comput. Nicholas R. Jennings, Michael J. Wooldridge, Fausto Giunchiglia
1998	—	`ed.`	Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings ATAL Munindar P. Singh, Anand S. Rao, Michael J. Wooldridge
1998	—	`conf`	Intention Reconsideration Reconsidered. ATAL Michael J. Wooldridge, Simon Parsons
1998	—	`conf`	Pitfalls of Agent-Oriented Development. Agents Michael J. Wooldridge, Nicholas R. Jennings
1998	—	`ed.`	Proceedings of the Second International Conference on Autonomous Agents, AGENTS 1998, St. Paul, Minnepolis, USA, May 9-13, 1998 AGENTS Katia P. Sycara, Michael J. Wooldridge
1998	J	`jnl`	Rationality in Multi-Agent Systems. Knowl. Eng. Rev. Ken Binmore, Cristiano Castelfranchi, James Doran, Michael J. Wooldridge
1998	J	`jnl`	Resolution for Temporal Logics of Knowledge. J. Log. Comput. Clare Dixon, Michael Fisher, Michael J. Wooldridge
1998	—	`conf`	The Belief-Desire-Intention Model of Agency. ATAL Michael P. Georgeff, Barney Pell, Martha E. Pollack, Milind Tambe, Michael J. Wooldridge
1998	—	`conf`	Verifiable Semantics for Agent Communication Languages. ICMAS Michael J. Wooldridge
1997	—	`conf`	A Formal Specification of dMARS. ATAL Mark d'Inverno, David Kinny, Michael Luck, Michael J. Wooldridge
1997	C	`conf`	Agent-Based Digital Libraries: Driving the Information Economy. WETICE David Derbyshire, Innes A. Ferguson, Jörg P. Müller, Markus Pischel, Michael J. Wooldridge
1997	J	`jnl`	Agent-based software engineering. IEE Proc. Softw. Eng. Michael J. Wooldridge
1997	—	`conf`	Cooperation Structures. IJCAI (1) Mark d'Inverno, Michael Luck, Michael J. Wooldridge
1997	—	`conf`	Distributed Problem-Solving as Concurrent Theorem Proving. MAAMAW Michael Fisher, Michael J. Wooldridge
1997	J	`jnl`	Formalisms for multi-agent systems. Knowl. Eng. Rev. Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael J. Wooldridge
1997	—	`ed.`	Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings ATAL Jörg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings
1997	—	`conf`	Issues in Agent-Based Software Engineering. CIA Michael J. Wooldridge
1997	—	`conf`	Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Michael J. Wooldridge, Afsaneh Haddadi
1997	J	`jnl`	On the Formal Specification and Verification of Multi-Agent Systems. Int. J. Cooperative Inf. Syst. Michael Fisher, Michael J. Wooldridge
1997	J	`jnl`	Paying Their Way: Commercial Digital Libraries for the 21st Century. D Lib Mag. Innes A. Ferguson, Michael J. Wooldridge
1997	—	`conf`	Sofware Agent Technologies. Software Agents and Soft Computing Hyacinth S. Nwana, Michael J. Wooldridge
1996	—	`conf`	A Knowledge-Theoretic Semantics for Concurrent METATEM. ATAL Michael J. Wooldridge
1996	—	`conf`	A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR Michael Fisher, Michael J. Wooldridge, Clare Dixon
1996	—	`conf`	Agents as a Rorschach Test: A Response to Franklin and Graesser. ATAL Michael J. Wooldridge
1996	—	`ed.`	Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings ATAL Michael J. Wooldridge, Jörg P. Müller, Milind Tambe
1996	—	`conf`	Practical Reasoning with Procedural Knowledge. FAPR Michael J. Wooldridge
1996	—	`conf`	Production Sequencing as Negotiation. PAAM Michael J. Wooldridge, Stefan Bussmann, Marcus Klosterberg
1995	—	`conf`	Agent Theories, Architectures, and Languages: A Bibliography. ATAL Michael J. Wooldridge, Jörg P. Müller, Milind Tambe
1995	J	`jnl`	Applying agent technology. Appl. Artif. Intell. Nicholas R. Jennings, Michael J. Wooldridge
1995	—	`ed.`	Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings ECAI Workshop on Agent Theories, Architectures, and Languages Michael J. Wooldridge, Nicholas R. Jennings
1995	J	`jnl`	Intelligent agents: theory and practice. Knowl. Eng. Rev. Michael J. Wooldridge, Nicholas R. Jennings
1995	—	`conf`	Time, Knowledge, and Choice. ATAL Michael J. Wooldridge
1995	—	`conf`	Understanding the Emergence of Conventions in Multi-Agent Systems. ICMAS Adam Walker, Michael J. Wooldridge
1994	—	`conf`	A Decision Procedure for a Temporal Belief Logic. ICTL Michael J. Wooldridge, Michael Fisher
1994	—	`conf`	Agent Theories, Architectures, and Languages: A Survey. ECAI Workshop on Agent Theories, Architectures, and Languages Michael J. Wooldridge, Nicholas R. Jennings
1994	A	`conf`	Coherent Social Action. ECAI Michael J. Wooldridge
1994	—	`conf`	This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed. ECAI Workshop on Agent Theories, Architectures, and Languages Michael J. Wooldridge
1994	—	`conf`	Towards a Theory of Cooperative Problem Solving. MAAMAW Michael J. Wooldridge, Nicholas R. Jennings
1993	Misc	`conf`	Specifying and Verifying Distributed Intelligence Systems. EPIA Michael Fisher, Michael J. Wooldridge
1992	A	`conf`	A First-Order Branching Time Logic of Multi-Agent System. ECAI Michael J. Wooldridge, Michael Fisher
1992	—	`—`	The logical modelling of computational multi-agent systems. Michael J. Wooldridge