default search action
Michael J. Wooldridge
Person information
- affiliation: University of Oxford, Department of Computer Science, UK
- affiliation: University of Liverpool, Department of Computer Science, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j166]Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge:
Learning to Resolve Social Dilemmas: A Survey. J. Artif. Intell. Res. 79: 895-969 (2024) - [j165]Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Raza Nazar, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge:
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. J. Artif. Intell. Res. 80: 1497-1523 (2024) - [c268]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about Causality in Games (Abstract Reprint). AAAI 2024: 22697 - [c267]Sureni Wickramasooriya, Imran Mahmood, Anisoara Calinescu, Michael J. Wooldridge, Gregory Lanzaro:
Exploring The Dynamics of Gene Drive Mosquitoes Within Wild Populations Using an Agent-Based Simulation. ANNSIM 2024: 1-14 - [c266]Ayush Chopra, Arnau Quera-Bofarull, Nurullah Giray Kuru, Michael J. Wooldridge, Ramesh Raskar:
Private Agent-Based Modeling. AAMAS 2024: 381-390 - [c265]Joel Dyer, Arnau Quera-Bofarull, Nicholas Bishop, J. Doyne Farmer, Anisoara Calinescu, Michael J. Wooldridge:
Population Synthesis as Scenario Generation for Simulation-based Planning under Uncertainty. AAMAS 2024: 490-498 - [c264]David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge:
Rational Verification with Quantitative Probabilistic Goals. AAMAS 2024: 871-879 - [c263]Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge:
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL 2024: 32:1-32:25 - [c262]Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. IJCAI 2024: 67-75 - [c261]Hao Zhou, Yongzhao Wang, Konstantinos Varsos, Nicholas Bishop, Rahul Savani, Anisoara Calinescu, Michael J. Wooldridge:
A Strategic Analysis of Prepayments in Financial Credit Networks. IJCAI 2024: 3040-3048 - [c260]Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge:
Learning to Resolve Social Dilemmas: A Survey (Abstract Reprint). IJCAI 2024: 8477 - [e16]Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan:
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 Press 2024 [contents] - [i52]Emanuele La Malfa, Christoph Weinhuber, Orazio Torre, Fangru Lin, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge:
Code Simulation Challenges for Large Language Models. CoRR abs/2401.09074 (2024) - [i51]Ayush Chopra, Arnau Quera-Bofarull, Nurullah Giray Kuru, Michael J. Wooldridge, Ramesh Raskar:
Private Agent-Based Modeling. CoRR abs/2404.12983 (2024) - [i50]Fabio Massimo Zennaro, Nicholas Bishop, Joel Dyer, Yorgos Felekis, Anisoara Calinescu, Michael J. Wooldridge, Theodoros Damoulas:
Causally Abstracted Multi-armed Bandits. CoRR abs/2404.17493 (2024) - [i49]Manuj Mishra, James Fox, Michael J. Wooldridge:
Characterising Interventions in Causal Games. CoRR abs/2406.09318 (2024) - [i48]X. Angelo Huang, Emanuele La Malfa, Samuele Marro, Andrea Asperti, Anthony G. Cohn, Michael J. Wooldridge:
A Notion of Complexity for Theory of Mind via Discrete World Models. CoRR abs/2406.11911 (2024) - [i47]Imran Mahmood, Nicholas Bishop, Anisoara Calinescu, Michael J. Wooldridge, Ioannis Zachos:
A multi-objective combinatorial optimisation framework for large scale hierarchical population synthesis. CoRR abs/2407.03180 (2024) - [i46]Laura Georgescu, James Fox, Anna Gautier, Michael J. Wooldridge:
Fixed-budget and Multiple-issue Quadratic Voting. CoRR abs/2409.06614 (2024) - 2023
- [j164]Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge:
Cooperative concurrent games. Artif. Intell. 314: 103806 (2023) - [j163]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about causality in games. Artif. Intell. 320: 103919 (2023) - [j162]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
On the complexity of rational verification. Ann. Math. Artif. Intell. 91(4): 409-430 (2023) - [j161]Arnau Quera-Bofarull, Joel Dyer, Anisoara Calinescu, J. Doyne Farmer, Michael J. Wooldridge:
BlackBIRDS: Black-Box Inference foR Differentiable Simulators. J. Open Source Softw. 8(90): 5776 (2023) - [j160]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:
Encoding Ethics to Compute Value-Aligned Norms. Minds Mach. 33(4): 761-790 (2023) - [j159]Dongge Han, Michael J. Wooldridge, Alex Rogers, Olga Ohrimenko, Sebastian Tschiatschek:
Replication Robust Payoff Allocation in Submodular Cooperative Games. IEEE Trans. Artif. Intell. 4(5): 1114-1128 (2023) - [c259]Anna Gautier, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge:
Multi-Unit Auctions for Allocating Chance-Constrained Resources. AAAI 2023: 11560-11568 - [c258]Anna Gautier, Marc Rigter, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge:
Risk-Constrained Planning for Multi-Agent Systems with Shared Resources. AAMAS 2023: 113-121 - [c257]Shaheen Fatima, Michael J. Wooldridge:
Optimal Coalition Structures for Probabilistically Monotone Partition Function Games. AAMAS 2023: 522-524 - [c256]Arnau Quera-Bofarull, Ayush Chopra, Joseph Aylett-Bullock, Carolina Cuesta-Lázaro, Anisoara Calinescu, Ramesh Raskar, Michael J. Wooldridge:
Don't Simulate Twice: One-Shot Sensitivity Analyses via Automatic Differentiation. AAMAS 2023: 1867-1876 - [c255]Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
k-Prize Weighted Voting Game. AAMAS 2023: 2049-2057 - [c254]Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge:
Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. ECAI 2023: 3-10 - [c253]Jonathan Shaki, Sarit Kraus, Michael J. Wooldridge:
Cognitive Effects in Large Language Models. ECAI 2023: 2105-2112 - [c252]Joel Dyer, Arnau Quera-Bofarull, Ayush Chopra, J. Doyne Farmer, Anisoara Calinescu, Michael J. Wooldridge:
Gradient-Assisted Calibration for Financial Agent-Based Models. ICAIF 2023: 288-296 - [c251]David Hyland, Julian Gutierrez, Michael J. Wooldridge:
Principal-Agent Boolean Games. IJCAI 2023: 144-152 - [c250]James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate, Michael J. Wooldridge:
On Imperfect Recall in Multi-Agent Influence Diagrams. TARK 2023: 201-220 - [c249]David Hyland, Julian Gutierrez, Michael J. Wooldridge:
Incentive Engineering for Concurrent Games. TARK 2023: 344-358 - [d1]Arnau Quera-Bofarull, Joel Dyer, Anisoara Calinescu, J. Doyne Farmer, Michael J. Wooldridge:
BlackBIRDS: Black-Box Inference foR Differentiable Simulators. Zenodo, 2023 - [i45]Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge:
Reasoning about Causality in Games. CoRR abs/2301.02324 (2023) - [i44]Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge:
Cooperative Concurrent Games. CoRR abs/2301.06157 (2023) - [i43]Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
k-Prize Weighted Voting Games. CoRR abs/2302.13888 (2023) - [i42]David Hyland, Julian Gutierrez, Michael J. Wooldridge:
Principal-Agent Boolean Games. CoRR abs/2305.10334 (2023) - [i41]Arnau Quera-Bofarull, Ayush Chopra, Anisoara Calinescu, Michael J. Wooldridge, Joel Dyer:
Bayesian calibration of differentiable agent-based models. CoRR abs/2305.15340 (2023) - [i40]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. CoRR abs/2306.03045 (2023) - [i39]Arnau Quera-Bofarull, Joel Dyer, Anisoara Calinescu, Michael J. Wooldridge:
Some challenges of calibrating differentiable agent-based models. CoRR abs/2307.01085 (2023) - [i38]Jonathan Shaki, Sarit Kraus, Michael J. Wooldridge:
Cognitive Effects in Large Language Models. CoRR abs/2308.14337 (2023) - [i37]Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge:
The ARRT of Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. CoRR abs/2309.16573 (2023) - [i36]Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge:
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). CoRR abs/2311.15883 (2023) - [i35]Joel Dyer, Nicholas Bishop, Yorgos Felekis, Fabio Massimo Zennaro, Anisoara Calinescu, Theodoros Damoulas, Michael J. Wooldridge:
Interventionally Consistent Surrogates for Agent-based Simulators. CoRR abs/2312.11158 (2023) - 2022
- [j158]Shaheen Fatima, Michael J. Wooldridge:
Optimal coalition structures for probabilistically monotone partition function games. Auton. Agents Multi Agent Syst. 36(1): 27 (2022) - [j157]Jiarui Gan, Edith Elkind, Sarit Kraus, Michael J. Wooldridge:
Defense coordination in security games: Equilibrium analysis and mechanism design. Artif. Intell. 313: 103791 (2022) - [j156]Stefano V. Albrecht, Michael J. Wooldridge:
Multi-agent systems research in the United Kingdom. AI Commun. 35(4): 269-270 (2022) - [j155]Anna Gautier, Michael J. Wooldridge:
Understanding Mechanism Design - Part 3 of 3: Mechanism Design in the Real World: The VCG Mechanism. IEEE Intell. Syst. 37(1): 108-109 (2022) - [j154]Michael J. Wooldridge:
Welcome to Big AI. IEEE Intell. Syst. 37(3): 24-26 (2022) - [j153]Valeria Zahoransky, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Partial Order Games. Games 13(1): 2 (2022) - [j152]Julian Gutierrez, Thomas Steeples, Michael J. Wooldridge:
Mean-Payoff Games with ω-Regular Specifications. Games 13(1): 19 (2022) - [j151]Marcin Waniek, Tomasz P. Michalak, Michael J. Wooldridge, Talal Rahwan:
How Members of Covert Networks Conceal the Identities of Their Leaders. ACM Trans. Intell. Syst. Technol. 13(1): 12:1-12:29 (2022) - [c248]Anna Gautier, Alex Stephens, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge:
Negotiated Path Planning for Non-Cooperative Multi-Robot Systems. AAMAS 2022: 472-480 - [c247]Dongge Han, Chris Xiaoxuan Lu, Tomasz P. Michalak, Michael J. Wooldridge:
Multiagent Model-based Credit Assignment for Continuous Control. AAMAS 2022: 571-579 - [c246]Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge:
Giving Instructions in Linear Temporal Logic. TIME 2022: 15:1-15:14 - [i34]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
On the Complexity of Rational Verification. CoRR abs/2207.02637 (2022) - [i33]Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge:
Learning Task Automata for Reinforcement Learning using Hidden Markov Models. CoRR abs/2208.11838 (2022) - 2021
- [j150]Tiago Pinto, Michael J. Wooldridge, Zita A. Vale:
Consumer Flexibility Aggregation Using Partition Function Games With Non-Transferable Utility. IEEE Access 9: 51519-51535 (2021) - [j149]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge:
Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58(6): 585-610 (2021) - [j148]Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge:
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51(9): 6569-6584 (2021) - [j147]Jeffrey S. Rosenschein, Michael J. Wooldridge:
Understanding Mechanism Design - Part 2 of 3: The Vickrey-Clarke-Groves Mechanism. IEEE Intell. Syst. 36(3): 80-81 (2021) - [j146]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Multi-player games with LDL goals over finite traces. Inf. Comput. 276: 104555 (2021) - [j145]Dongge Han, Paul Harrenstein, Steven Nugent, Jonathan Philpott, Michael J. Wooldridge:
Behavioural strategies in weighted Boolean games. Inf. Comput. 276: 104556 (2021) - [j144]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM Trans. Comput. Log. 22(2): 8:1-8:38 (2021) - [c245]Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge:
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. AAMAS 2021: 574-582 - [c244]Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge:
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. AAMAS 2021: 583-592 - [c243]Thomas Steeples, Julian Gutierrez, Michael J. Wooldridge:
Mean-Payoff Games with ω-Regular Specifications. AAMAS 2021: 1272-1280 - [c242]Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge:
Rational Verification for Probabilistic Systems. KR 2021: 312-322 - [c241]James Fox, Tom Everitt, Ryan Carey, Eric D. Langlois, Alessandro Abate, Michael J. Wooldridge:
PyCID: A Python Library for Causal Influence Diagrams. SciPy 2021: 65-73 - [i32]Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge:
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. CoRR abs/2102.00582 (2021) - [i31]Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge:
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. CoRR abs/2102.05008 (2021) - [i30]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Equilibrium Design for Concurrent Games. CoRR abs/2106.10192 (2021) - [i29]Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge:
Rational Verification for Probabilistic Systems. CoRR abs/2107.09119 (2021) - [i28]Dongge Han, Michael J. Wooldridge, Sebastian Tschiatschek:
MDP Abstraction with Successor Features. CoRR abs/2110.09196 (2021) - [i27]Dongge Han, Chris Xiaoxuan Lu, Tomasz P. Michalak, Michael J. Wooldridge:
Multiagent Model-based Credit Assignment for Continuous Control. CoRR abs/2112.13937 (2021) - 2020
- [j143]Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael J. Wooldridge, Makoto Yokoo:
Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities. Auton. Agents Multi Agent Syst. 34(1): 11 (2020) - [j142]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artif. Intell. 287: 103353 (2020) - [j141]Michael J. Wooldridge:
Artificial Intelligence requires more than deep learning - but what, exactly? Artif. Intell. 289: 103386 (2020) - [j140]Michael J. Wooldridge:
Through the Veil of Ignorance: Understanding Social Welfare. IEEE Intell. Syst. 35(2): 99-101 (2020) - [j139]Michael J. Wooldridge:
Understanding Mechanism Design-Part 1 of 3. IEEE Intell. Syst. 35(4): 110-111 (2020) - [j138]Paul E. Dunne, Paul Harrenstein, Sarit Kraus, Michael J. Wooldridge:
Delegating Decisions in Strategic Settings. IEEE Trans. Artif. Intell. 1(1): 19-33 (2020) - [c240]Jiarui Gan, Edith Elkind, Sarit Kraus, Michael J. Wooldridge:
Mechanism Design for Defense Coordination in Security Games. AAMAS 2020: 402-410 - [i26]Mateusz Krzysztof Tarkowski, Szymon Matejczyk, Tomasz P. Michalak, Michael J. Wooldridge:
Monte Carlo Techniques for Approximating the Myerson Value - Theoretical and Empirical Analysis. CoRR abs/2001.00065 (2020) - [i25]Dongge Han, Shruti Tople, Alex Rogers, Michael J. Wooldridge, Olga Ohrimenko, Sebastian Tschiatschek:
Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces. CoRR abs/2006.14583 (2020) - [i24]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. CoRR abs/2008.05638 (2020) - [i23]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge:
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR abs/2008.05643 (2020) - [i22]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Multi-Player Games with LDL Goals over Finite Traces. CoRR abs/2008.05647 (2020)
2010 – 2019
- 2019
- [j137]Shaheen Fatima, Michael J. Wooldridge:
Computing optimal coalition structures in polynomial time. Auton. Agents Multi Agent Syst. 33(1-2): 35-83 (2019) - [j136]Enrico Marchioni, Michael J. Wooldridge:
Łukasiewicz logics for cooperative games. Artif. Intell. 275: 252-278 (2019) - [j135]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. 15(3) (2019) - [j134]Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge:
Program models and semi-public environments. J. Log. Comput. 29(7): 1071-1097 (2019) - [j133]Bedoor K. AlShebli, Tomasz P. Michalak, Oskar Skibski, Michael J. Wooldridge, Talal Rahwan:
A Measure of Added Value in Groups. ACM Trans. Auton. Adapt. Syst. 13(4): 18:1-18:46 (2019) - [j132]Oskar Skibski, Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge:
Enumerating Connected Subgraphs and Computing the Myerson and Shapley Values in Graph-Restricted Games. ACM Trans. Intell. Syst. Technol. 10(2): 15:1-15:25 (2019) - [c239]Julian Gutierrez, Sarit Kraus, Michael J. Wooldridge:
Cooperative Concurrent Games. AAMAS 2019: 1198-1206 - [c238]Shaheen Fatima, Michael J. Wooldridge:
Computing Optimal Coalition Structures in Polynomial Time. AAMAS 2019: 1702-1703 - [c237]Dongge Han, Wendelin Boehmer, Michael J. Wooldridge, Alex Rogers:
Multi-Agent Hierarchical Reinforcement Learning with Dynamic Termination. AAMAS 2019: 2006-2008 - [c236]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Equilibrium Design for Concurrent Games. CONCUR 2019: 22:1-22:16 - [c235]Jiarui Gan, Haifeng Xu, Qingyu Guo, Long Tran-Thanh, Zinovi Rabinovich, Michael J. Wooldridge:
Imitative Follower Deception in Stackelberg Games. EC 2019: 639-657 - [c234]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
On Computational Tractability for Rational Verification. IJCAI 2019: 329-335 - [c233]Jiarui Gan, Qingyu Guo, Long Tran-Thanh, Bo An, Michael J. Wooldridge:
Manipulating a Learning Defender and Ways to Counteract. NeurIPS 2019: 8272-8281 - [c232]Dongge Han, Wendelin Böhmer, Michael J. Wooldridge, Alex Rogers:
Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. PRICAI (2) 2019: 80-92 - [i21]Jiarui Gan, Haifeng Xu, Qingyu Guo, Long Tran-Thanh, Zinovi Rabinovich, Michael J. Wooldridge:
Imitative Follower Deception in Stackelberg Games. CoRR abs/1903.02917 (2019) - [i20]Jiarui Gan, Qingyu Guo, Long Tran-Thanh, Bo An, Michael J. Wooldridge:
Manipulating a Learning Defender and Ways to Counteract. CoRR abs/1905.11759 (2019) - [i19]Dongge Han, Wendelin Boehmer, Michael J. Wooldridge, Alex Rogers:
Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. CoRR abs/1910.09508 (2019) - [i18]Mateusz Krzysztof Tarkowski, Tomasz P. Michalak, Michael J. Wooldridge:
A Game-Theoretic Algorithm for Link Prediction. CoRR abs/1912.12846 (2019) - 2018
- [j131]Javier Morales, Michael J. Wooldridge, Juan A. Rodríguez-Aguilar, Maite López-Sánchez:
Off-line synthesis of evolutionarily stable normative systems. Auton. Agents Multi Agent Syst. 32(5): 635-671 (2018) - [j130]Liat Sless, Noam Hazon, Sarit Kraus, Michael J. Wooldridge:
Forming k coalitions and facilitating relationships in social networks. Artif. Intell. 259: 217-245 (2018) - [j129]James Paulin, Anisoara Calinescu, Michael J. Wooldridge:
Agent-Based Modeling for Complex Financial Systems. IEEE Intell. Syst. 33(2): 74-82 (2018) - [j128]Oskar Skibski, Tomasz P. Michalak, Michael J. Wooldridge:
The Stochastic Shapley Value for coalitional games with externalities. Games Econ. Behav. 108: 65-80 (2018) - [j127]Julian Gutierrez, Michael J. Wooldridge:
Preface to the SR-2015 special issue. Inf. Comput. 261: 487 (2018) - [j126]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Imperfect information in Reactive Modules games. Inf. Comput. 261: 650-675 (2018) - [j125]Mateusz Krzysztof Tarkowski, Piotr L. Szczepanski, Tomasz P. Michalak, Paul Harrenstein, Michael J. Wooldridge:
Efficient Computation of Semivalues for Game-Theoretic Network Centrality. J. Artif. Intell. Res. 63: 145-189 (2018) - [c231]Marc Serramia, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Javier Morales, Michael J. Wooldridge, Carlos Ansótegui:
Exploiting Moral Values to Choose the Right Norms. AIES 2018: 264-270 - [c230]Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge:
Local Equilibria in Logic-Based Multi-Player Games. AAMAS 2018: 399-406 - [c229]Jiarui Gan, Edith Elkind, Michael J. Wooldridge:
Stackelberg Security Games with Multiple Uncoordinated Defenders. AAMAS 2018: 703-711 - [c228]Marc Serramia, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Manel Rodriguez-Soto, Michael J. Wooldridge, Javier Morales, Carlos Ansótegui:
Moral Values in Norm Decision Making. AAMAS 2018: 1294-1302 - [c227]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
EVE: A Tool for Temporal Equilibrium Analysis. ATVA 2018: 551-557 - [i17]Mateusz Krzysztof Tarkowski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
Game-theoretic Network Centrality: A Review. CoRR abs/1801.00218 (2018) - [i16]James Paulin, Anisoara Calinescu, Michael J. Wooldridge:
Understanding Flash Crash Contagion and Systemic Risk: A Micro-Macro Agent-Based Approach. CoRR abs/1805.08454 (2018) - [i15]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. CoRR abs/1808.09213 (2018) - 2017
- [j124]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
From model checking to equilibrium checking: Reactive modules for rational verification. Artif. Intell. 248: 123-157 (2017) - [j123]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Reasoning about equilibria in game-like concurrent systems. Ann. Pure Appl. Log. 168(2): 373-403 (2017) - [j122]Tomasz P. Michalak, Michael J. Wooldridge:
AI and Economics. IEEE Intell. Syst. 32(1): 5-7 (2017) - [j121]Paula Boddington, Peter Millican, Michael J. Wooldridge:
Minds and Machines Special Issue: Ethics and Artificial Intelligence. Minds Mach. 27(4): 569-574 (2017) - [c226]Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
Strategic Social Network Analysis. AAAI 2017: 4841-4845 - [c225]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Iterated Games with LDL Goals over Finite Traces. AAMAS 2017: 696-704 - [c224]Tong Gao, Julian Gutierrez, Michael J. Wooldridge:
Iterated Boolean Games for Rational Verification. AAMAS 2017: 705-713 - [c223]Marcin Waniek, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
On the Construction of Covert Networks. AAMAS 2017: 1341-1349 - [c222]Maite López-Sánchez, Marc Serramia, Juan A. Rodríguez-Aguilar, Javier Morales, Michael J. Wooldridge:
Automating Decision Making to Help Establish Norm-Based Regulations. AAMAS 2017: 1613-1615 - [c221]Javier Morales, Michael J. Wooldridge, Juan A. Rodríguez-Aguilar, Maite López-Sánchez:
Evolutionary Synthesis of Stable Normative Systems. AAMAS 2017: 1646-1648 - [c220]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. CONCUR 2017: 17:1-17:16 - [c219]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge:
Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI 2017: 1067-1073 - [c218]Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge:
Characterising the Manipulability of Boolean Games. IJCAI 2017: 1081-1087 - [i14]Maite López-Sánchez, Marc Serramia, Juan A. Rodríguez-Aguilar, Javier Morales, Michael J. Wooldridge:
Automating decision making to help establish norm-based regulations. CoRR abs/1703.09087 (2017) - [i13]Javier Morales, Michael J. Wooldridge, Juan A. Rodríguez-Aguilar, Maite López-Sánchez:
Synthesising Evolutionarily Stable Normative Systems. CoRR abs/1710.00709 (2017) - [i12]Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge:
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). Dagstuhl Reports 7(3): 27-32 (2017) - 2016
- [j120]Shaheen Fatima, Michael J. Wooldridge:
Majority bargaining for resource division. Auton. Agents Multi Agent Syst. 30(2): 331-363 (2016) - [j119]Shaheen Fatima, Tomasz P. Michalak, Michael J. Wooldridge:
Power and welfare in bargaining for coalition structure formation. Auton. Agents Multi Agent Syst. 30(5): 899-930 (2016) - [j118]Tomasz P. Michalak, Talal Rahwan, Edith Elkind, Michael J. Wooldridge, Nicholas R. Jennings:
A hybrid exact algorithm for complete set partitioning. Artif. Intell. 230: 14-50 (2016) - [j117]Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge:
Hard and Soft Preparation Sets in Boolean Games. Stud Logica 104(4): 813-847 (2016) - [j116]Julian C. Bradfield, Julian Gutierrez, Michael J. Wooldridge:
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. Synth. 193(3): 781-811 (2016) - [c217]Mateusz Krzysztof Tarkowski, Piotr L. Szczepanski, Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge:
Closeness Centrality for Networks with Overlapping Community Structure. AAAI 2016: 622-629 - [c216]Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi:
Rational Verification: From Model Checking to Equilibrium Checking. AAAI 2016: 4184-4191 - [c215]Oskar Skibski, Szymon Matejczyk, Tomasz P. Michalak, Michael J. Wooldridge, Makoto Yokoo:
k-Coalitional Cooperative Games. AAMAS 2016: 177-185 - [c214]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Expressiveness and Nash Equilibrium in Iterated Boolean Games. AAMAS 2016: 707-715 - [c213]Piotr L. Szczepanski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction. ECAI 2016: 90-98 - [c212]Oskar Skibski, Henryk Michalewski, Andrzej Nagórko, Tomasz P. Michalak, Andrew James Dowell, Talal Rahwan, Michael J. Wooldridge:
Non-Utilitarian Coalition Structure Generation. ECAI 2016: 1738-1739 - [c211]Michael J. Wooldridge:
From model checking to equilibrium checking. GI-Jahrestagung 2016: 35 - [c210]Haris Aziz, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge:
Boolean Hedonic Games. KR 2016: 166-175 - [c209]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Imperfect Information in Reactive Modules Games. KR 2016: 390-400 - [r3]Georgios Chalkiadakis, Michael J. Wooldridge:
Weighted Voting Games. Handbook of Computational Social Choice 2016: 377-396 - [i11]Marcin Waniek, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
Hiding Individuals and Communities in a Social Network. CoRR abs/1608.00375 (2016) - 2015
- [j115]Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge, Nicholas R. Jennings:
Coalition structure generation: A survey. Artif. Intell. 229: 139-174 (2015) - [j114]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:
Who speaks for AI? AI Matters 2(2): 4-14 (2015) - [j113]Tomasz P. Michalak, Talal Rahwan, Oskar Skibski, Michael J. Wooldridge:
Defeating Terrorist Networks with Game Theory. IEEE Intell. Syst. 30(1): 53-61 (2015) - [j112]Michael J. Wooldridge:
Thinking Backward with Professor Zermelo. IEEE Intell. Syst. 30(2): 62-67 (2015) - [j111]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Iterated Boolean games. Inf. Comput. 242: 53-79 (2015) - [j110]Tomasz P. Michalak, Talal Rahwan, Stefano Moretti, Ramasuri Narayanam, Oskar Skibski, Piotr L. Szczepanski, Michael J. Wooldridge:
A new approach to measure social capital using game-theoretic techniques. SIGecom Exch. 14(1): 95-100 (2015) - [j109]Javier Morales, Maite López-Sánchez, Juan Antonio Rodríguez-Aguilar, Wamberto Weber Vasconcelos, Michael J. Wooldridge:
Online Automated Synthesis of Compact Normative Systems. ACM Trans. Auton. Adapt. Syst. 10(1): 2:1-2:33 (2015) - [j108]Enrico Marchioni, Michael J. Wooldridge:
Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions. ACM Trans. Comput. Log. 16(4): 33:1-33:44 (2015) - [c208]Piotr Lech Szczepanski, Mateusz Krzysztof Tarkowski, Tomasz Pawel Michalak, Paul Harrenstein, Michael J. Wooldridge:
Efficient Computation of Semivalues for Game-Theoretic Network Centrality. AAAI 2015: 461-469 - [c207]Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael J. Wooldridge, Makoto Yokoo:
A Graphical Representation for Games in Partition Function Form. AAAI 2015: 1036-1042 - [c206]Javier Morales, Maite López-Sánchez, Juan Antonio Rodríguez-Aguilar, Michael J. Wooldridge, Wamberto Weber Vasconcelos:
Synthesising Liberal Normative Systems. AAMAS 2015: 433-441 - [c205]Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge:
Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents. AAMAS 2015: 655-663 - [c204]Javier Morales, Iosu Mendizabal, David Sanchez-Pinsach, Juan Antonio Rodríguez-Aguilar, Maite López-Sánchez, Michael J. Wooldridge, Wamberto Weber Vasconcelos:
Extending NormLab to Spur Research on Norm Synthesis. AAMAS 2015: 1931-1932 - [c203]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Expresiveness and Complexity Results for Strategic Reasoning. CONCUR 2015: 268-282 - [c202]Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge:
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. ICTAC 2015: 583-594 - [e15]Qiang Yang, Michael J. Wooldridge:
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. AAAI Press 2015, ISBN 978-1-57735-738-4 [contents] - [i10]Haris Aziz, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge:
Boolean Hedonic Games. CoRR abs/1509.07062 (2015) - 2014
- [b6]Shaheen Fatima, Sarit Kraus, Michael J. Wooldridge:
Principles of Automated Negotiation. Cambridge University Press 2014, ISBN 9780511751691 - [j107]Shaheen Fatima, Sarit Kraus, Michael J. Wooldridge:
The Negotiation Game. IEEE Intell. Syst. 29(5): 57-61 (2014) - [j106]Anthony Hunter, Simon Parsons, Michael J. Wooldridge:
Measuring Inconsistency in Multi-Agent Systems. Künstliche Intell. 28(3): 169-178 (2014) - [j105]John Grant, Sarit Kraus, Michael J. Wooldridge, Inon Zuckerman:
Manipulating Games by Sharing Information. Stud Logica 102(2): 267-295 (2014) - [j104]Tomasz P. Michalak, Piotr L. Szczepanski, Talal Rahwan, Agata Chrobak, Simina Brânzei, Michael J. Wooldridge, Nicholas R. Jennings:
Implementation and Computation of a Value for Generalized Characteristic Function Games. ACM Trans. Economics and Comput. 2(4): 16:1-16:35 (2014) - [c201]Shaheen Fatima, Michael J. Wooldridge:
Optimal Agendas for Sequential Negotiations. AMEC/TADA 2014: 41-55 - [c200]Javier Morales, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Michael J. Wooldridge, Wamberto Weber Vasconcelos:
Minimality and simplicity in the on-line automated synthesis of normative systems. AAMAS 2014: 109-116 - [c199]Oskar Skibski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
Algorithms for the shapley and myerson values in graph-restricted games. AAMAS 2014: 197-204 - [c198]Liat Sless, Noam Hazon, Sarit Kraus, Michael J. Wooldridge:
Forming coalitions and facilitating relationships for completing tasks in social networks. AAMAS 2014: 261-268 - [c197]Enrico Marchioni, Michael J. Wooldridge:
Lukasiewicz games. AAMAS 2014: 837-844 - [c196]Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge:
Hard and soft equilibria in boolean games. AAMAS 2014: 845-852 - [c195]S. Shaheen Fatima, Michael J. Wooldridge:
Majority bargaining for resource division. AAMAS 2014: 1393-1394 - [c194]Shaheen Fatima, Tomasz P. Michalak, Michael J. Wooldridge:
Power and welfare in noncooperative bargaining for coalition structure formation. AAMAS 2014: 1439-1440 - [c193]Javier Morales, Iosu Mendizabal, David Sanchez-Pinsach, Maite López-Sánchez, Michael J. Wooldridge, Wamberto Weber Vasconcelos:
NormLab: a framework to support research on norm synthesis. AAMAS 2014: 1697-1698 - [c192]Julian Gutierrez, Michael J. Wooldridge:
Equilibria of concurrent games on event structures. CSL-LICS 2014: 46:1-46:10 - [c191]S. Shaheen Fatima, Michael J. Wooldridge:
Multilateral Bargaining for Resource Division. ECAI 2014: 309-314 - [c190]S. Shaheen Fatima, Tomasz P. Michalak, Michael J. Wooldridge:
Bargaining for Coalition Structure Formation. ECAI 2014: 315-320 - [c189]Piotr L. Szczepanski, Tomasz P. Michalak, Michael J. Wooldridge:
A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value. ECAI 2014: 867-872 - [c188]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Reasoning about Equilibria in Game-Like Concurrent Systems. KR 2014 - [p7]Peter Millican, Michael J. Wooldridge:
Them and Us: Autonomous Agents In Vivo and In Silico. Johan van Benthem on Logic and Information Dynamics 2014: 547-567 - [i9]Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge:
Reasoning About the Transfer of Control. CoRR abs/1401.3825 (2014) - [i8]Talal Rahwan, Victor Naroditskiy, Tomasz P. Michalak, Michael J. Wooldridge, Nicholas R. Jennings:
Towards a Fair Allocation of Rewards in Multi-Level Marketing. CoRR abs/1404.0542 (2014) - [i7]Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge:
A Measure of Synergy in Coalitions. CoRR abs/1404.2954 (2014) - 2013
- [j103]Michael J. Wooldridge, Ulle Endriss, Sarit Kraus, Jérôme Lang:
Incentive engineering for Boolean games. Artif. Intell. 195: 418-439 (2013) - [j102]Yoram Bachrach, Michael Zuckerman, Michael J. Wooldridge, Jeffrey S. Rosenschein:
Proof systems and transformation games. Ann. Math. Artif. Intell. 67(1): 1-30 (2013) - [j101]Paul Harrenstein, David F. Manlove, Michael J. Wooldridge:
The Joy of Matching. IEEE Intell. Syst. 28(2): 81-85 (2013) - [j100]Steve Phelps, Michael J. Wooldridge:
Game Theory and Evolution. IEEE Intell. Syst. 28(4): 76-81 (2013) - [j99]Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge:
Program equilibrium - a program reasoning approach. Int. J. Game Theory 42(3): 639-671 (2013) - [j98]Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge:
Building and using social structures: A case study using the agent ART testbed. ACM Trans. Intell. Syst. Technol. 4(2): 25:1-25:20 (2013) - [c187]Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge:
Reasoning about Choice. AT 2013: 4-18 - [c186]Edith Elkind, Dmitrii V. Pasechnik, Michael J. Wooldridge:
Strategic considerations in the design of committees. AAMAS 2013: 439-446 - [c185]Javier Morales, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Michael J. Wooldridge, Wamberto Weber Vasconcelos:
Automated synthesis of normative systems. AAMAS 2013: 483-490 - [c184]Javier Morales, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Michael J. Wooldridge, Wamberto Weber Vasconcelos:
IRON: a machine for the automated synthesis of normative systems. AAMAS 2013: 1389-1390 - [c183]Tomasz P. Michalak, Talal Rahwan, Piotr L. Szczepanski, Oskar Skibski, Ramasuri Narayanam, Nicholas R. Jennings, Michael J. Wooldridge:
Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks. IJCAI 2013: 293-301 - [c182]Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge:
Verifiable Equilibria in Boolean Games. IJCAI 2013: 689-695 - [c181]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Iterated Boolean Games. IJCAI 2013: 932-938 - [c180]Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge:
Boolean Games with Epistemic Goals. LORI 2013: 1-14 - [i6]Oskar Skibski, Tomasz P. Michalak, Michael J. Wooldridge:
The Shapley Axiomatization for Values in Partition Function Games. CoRR abs/1308.6255 (2013) - 2012
- [j97]Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge, Nicholas R. Jennings:
Anytime coalition structure generation in multi-agent systems with positive or negative externalities. Artif. Intell. 186: 95-122 (2012) - [j96]Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael J. Wooldridge:
On the evaluation of election outcomes under uncertainty. Artif. Intell. 189: 1-18 (2012) - [j95]Wiebe van der Hoek, Michael J. Wooldridge:
Logics for Multiagent Systems. AI Mag. 33(3): 92-105 (2012) - [j94]Michael J. Wooldridge:
The Triumph of Rationality. IEEE Intell. Syst. 27(1): 60-64 (2012) - [j93]Michael J. Wooldridge:
Computation and the prisoner's dilemma. IEEE Intell. Syst. 27(2): 75-80 (2012) - [j92]Georgios Chalkiadakis, Edith Elkind, Michael J. Wooldridge:
Cooperative Game Theory: Basic Concepts and Computational Challenges. IEEE Intell. Syst. 27(3): 86-90 (2012) - [j91]Michael J. Wooldridge:
Does Game Theory Work? IEEE Intell. Syst. 27(6): 76-80 (2012) - [j90]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
A heuristic approximation method for the Banzhaf index for voting games. Multiagent Grid Syst. 8(3): 257-274 (2012) - [c179]Paul E. Dunne, Michael J. Wooldridge:
Towards tractable Boolean games. AAMAS 2012: 939-946 - [c178]Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge:
A logic of revelation and concealment. AAMAS 2012: 1115-1122 - [c177]Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge:
Argument Aggregation: Basic Axioms and Complexity Results. COMMA 2012: 129-140 - [c176]Michael J. Wooldridge:
Bad equilibria (and what to do about them). ECAI 2012: 6-11 - [c175]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Conservative Social Laws. ECAI 2012: 49-54 - [c174]Sarit Kraus, Michael J. Wooldridge:
Delegating Decisions in Strategic Settings. ECAI 2012: 468-473 - 2011
- [b5]Georgios Chalkiadakis, Edith Elkind, Michael J. Wooldridge:
Computational Aspects of Cooperative Game Theory. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2011, ISBN 978-3-031-00430-8 - [j89]Ben Lithgow Smith, Valentina A. M. Tamma, Michael J. Wooldridge:
An Ontology for Coordination. Appl. Artif. Intell. 25(3): 235-265 (2011) - [j88]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
On the logic of preference and judgment aggregation. Auton. Agents Multi Agent Syst. 22(1): 4-30 (2011) - [j87]Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael J. Wooldridge:
Weighted argument systems: Basic definitions, algorithms, and complexity results. Artif. Intell. 175(2): 457-486 (2011) - [j86]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning About Social Choice Functions. J. Philos. Log. 40(4): 473-498 (2011) - [c173]Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Automated analysis of weighted voting games. ICEC 2011: 3:1-3:6 - [c172]Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael J. Wooldridge, Nicholas R. Jennings:
Constrained Coalition Formation. AAAI 2011: 719-725 - [c171]Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael J. Wooldridge:
Designing incentives for Boolean games. AAMAS 2011: 79-86 - [c170]Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge:
Decomposing constraint systems: equivalences and computational properties. AAMAS 2011: 149-156 - [c169]Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge:
Knowledge and control. AAMAS 2011: 719-726 - [c168]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Scientia potentia est. AAMAS 2011: 735-742 - [c167]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
On optimal agendas for package deal negotiation. AAMAS 2011: 1083-1084 - [c166]Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge:
An abstract framework for reasoning about trust. AAMAS 2011: 1085-1086 - [c165]John Grant, Sarit Kraus, Michael J. Wooldridge, Inon Zuckerman:
Manipulating Boolean Games through Communication. IJCAI 2011: 210-215 - [c164]Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael J. Wooldridge:
Incentive Engineering for Boolean Games. IJCAI 2011: 2602-2607 - [c163]Michael J. Wooldridge:
Computational Aspects of Cooperative Game Theory. KES-AMSTA 2011: 1 - [c162]Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge:
Knowledge and Action in Semi-public Environments. LORI 2011: 97-110 - [c161]Michael J. Wooldridge:
Playing Games with Games. SCAI 2011: 3 - [i5]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about Social Choice Functions. CoRR abs/1102.3341 (2011) - [i4]S. Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge:
Multi-Issue Negotiation with Deadlines. CoRR abs/1110.2765 (2011) - [i3]Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael J. Wooldridge:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. CoRR abs/1111.0041 (2011) - 2010
- [j85]Paul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael J. Wooldridge:
Solving coalitional resource games. Artif. Intell. 174(1): 20-50 (2010) - [j84]Thierry Moyaux, Peter McBurney, Michael J. Wooldridge:
A supply chain as a network of auctions. Decis. Support Syst. 50(1): 176-190 (2010) - [j83]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Robust normative systems and a logic of norm compliance. Log. J. IGPL 18(1): 4-30 (2010) - [j82]Ian Blacoe, Valentina A. M. Tamma, Michael J. Wooldridge:
Evaluation of scalable multi-agent system architectures for searching the Semantic Web. Int. J. Metadata Semant. Ontologies 5(2): 99-119 (2010) - [j81]Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge:
Reasoning About the Transfer of Control. J. Artif. Intell. Res. 37: 437-477 (2010) - [j80]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Sequential auctions for common value objects with budget constrained bidders. Multiagent Grid Syst. 6(5-6): 403-414 (2010) - [j79]John Grant, Sarit Kraus, Donald Perlis, Michael J. Wooldridge:
Postulates for revising BDI structures. Synth. 175(Supplement-1): 39-62 (2010) - [c160]John Grant, Sarit Kraus, Michael J. Wooldridge:
Intentions in Equilibrium. AAAI 2010: 786-791 - [c159]Tomasz P. Michalak, Dorota Marciniak, Marcin Szamotulski, Talal Rahwan, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings:
A logic-based representation for coalitional games with externalities. AAMAS 2010: 125-132 - [c158]Thomas Ågotnes, Michael J. Wooldridge:
Optimal social laws. AAMAS 2010: 667-674 - [c157]Tomasz P. Michalak, Jacek Sroka, Talal Rahwan, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings:
A distributed algorithm for anytime coalition structure generation. AAMAS 2010: 1007-1014 - [c156]Piotr Krysta, Tomasz P. Michalak, Tuomas Sandholm, Michael J. Wooldridge:
Combinatorial auctions with externalities. AAMAS 2010: 1471-1472 - [c155]Yoram Bachrach, Michael Zuckerman, Michael J. Wooldridge, Jeffrey S. Rosenschein:
Proof Systems and Transformation Games. MFCS 2010: 78-89 - [e14]Helder Coelho, Rudi Studer, Michael J. Wooldridge:
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Frontiers in Artificial Intelligence and Applications 215, IOS Press 2010, ISBN 978-1-60750-605-8 [contents]
2000 – 2009
- 2009
- [b4]Michael J. Wooldridge:
An Introduction to MultiAgent Systems, Second Edition. Wiley 2009, ISBN 978-0-470-51946-2, pp. I-XXII, 1-461 - [j78]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009) - [j77]Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
On the computational complexity of weighted voting games. Ann. Math. Artif. Intell. 56(2): 109-131 (2009) - [j76]Tomasz P. Michalak, Joanna Tyrowicz, Peter McBurney, Michael J. Wooldridge:
Exogenous coalition formation in the e-marketplace based on geographical proximity. Electron. Commer. Res. Appl. 8(4): 203-223 (2009) - [j75]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Logics for Qualitative Coalitional Games. Log. J. IGPL 17(3): 299-321 (2009) - [j74]Ji Ruan, Wiebe van der Hoek, Michael J. Wooldridge:
Verification of Games in the Game Description Language. J. Log. Comput. 19(6): 1127-1156 (2009) - [j73]Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge, Willem Visser:
Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009) - [j72]Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. Math. Log. Q. 55(4): 362-376 (2009) - [j71]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
Multi-Modal CTL: Completeness, Complexity, and an Application. Stud Logica 92(1): 1-26 (2009) - [c154]Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge:
Power in normative systems. AAMAS (1) 2009: 145-152 - [c153]Piotr Faliszewski, Edith Elkind, Michael J. Wooldridge:
Boolean combinations of weighted voting games. AAMAS (1) 2009: 185-192 - [c152]Edith Elkind, Michael J. Wooldridge:
Hedonic coalition nets. AAMAS (1) 2009: 417-424 - [c151]Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael J. Wooldridge:
Inconsistency tolerance in weighted argument systems. AAMAS (2) 2009: 851-858 - [c150]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
A logic of games and propositional control. AAMAS (2) 2009: 961-968 - [c149]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. AAMAS (2) 2009: 1041-1048 - [c148]Talal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings, Michael J. Wooldridge, Peter McBurney:
Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities. IJCAI 2009: 257-263 - [c147]Tomasz P. Michalak, Talal Rahwan, Jacek Sroka, Andrew James Dowell, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings:
On representing coalitional games with externalities. EC 2009: 11-20 - [c146]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
A logic of propositional control for truthful implementations. TARK 2009: 237-246 - [p6]Shaheen Fatima, Michael J. Wooldridge:
A Framework for Dynamic Agent Organizations. Handbook of Research on Multi-Agent Systems 2009: 446-459 - [p5]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
A Temporal Logic of Normative Systems. Towards Mathematical Philosophy 2009: 69-106 - [p4]Paul E. Dunne, Michael J. Wooldridge:
Complexity of Abstract Argumentation. Argumentation in Artificial Intelligence 2009: 85-104 - [p3]Paolo Ballarini, Michael Fisher, Michael J. Wooldridge:
Uncertain Agent Verification through Probabilistic Model-Checking. Safety and Security in Multiagent Systems 2009: 162-174 - [e13]Doron A. Peled, Michael J. Wooldridge:
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5348, Springer 2009, ISBN 978-3-642-00430-8 [contents] - [i2]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Robust Normative Systems. Normative Multi-Agent Systems 2009 - 2008
- [j70]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
A linear approximation method for the Shapley value. Artif. Intell. 172(14): 1673-1699 (2008) - [j69]Michael J. Wooldridge:
How Inappropriately Heavyweight AI Solutions Dragged Down A Startup (and Made Me Realize that Industrial Salaries Are High for a Good Reason). AI Mag. 29(2): 49-50 (2008) - [j68]Fernando Lopes, Michael J. Wooldridge, Augusto Q. Novais:
Negotiation among autonomous computational agents: principles, analysis and challenges. Artif. Intell. Rev. 29(1): 1-44 (2008) - [j67]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Quantified coalition logic. Synth. 165(2): 269-294 (2008) - [c145]Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
On the Dimensionality of Voting Games. AAAI 2008: 69-74 - [c144]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672 - [c143]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Robust normative systems. AAMAS (2) 2008: 747-754 - [c142]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
An anytime approximation method for the inverse Shapley value problem. AAMAS (2) 2008: 935-942 - [c141]Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael J. Wooldridge:
Evaluation of election outcomes under uncertainty. AAMAS (2) 2008: 959-966 - [c140]Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
A tractable and expressive class of marginal contribution nets and its applications. AAMAS (2) 2008: 1007-1014 - [c139]Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael J. Wooldridge:
Cooperative Boolean games. AAMAS (2) 2008: 1015-1022 - [c138]Tomasz P. Michalak, Andrew James Dowell, Peter McBurney, Michael J. Wooldridge:
Optimal Coalition Structure Generation In Partition Function Games. ECAI 2008: 388-392 - [c137]Tomasz P. Michalak, Andrew James Dowell, Peter McBurney, Michael J. Wooldridge:
Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms. KRAMAS 2008: 99-113 - [c136]Michael J. Wooldridge:
Logic for Automated Mechanism Design and Analysis. MATES 2008: 1 - [c135]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
Model Checking Strategic Equilibria. MoChArt 2008: 166-188 - [r2]Wiebe van der Hoek, Michael J. Wooldridge:
Multi-Agent Systems. Handbook of Knowledge Representation 2008: 887-928 - 2007
- [j66]Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, Rafael H. Bordini:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. 29: 221-267 (2007) - [j65]Paul E. Dunne, Wiebe van der Hoek, Michael J. Wooldridge:
A logical characterisation of qualitative coalitional games. J. Appl. Non Class. Logics 17(4): 477-509 (2007) - [j64]Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael J. Wooldridge:
Logic-Based Agent Verification. J. Appl. Log. 5(2): 193-195 (2007) - [j63]Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge:
Towards a theory of intention revision. Synth. 155(2): 265-290 (2007) - [j62]Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge:
Social laws in alternating time: effectiveness, feasibility, and synthesis. Synth. 156(1): 1-19 (2007) - [j61]Shamimabi Paurobally, Valentina A. M. Tamma, Michael J. Wooldridge:
A Framework for Web service negotiation. ACM Trans. Auton. Adapt. Syst. 2(4): 14 (2007) - [c134]Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek:
Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-17 - [c133]Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
Computational Complexity of Weighted Threshold Games. AAAI 2007: 718-723 - [c132]Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael J. Wooldridge:
On the Relevance of Utterances in Formal Inter-agent Dialogues. ArgMAS 2007: 47-62 - [c131]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Sequential Auctions in Uncertain Information Settings. AMEC/TADA 2007: 16-29 - [c130]Shamimabi Paurobally, Michael J. Wooldridge:
Joint conversation specification and compliance. AAMAS 2007: 30 - [c129]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about judgment and preference aggregation. AAMAS 2007: 85 - [c128]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Normative system games. AAMAS 2007: 129 - [c127]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Approximate and online multi-issue negotiation. AAMAS 2007: 156 - [c126]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
A randomized method for the shapley value for the voting game. AAMAS 2007: 157 - [c125]Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael J. Wooldridge:
On the relevance of utterances in formal inter-agent dialogues. AAMAS 2007: 240 - [c124]Shamimabi Paurobally, Chris van Aart, Valentina A. M. Tamma, Michael J. Wooldridge, Peter van Hapert:
Web services negotiation in an insurance grid. AAMAS 2007: 275 - [c123]Shamimabi Paurobally, Michael J. Wooldridge:
Joint Conversation Specification and Compliance. DALT 2007: 18-35 - [c122]Minghua He, Xudong Luo, Nicholas R. Jennings, Michael J. Wooldridge:
Forming Fuzzy Coalitions in Cooperative Superadditive Games. ICEBE 2007: 221-228 - [c121]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
On the Logic of Normative Systems. IJCAI 2007: 1175-1180 - [c120]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Quantified Coalition Logic. IJCAI 2007: 1181-1186 - [c119]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge:
A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139 - [c118]Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge:
Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278 - [c117]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Completeness and Complexity of Multi-modal CTL. M4M 2007: 259-275 - [i1]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
On the Logic of Normative Systems. Normative Multi-agent Systems 2007 - 2006
- [j60]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Verifying Multi-agent Programs by Model Checking. Auton. Agents Multi Agent Syst. 12(2): 239-256 (2006) - [j59]Michael J. Wooldridge, Paul E. Dunne:
On the computational complexity of coalitional resource games. Artif. Intell. 170(10): 835-871 (2006) - [j58]Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael J. Wooldridge:
Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems. AI Mag. 27(1): 103-107 (2006) - [j57]Michael J. Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons:
Model Checking for Multiagent Systems: the Mable Language and its Applications. Int. J. Artif. Intell. Tools 15(2): 195-226 (2006) - [j56]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Multi-Issue Negotiation with Deadlines. J. Artif. Intell. Res. 27: 381-417 (2006) - [j55]Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Knowledge Condition Games. J. Log. Lang. Inf. 15(4): 425-452 (2006) - [j54]Dirk Walther, Carsten Lutz, Frank Wolter, Michael J. Wooldridge:
ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006) - [j53]Sieuwert van Otterloo, Michael J. Wooldridge, Peter McBurney:
Foreword. Synth. 149(2): 255-256 (2006) - [c116]Michael J. Wooldridge, Paul E. Dunne, Simon Parsons:
On the Complexity of Linking Deductive and Abstract Argument Systems. AAAI 2006: 299-304 - [c115]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
On Efficient Procedures for Multi-issue Negotiation. TADA/AMEC 2006: 31-45 - [c114]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
On the logic of coalitional games. AAMAS 2006: 153-160 - [c113]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Temporal qualitative coalitional games. AAMAS 2006: 177-184 - [c112]Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about action and cooperation. AAMAS 2006: 185-192 - [c111]Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge:
On the complexity of practical ATL model checking. AAMAS 2006: 201-208 - [c110]Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge:
Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293 - [c109]Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge:
Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140 - [e12]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005. Electronic Notes in Theoretical Computer Science 157(4), Elsevier 2006 [contents] - 2005
- [j52]Paul E. Dunne, Michael J. Wooldridge, Michael Laurence:
The complexity of contract negotiation. Artif. Intell. 164(1-2): 23-46 (2005) - [j51]Wiebe van der Hoek, Michael J. Wooldridge:
On the logic of cooperation and propositional control. Artif. Intell. 164(1-2): 81-119 (2005) - [j50]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. Artif. Intell. Rev. 23(2): 187-205 (2005) - [j49]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Bargaining with incomplete information. Ann. Math. Artif. Intell. 44(3): 207-232 (2005) - [j48]Michael J. Wooldridge, Paul E. Dunne:
The complexity of agent design problems: Determinism and history dependence. Ann. Math. Artif. Intell. 45(3-4): 343-371 (2005) - [j47]Gerhard Weiß, Michael J. Wooldridge:
Guest Editorial. Eng. Appl. Artif. Intell. 18(2): 127-128 (2005) - [j46]Valentina A. M. Tamma, Steve Phelps, Ian Dickinson, Michael J. Wooldridge:
Ontologies for supporting negotiation in e-commerce. Eng. Appl. Artif. Intell. 18(2): 223-236 (2005) - [j45]Michael J. Wooldridge, Wiebe van der Hoek:
On obligations and normative ability: Towards a logical analysis of the social contract. J. Appl. Log. 3(3-4): 396-420 (2005) - [c108]Michael J. Wooldridge, Peter McBurney, Simon Parsons:
On the Meta-logic of Arguments. ArgMAS 2005: 42-56 - [c107]Jonathan Himoff, Petr Skobelev, Michael J. Wooldridge:
MAGENTA technology: multi-agent systems for industrial logistics. AAMAS Industrial Applications 2005: 60-66 - [c106]Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge:
A logic for strategic reasoning. AAMAS 2005: 157-164 - [c105]Michael J. Wooldridge, Peter McBurney, Simon Parsons:
On the meta-logic of arguments. AAMAS 2005: 560-567 - [c104]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Sequential auctions for objects with common and private values. AAMAS 2005: 635-642 - [c103]Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge:
Knowledge and social laws. AAMAS 2005: 674-681 - [c102]Wiebe van der Hoek, Michael J. Wooldridge:
On the dynamics of delegation, cooperation, and control: a logical account. AAMAS 2005: 701-708 - [c101]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
An analysis of the shapley value and its uncertainty for the voting game. AAMAS 2005: 1201-1202 - [c100]Sylvie Doutre, Peter McBurney, Michael J. Wooldridge:
Law-governed Linda as a semantics for agent dialogue protocols. AAMAS 2005: 1257-1258 - [c99]Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge:
Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523 - [c98]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
An analysis of the Shapley Value and its Uncertainty for the Voting Game. EUMAS 2005: 480-481 - [c97]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
A Model for Multi-issue Negotiation. IICAI 2005: 2992-3008 - [c96]Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
An Analysis of Sequential Auctions for Common and Private Value Objects. AMEC@AAMAS/TADA@IJCAI 2005: 30-42 - [c95]Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
An Analysis of the Shapley Value and Its Uncertainty for the Voting Game. AMEC@AAMAS/TADA@IJCAI 2005: 85-98 - [c94]Valentina A. M. Tamma, Chris van Aart, Thierry Moyaux, Shamimabi Paurobally, Ben Lithgow Smith, Michael J. Wooldridge:
An Ontological Framework for Dynamic Coordination. ISWC 2005: 638-652 - [c93]Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge:
Introducing Autonomic Behaviour in Semantic Web Agents. ISWC 2005: 653-667 - [c92]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2005: 1-2 - [c91]Paolo Ballarini, Michael Fisher, Michael J. Wooldridge:
Automated Game Analysis via Probabilistic Model Checking: a case study. MoChArt@CONCUR/SPIN 2005: 125-137 - [e11]Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael J. Wooldridge:
4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. ACM 2005, ISBN 1-59593-094-9 [contents] - [r1]Michael Fisher, Michael J. Wooldridge:
Temporal Reasoning in Agent-Based Systems. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 469-495 - 2004
- [j44]Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Model Checking A Knowledge Exchange Scenario. Appl. Artif. Intell. 18(9-10): 937-952 (2004) - [j43]Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael J. Wooldridge:
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Auton. Agents Multi Agent Syst. 9(1-2): 5-53 (2004) - [j42]Michael J. Wooldridge:
Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7. Auton. Agents Multi Agent Syst. 10(1): 91-93 (2004) - [j41]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
An agenda-based framework for multi-issue negotiation. Artif. Intell. 152(1): 1-45 (2004) - [j40]Michael J. Wooldridge, Paul E. Dunne:
On the computational complexity of qualitative coalitional games. Artif. Intell. 158(1): 27-73 (2004) - [j39]Jeffrey S. Rosenschein, Michael J. Wooldridge:
Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems. AI Mag. 25(1): 105-106 (2004) - [j38]Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael J. Wooldridge:
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. Ann. Math. Artif. Intell. 41(2-4): 135-169 (2004) - [j37]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Model Checking Rational Agents. IEEE Intell. Syst. 19(5): 46-52 (2004) - [j36]Steve Phelps, Valentina A. M. Tamma, Michael J. Wooldridge, Ian Dickinson:
Toward Open Negotiation. IEEE Internet Comput. 8(2): 70-75 (2004) - [j35]Martijn C. Schut, Michael J. Wooldridge, Simon Parsons:
The theory and practice of intention reconsideration. J. Exp. Theor. Artif. Intell. 16(4): 261-293 (2004) - [c90]Simon Parsons, Peter McBurney, Michael J. Wooldridge:
Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. ArgMAS 2004: 1-18 - [c89]Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Preferences in Game Logics. AAMAS 2004: 152-159 - [c88]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903 - [c87]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Optimal Negotiation of Multiple Issues in Incomplete Information Settings. AAMAS 2004: 1080-1087 - [c86]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Revenue Maximising Agendas for Sequential English Auctions. AAMAS 2004: 1432-1433 - [c85]Michael J. Wooldridge:
Social Laws in Alternating Time. DEON 2004: 2 - [c84]Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge:
On Obligations and Abilities. DEON 2004: 165-181 - [c83]Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge:
SERSE: Searching for Semantic Web Content. ECAI 2004: 63-67 - [c82]Paul E. Dunne, Michael Laurence, Michael J. Wooldridge:
Tractability Results for Automatic Contracting. ECAI 2004: 1003-1004 - [c81]Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge:
SERSE: Searching for Digital Content in Esperonto. EKAW 2004: 419-432 - [c80]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2004: 1-2 - [e10]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003. Electronic Notes in Theoretical Computer Science 85(2), Elsevier 2004 [contents] - [e9]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004. Electronic Notes in Theoretical Computer Science 126, Elsevier 2004 [contents] - 2003
- [j34]Katia P. Sycara, Michael J. Wooldridge:
In Appreciation. Auton. Agents Multi Agent Syst. 6(1): 5 (2003) - [j33]Wiebe van der Hoek, Michael J. Wooldridge:
Editorial. Log. J. IGPL 11(2): 133 (2003) - [j32]Wiebe van der Hoek, Michael J. Wooldridge:
Towards a Logic of Rational Agency. Log. J. IGPL 11(2): 135-159 (2003) - [j31]Simon Parsons, Michael J. Wooldridge, Leila Amgoud:
Properties and Complexity of Some Formal Inter-agent Dialogues. J. Log. Comput. 13(3): 347-376 (2003) - [j30]Wiebe van der Hoek, Michael J. Wooldridge:
Preface. Stud Logica 75(1): 3-5 (2003) - [j29]Wiebe van der Hoek, Michael J. Wooldridge:
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Stud Logica 75(1): 125-157 (2003) - [j28]Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge:
Developing multiagent systems: The Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12(3): 317-370 (2003) - [c79]Marc-Philippe Huget, Michael J. Wooldridge:
Model Checking for ACL Compliance Verification. Workshop on Agent Communication Languages 2003: 75-90 - [c78]Simon Parsons, Peter McBurney, Michael J. Wooldridge:
The Mechanics of Some Formal Inter-agent Dialogues. Workshop on Agent Communication Languages 2003: 329-348 - [c77]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Optimal agendas for multi-issue negotiation. AAMAS 2003: 129-136 - [c76]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge:
Model checking agentspeak. AAMAS 2003: 409-416 - [c75]Simon Parsons, Michael J. Wooldridge, Leila Amgoud:
On the outcomes of formal inter-agent dialogues. AAMAS 2003: 616-623 - [c74]Ian Dickinson, Michael J. Wooldridge:
Towards practical reasoning agents for the semantic web. AAMAS 2003: 827-834 - [c73]Marc-Philippe Huget, Michael J. Wooldridge:
Model checking for ACL compliance verification. AAMAS 2003: 1016-1017 - [c72]Christos Stergiou, Geert Arys, Michael J. Wooldridge:
A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns. AAMAS 2003: 1126-1127 - [c71]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge:
Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113 - [c70]Ian Dickinson, Michael J. Wooldridge:
An initial response to the OAS'03 challenge problem. OAS 2003: 63- - [c69]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Verifiable Multi-agent Programs. PROMAS 2003: 72-89 - [c68]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface: Volume 85, Issue 2. LCMAS 2003: 81 - [c67]Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Knowledge as Strategic Ability. LCMAS 2003: 152-175 - 2002
- [b3]Michael J. Wooldridge:
Introduction to multiagent systems. Wiley 2002, ISBN 978-0-471-49691-5, pp. I-XVIII, 1-348 - [j27]Simon Parsons, Michael J. Wooldridge:
Game Theory and Decision Theory in Multi-Agent Systems. Auton. Agents Multi Agent Syst. 5(3): 243-254 (2002) - [c66]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
The Influence of Information on Negotiation Equilibrium. AMEC 2002: 180-193 - [c65]Valentina A. M. Tamma, Michael J. Wooldridge, Ian Blacoe, Ian Dickinson:
An Ontology Based Approach to Automated Negotiation. AMEC 2002: 219-237 - [c64]Stefan Bussmann, Nicholas R. Jennings, Michael J. Wooldridge:
Re-use of Interaction Protocols for Agent-Based Control Applications. AOSE 2002: 73-87 - [c63]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Multi-issue negotiation under time constraints. AAMAS 2002: 143-150 - [c62]Simon Parsons, Michael J. Wooldridge, Leila Amgoud:
An analysis of formal inter-agent dialogues. AAMAS 2002: 394-401 - [c61]Peter McBurney, Simon Parsons, Michael J. Wooldridge:
Desiderata for agent argumentation protocols. AAMAS 2002: 402-409 - [c60]Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons:
Model checking multi-agent systems with MABLE. AAMAS 2002: 952-959 - [c59]Paul E. Dunne, Michael J. Wooldridge, Michael Laurence:
The computational complexity of boolean and stochastic agent design problems. AAMAS 2002: 976-983 - [c58]Wiebe van der Hoek, Michael J. Wooldridge:
Tractable multiagent planning for epistemic goals. AAMAS 2002: 1167-1174 - [c57]Michael J. Wooldridge, Wiebe van der Hoek:
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002: 4 - [c56]Michael J. Wooldridge:
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. KI 2002: 318 - [c55]Wiebe van der Hoek, Michael J. Wooldridge:
Model Checking Knowledge and Time. SPIN 2002: 95-111 - [c54]Martijn C. Schut, Michael J. Wooldridge, Simon Parsons:
On Partially Observable MDPs and BDI Models. Foundations and Applications of Multi-Agent Systems 2002: 243-260 - [e8]Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini:
Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions. Lecture Notes in Computer Science 2222, Springer 2002, ISBN 3-540-43282-5 [contents] - 2001
- [j26]Michael J. Wooldridge, Alessio Lomuscio:
A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Log. J. IGPL 9(2): 257-272 (2001) - [j25]Paolo Ciancarini, Michael J. Wooldridge:
Agent-Based Software Engineering - Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 11(3): 205-206 (2001) - [j24]Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge:
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems. Int. J. Softw. Eng. Knowl. Eng. 11(3): 303-328 (2001) - [j23]Martijn C. Schut, Michael J. Wooldridge:
The control of reasoning in resource-bounded agents. Knowl. Eng. Rev. 16(3): 215-240 (2001) - [c53]Alessio Lomuscio, Michael J. Wooldridge, Nicholas R. Jennings:
A Classification Scheme for Negotiation in Electronic Commerce. AgentLink 2001: 19-33 - [c52]Martijn C. Schut, Michael J. Wooldridge:
Principles of intention reconsideration. Agents 2001: 340-347 - [c51]S. Shaheen Fatima, Michael J. Wooldridge:
Adaptive task resources allocation in multi-agent systems. Agents 2001: 537-544 - [c50]Wamberto Weber Vasconcelos, David Stuart Robertson, Jaume Agustí-Cullell, Carles Sierra, Michael J. Wooldridge, Simon Parsons, Christopher Walton, Jordi Sabater:
A Lifecycle for Models of Large Multi-agent Systems. AOSE 2001: 297-318 - [c49]Michael J. Wooldridge, Paul E. Dunne:
The Computational Complexity of Agent Verification. ATAL 2001: 115-127 - [c48]S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
Optimal Negotiation Strategies for Agents with Incomplete Information. ATAL 2001: 377-392 - [c47]Martijn C. Schut, Michael J. Wooldridge, Simon Parsons:
Reasoning about Intentions in Uncertain Domains. ECSQARU 2001: 84-95 - [c46]Michael J. Wooldridge:
Intelligent Agents: The Key Concepts. Multi-Agent-Systems and Applications 2001: 3-43 - [p2]Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge:
Agent-Oriented Software Engineering for Internet Applications. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 326-346 - [e7]Paolo Ciancarini, Michael J. Wooldridge:
Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers. Lecture Notes in Computer Science 1957, Springer 2001, ISBN 3-540-41594-7 [contents] - 2000
- [b2]Michael J. Wooldridge:
Reasoning about rational agents. Intelligent robots and autonomous agents, MIT Press 2000, ISBN 978-0-262-23213-5, pp. I-XI, 1-227 - [j22]Michael J. Wooldridge:
On the Sources of Complexity in Agent Design. Appl. Artif. Intell. 14(7): 623-644 (2000) - [j21]Michael J. Wooldridge:
Semantic Issues in the Verification of Agent Communication Languages. Auton. Agents Multi Agent Syst. 3(1): 9-31 (2000) - [j20]Michael J. Wooldridge, Nicholas R. Jennings, David Kinny:
The Gaia Methodology for Agent-Oriented Analysis and Design. Auton. Agents Multi Agent Syst. 3(3): 285-312 (2000) - [j19]Michael J. Wooldridge, Keith Decker:
Guest Editors' Introduction: Infrastructure, Technology, Applications. IEEE Internet Comput. 4(2): 46-48 (2000) - [j18]Carles Sierra, Michael J. Wooldridge, Norman M. Sadeh:
Agents on the Web: Agent Research and Development in Europe. IEEE Internet Comput. 4(5): 81-83 (2000) - [c45]Martijn C. Schut, Michael J. Wooldridge:
Intention reconsideration in complex environments. Agents 2000: 209-216 - [c44]Michael J. Wooldridge, Simon Parsons:
Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages. AMEC 2000: 70-83 - [c43]Michael J. Wooldridge, Paolo Ciancarini:
Agent-Oriented Software Engineering: The State of the Art. AOSE 2000: 1-28 - [c42]Stefan Bussmann, Nicholas R. Jennings, Michael J. Wooldridge:
On the Identification of Agents in the Design of Production Control Systems. AOSE 2000: 141-162 - [c41]Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge:
Organizational Abstractions for the Analysis and Design of Multi-agent Systems. AOSE 2000: 235-251 - [c40]Michael J. Wooldridge, Paul E. Dunne:
Optimistic and Disjunctive Agent Design Problems. ATAL 2000: 1-14 - [c39]Joanna Bryson, Keith S. Decker, Scott A. DeLoach, Michael N. Huhns, Michael J. Wooldridge:
Panel Summary: Agent Development Tools. ATAL 2000: 331-338 - [c38]Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael J. Wooldridge:
Intention Reconsideration in Theory and Practice. ECAI 2000: 378-382 - [c37]Michael J. Wooldridge, Simon Parsons:
Languages for Negotiation. ECAI 2000: 393-400 - [c36]Michael J. Wooldridge:
Computationally Grounded Theories of Agency. ICMAS 2000: 13-22 - [c35]Michael J. Wooldridge:
The Computational Complexity of Agent Design Problems. ICMAS 2000: 341-348 - [c34]Paolo Ciancarini, Michael J. Wooldridge:
Agent-oriented software engineering (workshop). ICSE 2000: 816-817 - [c33]Michael J. Wooldridge, Alessio Lomuscio:
Multi-agent VSK Logic. JELIA 2000: 300-312
1990 – 1999
- 1999
- [j17]Michael J. Wooldridge:
Editorial. Auton. Agents Multi Agent Syst. 2(1): 5 (1999) - [j16]Michael J. Wooldridge, Nicholas R. Jennings:
Software Engineering with Agents: Pitfalls and Pratfalls. IEEE Internet Comput. 3(3): 20-27 (1999) - [j15]Michael J. Wooldridge:
Diversity and agent technology. Knowl. Eng. Rev. 14(2): 151-152 (1999) - [j14]Dave Cliff, Jörg P. Müller, Divine T. Ndumu, Chris Preist, Michael J. Wooldridge:
Making money from agents. Knowl. Eng. Rev. 14(3): 291-294 (1999) - [j13]Michael J. Wooldridge, Nicholas R. Jennings:
The Cooperative Problem-solving Process. J. Log. Comput. 9(4): 563-592 (1999) - [c32]Michael J. Wooldridge:
Verifying that Agents Implement a Communication Language. AAAI/IAAI 1999: 52-57 - [c31]Michael J. Wooldridge, Nicholas R. Jennings, David Kinny:
A Methodology for Agent-Oriented Analysis and Design. Agents 1999: 69-76 - [c30]Michael J. Wooldridge, Alessio Lomuscio:
Reasoning about Visibility, Perception and Knowledge. ATAL 1999: 1-12 - [c29]Stefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael J. Wooldridge:
Agent-Oriented Software Engineering. ATAL 1999: 248-249 - [p1]Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael J. Wooldridge:
Robots with the Best of Intentions. Artificial Intelligence Today 1999: 329-338 - [e6]Michael J. Wooldridge, Manuela M. Veloso:
Artificial Intelligence Today: Recent Trends and Developments. Lecture Notes in Computer Science 1600, Springer 1999, ISBN 3-540-66428-9 [contents] - 1998
- [j12]Nicholas R. Jennings, Katia P. Sycara, Michael J. Wooldridge:
A Roadmap of Agent Research and Development. Auton. Agents Multi Agent Syst. 1(1): 7-38 (1998) - [j11]Michael J. Wooldridge, Clare Dixon, Michael Fisher:
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. J. Appl. Non Class. Logics 8(3): 225-258 (1998) - [j10]Ken Binmore, Cristiano Castelfranchi, James Doran, Michael J. Wooldridge:
Rationality in Multi-Agent Systems. Knowl. Eng. Rev. 13(3): 309-314 (1998) - [j9]Nicholas R. Jennings, Michael J. Wooldridge, Fausto Giunchiglia:
Editorial. J. Log. Comput. 8(3): 231-232 (1998) - [j8]Clare Dixon, Michael Fisher, Michael J. Wooldridge:
Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998) - [c28]Michael J. Wooldridge, Nicholas R. Jennings:
Pitfalls of Agent-Oriented Development. Agents 1998: 385-391 - [c27]Michael P. Georgeff, Barney Pell, Martha E. Pollack, Milind Tambe, Michael J. Wooldridge:
The Belief-Desire-Intention Model of Agency. ATAL 1998: 1-10 - [c26]Michael J. Wooldridge, Simon Parsons:
Intention Reconsideration Reconsidered. ATAL 1998: 63-79 - [c25]Michael J. Wooldridge, Jörg P. Müller:
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series. ATAL 1998: 427-441 - [c24]Michael J. Wooldridge:
A Knowledge-theoretic Approach to Distributed Problem Solving. ECAI 1998: 308-312 - [c23]Michael J. Wooldridge:
Verifiable Semantics for Agent Communication Languages. ICMAS 1998: 349-356 - [e5]Katia P. Sycara, Michael J. Wooldridge:
Proceedings of the Second International Conference on Autonomous Agents, AGENTS 1998, St. Paul, Minnepolis, USA, May 9-13, 1998. ACM 1998, ISBN 0-89791-983-1 [contents] - [e4]Munindar P. Singh, Anand S. Rao, Michael J. Wooldridge:
Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings. Lecture Notes in Computer Science 1365, Springer 1998, ISBN 3-540-64162-9 [contents] - 1997
- [j7]Innes A. Ferguson, Michael J. Wooldridge:
Paying Their Way: Commercial Digital Libraries for the 21st Century. D Lib Mag. 3(6) (1997) - [j6]Michael J. Wooldridge:
Agent-based software engineering. IEE Proc. Softw. Eng. 144(1): 26-37 (1997) - [j5]Michael Fisher, Michael J. Wooldridge:
On the Formal Specification and Verification of Multi-Agent Systems. Int. J. Cooperative Inf. Syst. 6(1): 37-66 (1997) - [j4]Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael J. Wooldridge:
Formalisms for multi-agent systems. Knowl. Eng. Rev. 12(3): 315-321 (1997) - [c22]Mark d'Inverno, David Kinny, Michael Luck, Michael J. Wooldridge:
A Formal Specification of dMARS. ATAL 1997: 155-176 - [c21]Michael J. Wooldridge, Afsaneh Haddadi:
Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 15-30 - [c20]Hyacinth S. Nwana, Michael J. Wooldridge:
Sofware Agent Technologies. Software Agents and Soft Computing 1997: 59-78 - [c19]Michael J. Wooldridge:
Issues in Agent-Based Software Engineering. CIA 1997: 1-18 - [c18]Mark d'Inverno, Michael Luck, Michael J. Wooldridge:
Cooperation Structures. IJCAI (1) 1997: 600-605 - [c17]Michael Fisher, Michael J. Wooldridge:
Distributed Problem-Solving as Concurrent Theorem Proving. MAAMAW 1997: 128-140 - [c16]David Derbyshire, Innes A. Ferguson, Jörg P. Müller, Markus Pischel, Michael J. Wooldridge:
Agent-Based Digital Libraries: Driving the Information Economy. WETICE 1997: 82-86 - [e3]Jörg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings:
Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings. Lecture Notes in Computer Science 1193, Springer 1997, ISBN 3-540-62507-0 [contents] - 1996
- [j3]Michael J. Wooldridge:
Reasoning about knowledge by Ronald Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi, MIT Press, Cambridge, MA, 1995, pp 477, $45.00 cloth, ISBN 0-262-06162-7. Knowl. Eng. Rev. 11(4): 374-377 (1996) - [c15]Michael J. Wooldridge:
Agents as a Rorschach Test: A Response to Franklin and Graesser. ATAL 1996: 47-48 - [c14]Michael J. Wooldridge:
A Knowledge-Theoretic Semantics for Concurrent METATEM. ATAL 1996: 357-374 - [c13]Michael Fisher, Michael J. Wooldridge, Clare Dixon:
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996: 178-192 - [c12]Michael J. Wooldridge:
Practical Reasoning with Procedural Knowledge. FAPR 1996: 663-678 - [c11]Michael J. Wooldridge, Stefan Bussmann, Marcus Klosterberg:
Production Sequencing as Negotiation. PAAM 1996: 709-726 - [e2]Michael J. Wooldridge, Jörg P. Müller, Milind Tambe:
Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1037, Springer 1996, ISBN 3-540-60805-2 [contents] - 1995
- [j2]Nicholas R. Jennings, Michael J. Wooldridge:
Applying agent technology. Appl. Artif. Intell. 9(4): 357-369 (1995) - [j1]Michael J. Wooldridge, Nicholas R. Jennings:
Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2): 115-152 (1995) - [c10]Michael J. Wooldridge:
Time, Knowledge, and Choice. ATAL 1995: 79-96 - [c9]Michael J. Wooldridge, Jörg P. Müller, Milind Tambe:
Agent Theories, Architectures, and Languages: A Bibliography. ATAL 1995: 408-431 - [c8]Adam Walker, Michael J. Wooldridge:
Understanding the Emergence of Conventions in Multi-Agent Systems. ICMAS 1995: 384-389 - [e1]Michael J. Wooldridge, Nicholas R. Jennings:
Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings. Lecture Notes in Computer Science 890, Springer 1995, ISBN 3-540-58855-8 [contents] - 1994
- [c7]Michael J. Wooldridge:
Coherent Social Action. ECAI 1994: 279-283 - [c6]Michael J. Wooldridge, Nicholas R. Jennings:
Agent Theories, Architectures, and Languages: A Survey. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 1-39 - [c5]Michael J. Wooldridge:
This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 160-178 - [c4]Michael J. Wooldridge, Michael Fisher:
A Decision Procedure for a Temporal Belief Logic. ICTL 1994: 317-331 - [c3]Michael J. Wooldridge, Nicholas R. Jennings:
Towards a Theory of Cooperative Problem Solving. MAAMAW 1994: 40-53 - 1993
- [c2]Michael Fisher, Michael J. Wooldridge:
Specifying and Verifying Distributed Intelligence Systems. EPIA 1993: 13-28 - 1992
- [b1]Michael J. Wooldridge:
The logical modelling of computational multi-agent systems. University of Manchester, UK, 1992 - [c1]Michael J. Wooldridge, Michael Fisher:
A First-Order Branching Time Logic of Multi-Agent System. ECAI 1992: 234-238
Coauthor Index
aka: Anisoara Calinescu
aka: Shaheen Fatima
aka: Tomasz Pawel Michalak
aka: Juan Antonio Rodríguez-Aguilar
aka: Piotr Lech Szczepanski
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint