iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/w/MichaelWooldridge.ris

Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/jair/FatimaJW24 AU - Fatima, Shaheen AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Learning to Resolve Social Dilemmas: A Survey. JO - J. Artif. Intell. Res. VL - 79 SP - 895 EP - 969 PY - 2024// DO - 10.1613/JAIR.1.15167 UR - https://doi.org/10.1613/jair.1.15167 ER - TY - JOUR ID - DBLP:journals/jair/MalfaPFWBNCSW24 AU - Malfa, Emanuele La AU - Petrov, Aleksandar AU - Frieder, Simon AU - Weinhuber, Christoph AU - Burnell, Ryan AU - Nazar, Raza AU - Cohn, Anthony G. AU - Shadbolt, Nigel AU - Wooldridge, Michael J. TI - Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. JO - J. Artif. Intell. Res. VL - 80 SP - 1497 EP - 1523 PY - 2024// DO - 10.1613/JAIR.1.15865 UR - https://doi.org/10.1613/jair.1.15865 ER - TY - CPAPER ID - DBLP:conf/aaai/HammondFECAW24 AU - Hammond, Lewis AU - Fox, James AU - Everitt, Tom AU - Carey, Ryan AU - Abate, Alessandro AU - Wooldridge, Michael J. TI - Reasoning about Causality in Games (Abstract Reprint). BT - 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 SP - 22697 PY - 2024// DO - 10.1609/AAAI.V38I20.30597 UR - https://doi.org/10.1609/aaai.v38i20.30597 ER - TY - CPAPER ID - DBLP:conf/annsim/Wickramasooriya24 AU - Wickramasooriya, Sureni AU - Mahmood, Imran AU - Calinescu, Anisoara AU - Wooldridge, Michael J. AU - Lanzaro, Gregory TI - Exploring The Dynamics of Gene Drive Mosquitoes Within Wild Populations Using an Agent-Based Simulation. BT - Annual Modeling and Simulation Conference, ANNSIM 2024, Washington, DC, USA, May 20-23, 2024 SP - 1 EP - 14 PY - 2024// DO - 10.23919/ANNSIM61499.2024.10732671 UR - https://doi.org/10.23919/ANNSIM61499.2024.10732671 ER - TY - CPAPER ID - DBLP:conf/atal/ChopraQKWR24 AU - Chopra, Ayush AU - Quera-Bofarull, Arnau AU - Kuru, Nurullah Giray AU - Wooldridge, Michael J. AU - Raskar, Ramesh TI - Private Agent-Based Modeling. BT - Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024 SP - 381 EP - 390 PY - 2024// DO - 10.5555/3635637.3662887 UR - https://dl.acm.org/doi/10.5555/3635637.3662887 ER - TY - CPAPER ID - DBLP:conf/atal/DyerQBFCW24 AU - Dyer, Joel AU - Quera-Bofarull, Arnau AU - Bishop, Nicholas AU - Farmer, J. Doyne AU - Calinescu, Anisoara AU - Wooldridge, Michael J. TI - Population Synthesis as Scenario Generation for Simulation-based Planning under Uncertainty. BT - Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024 SP - 490 EP - 498 PY - 2024// DO - 10.5555/3635637.3662899 UR - https://dl.acm.org/doi/10.5555/3635637.3662899 ER - TY - CPAPER ID - DBLP:conf/atal/Hyland0KW24 AU - Hyland, David AU - Gutierrez, Julian AU - Krishna, Shankaranarayanan AU - Wooldridge, Michael J. TI - Rational Verification with Quantitative Probabilistic Goals. BT - Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024 SP - 871 EP - 879 PY - 2024// DO - 10.5555/3635637.3662941 UR - https://dl.acm.org/doi/10.5555/3635637.3662941 ER - TY - CPAPER ID - DBLP:conf/csl/0001LNSW24 AU - Gutierrez, Julian AU - Lin, Anthony W. AU - Najib, Muhammad AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. BT - 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy SP - 32:1 EP - 32:25 PY - 2024// DO - 10.4230/LIPICS.CSL.2024.32 UR - https://doi.org/10.4230/LIPIcs.CSL.2024.32 ER - TY - CPAPER ID - DBLP:conf/emnlp/HuangMMA0W24 AU - Huang, X. Angelo AU - Malfa, Emanuele La AU - Marro, Samuele AU - Asperti, Andrea AU - Cohn, Anthony G. AU - Wooldridge, Michael J. TI - A Notion of Complexity for Theory of Mind via Discrete World Models. BT - Findings of the Association for Computational Linguistics: EMNLP 2024, Miami, Florida, USA, November 12-16, 2024 SP - 2964 EP - 2983 PY - 2024// UR - https://aclanthology.org/2024.findings-emnlp.167 ER - TY - CPAPER ID - DBLP:conf/ijcai/0001HNPW24 AU - Gutierrez, Julian AU - Hyland, David AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. BT - Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024 SP - 67 EP - 75 PY - 2024// UR - https://www.ijcai.org/proceedings/2024/8 ER - TY - CPAPER ID - DBLP:conf/ijcai/ZhouWVBSCW24 AU - Zhou, Hao AU - Wang, Yongzhao AU - Varsos, Konstantinos AU - Bishop, Nicholas AU - Savani, Rahul AU - Calinescu, Anisoara AU - Wooldridge, Michael J. TI - A Strategic Analysis of Prepayments in Financial Credit Networks. BT - Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024 SP - 3040 EP - 3048 PY - 2024// UR - https://www.ijcai.org/proceedings/2024/337 ER - TY - CPAPER ID - DBLP:conf/ijcai/FatimaJW24 AU - Fatima, Shaheen AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Learning to Resolve Social Dilemmas: A Survey (Abstract Reprint). BT - Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024 SP - 8477 PY - 2024// UR - https://www.ijcai.org/proceedings/2024/949 ER - TY - CONF ID - DBLP:conf/aaai/2024 ED - Wooldridge, Michael J. ED - Dy, Jennifer G. ED - Natarajan, Sriraam TI - 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 PY - 2024// PB - AAAI Press UR - https://ojs.aaai.org/index.php/AAAI/issue/view/576 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/577 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/578 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/579 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/580 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/581 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/582 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/583 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/584 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/585 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/586 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/587 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/588 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/589 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/590 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/591 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/592 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/593 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/594 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/595 UR - https://ojs.aaai.org/index.php/AAAI/issue/view/596 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2401-09074 AU - Malfa, Emanuele La AU - Weinhuber, Christoph AU - Torre, Orazio AU - Lin, Fangru AU - Cohn, Anthony G. AU - Shadbolt, Nigel AU - Wooldridge, Michael J. TI - Code Simulation Challenges for Large Language Models. JO - CoRR VL - abs/2401.09074 PY - 2024// DO - 10.48550/ARXIV.2401.09074 UR - https://doi.org/10.48550/arXiv.2401.09074 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2404-12983 AU - Chopra, Ayush AU - Quera-Bofarull, Arnau AU - Kuru, Nurullah Giray AU - Wooldridge, Michael J. AU - Raskar, Ramesh TI - Private Agent-Based Modeling. JO - CoRR VL - abs/2404.12983 PY - 2024// DO - 10.48550/ARXIV.2404.12983 UR - https://doi.org/10.48550/arXiv.2404.12983 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2404-17493 AU - Zennaro, Fabio Massimo AU - Bishop, Nicholas AU - Dyer, Joel AU - Felekis, Yorgos AU - Calinescu, Anisoara AU - Wooldridge, Michael J. AU - Damoulas, Theodoros TI - Causally Abstracted Multi-armed Bandits. JO - CoRR VL - abs/2404.17493 PY - 2024// DO - 10.48550/ARXIV.2404.17493 UR - https://doi.org/10.48550/arXiv.2404.17493 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2406-09318 AU - Mishra, Manuj AU - Fox, James AU - Wooldridge, Michael J. TI - Characterising Interventions in Causal Games. JO - CoRR VL - abs/2406.09318 PY - 2024// DO - 10.48550/ARXIV.2406.09318 UR - https://doi.org/10.48550/arXiv.2406.09318 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2406-11911 AU - Huang, X. Angelo AU - Malfa, Emanuele La AU - Marro, Samuele AU - Asperti, Andrea AU - Cohn, Anthony G. AU - Wooldridge, Michael J. TI - A Notion of Complexity for Theory of Mind via Discrete World Models. JO - CoRR VL - abs/2406.11911 PY - 2024// DO - 10.48550/ARXIV.2406.11911 UR - https://doi.org/10.48550/arXiv.2406.11911 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2407-03180 AU - Mahmood, Imran AU - Bishop, Nicholas AU - Calinescu, Anisoara AU - Wooldridge, Michael J. AU - Zachos, Ioannis TI - A multi-objective combinatorial optimisation framework for large scale hierarchical population synthesis. JO - CoRR VL - abs/2407.03180 PY - 2024// DO - 10.48550/ARXIV.2407.03180 UR - https://doi.org/10.48550/arXiv.2407.03180 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2409-06614 AU - Georgescu, Laura AU - Fox, James AU - Gautier, Anna AU - Wooldridge, Michael J. TI - Fixed-budget and Multiple-issue Quadratic Voting. JO - CoRR VL - abs/2409.06614 PY - 2024// DO - 10.48550/ARXIV.2409.06614 UR - https://doi.org/10.48550/arXiv.2409.06614 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2410-11005 AU - Lin, Fangru AU - Mao, Shaoguang AU - Malfa, Emanuele La AU - Hofmann, Valentin AU - Wynter, Adrian de AU - Yao, Jing AU - Chen, Si-Qing AU - Wooldridge, Michael J. AU - Wei, Furu TI - One Language, Many Gaps: Evaluating Dialect Fairness and Robustness of Large Language Models in Reasoning Tasks. JO - CoRR VL - abs/2410.11005 PY - 2024// DO - 10.48550/ARXIV.2410.11005 UR - https://doi.org/10.48550/arXiv.2410.11005 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2410-11905 AU - Marro, Samuele AU - Malfa, Emanuele La AU - Wright, Jesse AU - Li, Guohao AU - Shadbolt, Nigel AU - Wooldridge, Michael J. AU - Torr, Philip TI - A Scalable Communication Protocol for Networks of Large Language Models. JO - CoRR VL - abs/2410.11905 PY - 2024// DO - 10.48550/ARXIV.2410.11905 UR - https://doi.org/10.48550/arXiv.2410.11905 ER - TY - JOUR ID - DBLP:journals/ai/GutierrezKKSW23 AU - Gutierrez, Julian AU - Kowara, Szymon AU - Kraus, Sarit AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Cooperative concurrent games. JO - Artif. Intell. VL - 314 SP - 103806 PY - 2023// DO - 10.1016/J.ARTINT.2022.103806 UR - https://doi.org/10.1016/j.artint.2022.103806 ER - TY - JOUR ID - DBLP:journals/ai/HammondFECAW23 AU - Hammond, Lewis AU - Fox, James AU - Everitt, Tom AU - Carey, Ryan AU - Abate, Alessandro AU - Wooldridge, Michael J. TI - Reasoning about causality in games. JO - Artif. Intell. VL - 320 SP - 103919 PY - 2023/07/ DO - 10.1016/J.ARTINT.2023.103919 UR - https://doi.org/10.1016/j.artint.2023.103919 ER - TY - JOUR ID - DBLP:journals/amai/GutierrezNPW23 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - On the complexity of rational verification. JO - Ann. Math. Artif. Intell. VL - 91 IS - 4 SP - 409 EP - 430 PY - 2023/08/ DO - 10.1007/S10472-022-09804-3 UR - https://doi.org/10.1007/s10472-022-09804-3 ER - TY - JOUR ID - DBLP:journals/jossw/QueraBofarullDCFW23 AU - Quera-Bofarull, Arnau AU - Dyer, Joel AU - Calinescu, Anisoara AU - Farmer, J. Doyne AU - Wooldridge, Michael J. TI - BlackBIRDS: Black-Box Inference foR Differentiable Simulators. JO - J. Open Source Softw. VL - 8 IS - 90 SP - 5776 PY - 2023/10/ DO - 10.21105/JOSS.05776 UR - https://doi.org/10.21105/joss.05776 ER - TY - JOUR ID - DBLP:journals/mima/SerramiaRLRBBWA23 AU - Serramia, Marc AU - Rodriguez-Soto, Manel AU - López-Sánchez, Maite AU - Rodríguez-Aguilar, Juan A. AU - Bistaffa, Filippo AU - Boddington, Paula AU - Wooldridge, Michael J. AU - Ansótegui, Carlos TI - Encoding Ethics to Compute Value-Aligned Norms. JO - Minds Mach. VL - 33 IS - 4 SP - 761 EP - 790 PY - 2023/12/ DO - 10.1007/S11023-023-09649-7 UR - https://doi.org/10.1007/s11023-023-09649-7 ER - TY - JOUR ID - DBLP:journals/tai/HanWROT23 AU - Han, Dongge AU - Wooldridge, Michael J. AU - Rogers, Alex AU - Ohrimenko, Olga AU - Tschiatschek, Sebastian TI - Replication Robust Payoff Allocation in Submodular Cooperative Games. JO - IEEE Trans. Artif. Intell. VL - 4 IS - 5 SP - 1114 EP - 1128 PY - 2023/10/ DO - 10.1109/TAI.2022.3195686 UR - https://doi.org/10.1109/TAI.2022.3195686 ER - TY - CPAPER ID - DBLP:conf/aaai/GautierLHW23 AU - Gautier, Anna AU - Lacerda, Bruno AU - Hawes, Nick AU - Wooldridge, Michael J. TI - Multi-Unit Auctions for Allocating Chance-Constrained Resources. BT - Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023 SP - 11560 EP - 11568 PY - 2023// DO - 10.1609/AAAI.V37I10.26366 UR - https://doi.org/10.1609/aaai.v37i10.26366 ER - TY - CPAPER ID - DBLP:conf/atal/GautierRLHW23 AU - Gautier, Anna AU - Rigter, Marc AU - Lacerda, Bruno AU - Hawes, Nick AU - Wooldridge, Michael J. TI - Risk-Constrained Planning for Multi-Agent Systems with Shared Resources. BT - Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023 SP - 113 EP - 121 PY - 2023// DO - 10.5555/3545946.3598626 UR - https://dl.acm.org/doi/10.5555/3545946.3598626 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaW23 AU - Fatima, Shaheen AU - Wooldridge, Michael J. TI - Optimal Coalition Structures for Probabilistically Monotone Partition Function Games. BT - Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023 SP - 522 EP - 524 PY - 2023// DO - 10.5555/3545946.3598679 UR - https://dl.acm.org/doi/10.5555/3545946.3598679 ER - TY - CPAPER ID - DBLP:conf/atal/Quera-BofarullC23 AU - Quera-Bofarull, Arnau AU - Chopra, Ayush AU - Aylett-Bullock, Joseph AU - Cuesta-Lázaro, Carolina AU - Calinescu, Anisoara AU - Raskar, Ramesh AU - Wooldridge, Michael J. TI - Don't Simulate Twice: One-Shot Sensitivity Analyses via Automatic Differentiation. BT - Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023 SP - 1867 EP - 1876 PY - 2023// DO - 10.5555/3545946.3598853 UR - https://dl.acm.org/doi/10.5555/3545946.3598853 ER - TY - CPAPER ID - DBLP:conf/atal/LeeHAEG0HW23 AU - Lee, Wei-Chen AU - Hyland, David AU - Abate, Alessandro AU - Elkind, Edith AU - Gan, Jiarui AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - k-Prize Weighted Voting Game. BT - Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023 SP - 2049 EP - 2057 PY - 2023// DO - 10.5555/3545946.3598878 UR - https://dl.acm.org/doi/10.5555/3545946.3598878 ER - TY - CPAPER ID - DBLP:conf/ecai/AbateAFHW23 AU - Abate, Alessandro AU - Almulla, Yousif AU - Fox, James AU - Hyland, David AU - Wooldridge, Michael J. TI - Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. BT - ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) SP - 3 EP - 10 PY - 2023// DO - 10.3233/FAIA230247 UR - https://doi.org/10.3233/FAIA230247 ER - TY - CPAPER ID - DBLP:conf/ecai/ShakiKW23 AU - Shaki, Jonathan AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Cognitive Effects in Large Language Models. BT - ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) SP - 2105 EP - 2112 PY - 2023// DO - 10.3233/FAIA230505 UR - https://doi.org/10.3233/FAIA230505 ER - TY - CPAPER ID - DBLP:conf/icaif/DyerQCFCW23 AU - Dyer, Joel AU - Quera-Bofarull, Arnau AU - Chopra, Ayush AU - Farmer, J. Doyne AU - Calinescu, Anisoara AU - Wooldridge, Michael J. TI - Gradient-Assisted Calibration for Financial Agent-Based Models. BT - 4th ACM International Conference on AI in Finance, ICAIF 2023, Brooklyn, NY, USA, November 27-29, 2023 SP - 288 EP - 296 PY - 2023// DO - 10.1145/3604237.3626857 UR - https://doi.org/10.1145/3604237.3626857 ER - TY - CPAPER ID - DBLP:conf/ijcai/Hyland0W23 AU - Hyland, David AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Principal-Agent Boolean Games. BT - Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China SP - 144 EP - 152 PY - 2023// DO - 10.24963/IJCAI.2023/17 UR - https://doi.org/10.24963/ijcai.2023/17 ER - TY - CPAPER ID - DBLP:journals/corr/abs-2307-05059 AU - Fox, James AU - MacDermott, Matt AU - Hammond, Lewis AU - Harrenstein, Paul AU - Abate, Alessandro AU - Wooldridge, Michael J. TI - On Imperfect Recall in Multi-Agent Influence Diagrams. BT - Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. SP - 201 EP - 220 PY - 2023// DO - 10.4204/EPTCS.379.17 UR - https://doi.org/10.4204/EPTCS.379.17 UR - https://doi.org/10.48550/arXiv.2307.05059 ER - TY - CPAPER ID - DBLP:journals/corr/abs-2307-05076 AU - Hyland, David AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Incentive Engineering for Concurrent Games. BT - Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. SP - 344 EP - 358 PY - 2023// DO - 10.4204/EPTCS.379.28 UR - https://doi.org/10.4204/EPTCS.379.28 UR - https://doi.org/10.48550/arXiv.2307.05076 ER - TY - DATA ID - DBLP:data/10/QueraBofarullDCFW23 AU - Quera-Bofarull, Arnau AU - Dyer, Joel AU - Calinescu, Anisoara AU - Farmer, J. Doyne AU - Wooldridge, Michael J. TI - BlackBIRDS: Black-Box Inference foR Differentiable Simulators. PY - 2023/09/ PB - Zenodo DO - 10.5281/ZENODO.8377044 UR - https://doi.org/10.5281/zenodo.8377044 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2301-02324 AU - Hammond, Lewis AU - Fox, James AU - Everitt, Tom AU - Carey, Ryan AU - Abate, Alessandro AU - Wooldridge, Michael J. TI - Reasoning about Causality in Games. JO - CoRR VL - abs/2301.02324 PY - 2023// DO - 10.48550/ARXIV.2301.02324 UR - https://doi.org/10.48550/arXiv.2301.02324 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2301-06157 AU - Gutierrez, Julian AU - Kowara, Szymon AU - Kraus, Sarit AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Cooperative Concurrent Games. JO - CoRR VL - abs/2301.06157 PY - 2023// DO - 10.48550/ARXIV.2301.06157 UR - https://doi.org/10.48550/arXiv.2301.06157 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2302-13888 AU - Lee, Wei-Chen AU - Hyland, David AU - Abate, Alessandro AU - Elkind, Edith AU - Gan, Jiarui AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - k-Prize Weighted Voting Games. JO - CoRR VL - abs/2302.13888 PY - 2023// DO - 10.48550/ARXIV.2302.13888 UR - https://doi.org/10.48550/arXiv.2302.13888 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2305-10334 AU - Hyland, David AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Principal-Agent Boolean Games. JO - CoRR VL - abs/2305.10334 PY - 2023// DO - 10.48550/ARXIV.2305.10334 UR - https://doi.org/10.48550/arXiv.2305.10334 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2305-15340 AU - Quera-Bofarull, Arnau AU - Chopra, Ayush AU - Calinescu, Anisoara AU - Wooldridge, Michael J. AU - Dyer, Joel TI - Bayesian calibration of differentiable agent-based models. JO - CoRR VL - abs/2305.15340 PY - 2023// DO - 10.48550/ARXIV.2305.15340 UR - https://doi.org/10.48550/arXiv.2305.15340 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2306-03045 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. JO - CoRR VL - abs/2306.03045 PY - 2023// DO - 10.48550/ARXIV.2306.03045 UR - https://doi.org/10.48550/arXiv.2306.03045 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2307-01085 AU - Quera-Bofarull, Arnau AU - Dyer, Joel AU - Calinescu, Anisoara AU - Wooldridge, Michael J. TI - Some challenges of calibrating differentiable agent-based models. JO - CoRR VL - abs/2307.01085 PY - 2023// DO - 10.48550/ARXIV.2307.01085 UR - https://doi.org/10.48550/arXiv.2307.01085 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2308-14337 AU - Shaki, Jonathan AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Cognitive Effects in Large Language Models. JO - CoRR VL - abs/2308.14337 PY - 2023// DO - 10.48550/ARXIV.2308.14337 UR - https://doi.org/10.48550/arXiv.2308.14337 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2309-16573 AU - Malfa, Emanuele La AU - Petrov, Aleksandar AU - Frieder, Simon AU - Weinhuber, Christoph AU - Burnell, Ryan AU - Cohn, Anthony G. AU - Shadbolt, Nigel AU - Wooldridge, Michael J. TI - The ARRT of Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges. JO - CoRR VL - abs/2309.16573 PY - 2023// DO - 10.48550/ARXIV.2309.16573 UR - https://doi.org/10.48550/arXiv.2309.16573 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2311-15883 AU - Gutierrez, Julian AU - Lin, Anthony W. AU - Najib, Muhammad AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). JO - CoRR VL - abs/2311.15883 PY - 2023// DO - 10.48550/ARXIV.2311.15883 UR - https://doi.org/10.48550/arXiv.2311.15883 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2312-11158 AU - Dyer, Joel AU - Bishop, Nicholas AU - Felekis, Yorgos AU - Zennaro, Fabio Massimo AU - Calinescu, Anisoara AU - Damoulas, Theodoros AU - Wooldridge, Michael J. TI - Interventionally Consistent Surrogates for Agent-based Simulators. JO - CoRR VL - abs/2312.11158 PY - 2023// DO - 10.48550/ARXIV.2312.11158 UR - https://doi.org/10.48550/arXiv.2312.11158 ER - TY - JOUR ID - DBLP:journals/aamas/FatimaW22 AU - Fatima, Shaheen AU - Wooldridge, Michael J. TI - Optimal coalition structures for probabilistically monotone partition function games. JO - Auton. Agents Multi Agent Syst. VL - 36 IS - 1 SP - 27 PY - 2022// DO - 10.1007/S10458-022-09555-9 UR - https://doi.org/10.1007/s10458-022-09555-9 ER - TY - JOUR ID - DBLP:journals/ai/GanEKW22 AU - Gan, Jiarui AU - Elkind, Edith AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Defense coordination in security games: Equilibrium analysis and mechanism design. JO - Artif. Intell. VL - 313 SP - 103791 PY - 2022// DO - 10.1016/J.ARTINT.2022.103791 UR - https://doi.org/10.1016/j.artint.2022.103791 ER - TY - JOUR ID - DBLP:journals/aicom/AlbrechtW22 AU - Albrecht, Stefano V. AU - Wooldridge, Michael J. TI - Multi-agent systems research in the United Kingdom. JO - AI Commun. VL - 35 IS - 4 SP - 269 EP - 270 PY - 2022// DO - 10.3233/AIC-229003 UR - https://doi.org/10.3233/AIC-229003 ER - TY - JOUR ID - DBLP:journals/expert/GautierW22 AU - Gautier, Anna AU - Wooldridge, Michael J. TI - Understanding Mechanism Design - Part 3 of 3: Mechanism Design in the Real World: The VCG Mechanism. JO - IEEE Intell. Syst. VL - 37 IS - 1 SP - 108 EP - 109 PY - 2022// DO - 10.1109/MIS.2021.3129085 UR - https://doi.org/10.1109/MIS.2021.3129085 ER - TY - JOUR ID - DBLP:journals/expert/Wooldridge22 AU - Wooldridge, Michael J. TI - Welcome to Big AI. JO - IEEE Intell. Syst. VL - 37 IS - 3 SP - 24 EP - 26 PY - 2022// DO - 10.1109/MIS.2022.3184429 UR - https://doi.org/10.1109/MIS.2022.3184429 ER - TY - JOUR ID - DBLP:journals/games/ZahoranskyGHW22 AU - Zahoransky, Valeria AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - Partial Order Games. JO - Games VL - 13 IS - 1 SP - 2 PY - 2022// DO - 10.3390/G13010002 UR - https://doi.org/10.3390/g13010002 ER - TY - JOUR ID - DBLP:journals/games/GutierrezSW22 AU - Gutierrez, Julian AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Mean-Payoff Games with ω-Regular Specifications. JO - Games VL - 13 IS - 1 SP - 19 PY - 2022// DO - 10.3390/G13010019 UR - https://doi.org/10.3390/g13010019 ER - TY - JOUR ID - DBLP:journals/tist/WaniekMWR22 AU - Waniek, Marcin AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. AU - Rahwan, Talal TI - How Members of Covert Networks Conceal the Identities of Their Leaders. JO - ACM Trans. Intell. Syst. Technol. VL - 13 IS - 1 SP - 12:1 EP - 12:29 PY - 2022// DO - 10.1145/3490462 UR - https://doi.org/10.1145/3490462 ER - TY - CPAPER ID - DBLP:conf/atal/GautierSLHW22 AU - Gautier, Anna AU - Stephens, Alex AU - Lacerda, Bruno AU - Hawes, Nick AU - Wooldridge, Michael J. TI - Negotiated Path Planning for Non-Cooperative Multi-Robot Systems. BT - 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022 SP - 472 EP - 480 PY - 2022// UR - https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p472.pdf UR - https://dl.acm.org/doi/10.5555/3535850.3535904 ER - TY - CPAPER ID - DBLP:conf/atal/HanLMW22 AU - Han, Dongge AU - Lu, Chris Xiaoxuan AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - Multiagent Model-based Credit Assignment for Continuous Control. BT - 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022 SP - 571 EP - 579 PY - 2022// UR - https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p571.pdf UR - https://dl.acm.org/doi/10.5555/3535850.3535915 ER - TY - CPAPER ID - DBLP:conf/time/0001KPW22 AU - Gutierrez, Julian AU - Kraus, Sarit AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Giving Instructions in Linear Temporal Logic. BT - 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference. SP - 15:1 EP - 15:14 PY - 2022// DO - 10.4230/LIPICS.TIME.2022.15 UR - https://doi.org/10.4230/LIPIcs.TIME.2022.15 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2207-02637 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - On the Complexity of Rational Verification. JO - CoRR VL - abs/2207.02637 PY - 2022// DO - 10.48550/ARXIV.2207.02637 UR - https://doi.org/10.48550/arXiv.2207.02637 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2208-11838 AU - Abate, Alessandro AU - Almulla, Yousif AU - Fox, James AU - Hyland, David AU - Wooldridge, Michael J. TI - Learning Task Automata for Reinforcement Learning using Hidden Markov Models. JO - CoRR VL - abs/2208.11838 PY - 2022// DO - 10.48550/ARXIV.2208.11838 UR - https://doi.org/10.48550/arXiv.2208.11838 ER - TY - JOUR ID - DBLP:journals/access/PintoWV21 AU - Pinto, Tiago AU - Wooldridge, Michael J. AU - Vale, Zita A. TI - Consumer Flexibility Aggregation Using Partition Function Games With Non-Transferable Utility. JO - IEEE Access VL - 9 SP - 51519 EP - 51535 PY - 2021// DO - 10.1109/ACCESS.2021.3069416 UR - https://doi.org/10.1109/ACCESS.2021.3069416 ER - TY - JOUR ID - DBLP:journals/acta/GutierrezMPRSW21 AU - Gutierrez, Julian AU - Murano, Aniello AU - Perelli, Giuseppe AU - Rubin, Sasha AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Equilibria for games with combined qualitative and quantitative objectives. JO - Acta Informatica VL - 58 IS - 6 SP - 585 EP - 610 PY - 2021// DO - 10.1007/S00236-020-00385-4 UR - https://doi.org/10.1007/s00236-020-00385-4 ER - TY - JOUR ID - DBLP:journals/apin/AbateGHHKNPSW21 AU - Abate, Alessandro AU - Gutierrez, Julian AU - Hammond, Lewis AU - Harrenstein, Paul AU - Kwiatkowska, Marta AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Rational verification: game-theoretic verification of multi-agent systems. JO - Appl. Intell. VL - 51 IS - 9 SP - 6569 EP - 6584 PY - 2021// DO - 10.1007/S10489-021-02658-Y UR - https://doi.org/10.1007/s10489-021-02658-y ER - TY - JOUR ID - DBLP:journals/expert/RosenscheinW21 AU - Rosenschein, Jeffrey S. AU - Wooldridge, Michael J. TI - Understanding Mechanism Design - Part 2 of 3: The Vickrey-Clarke-Groves Mechanism. JO - IEEE Intell. Syst. VL - 36 IS - 3 SP - 80 EP - 81 PY - 2021// DO - 10.1109/MIS.2021.3076700 UR - https://doi.org/10.1109/MIS.2021.3076700 ER - TY - JOUR ID - DBLP:journals/iandc/GutierrezPW21 AU - Gutierrez, Julian AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Multi-player games with LDL goals over finite traces. JO - Inf. Comput. VL - 276 SP - 104555 PY - 2021// DO - 10.1016/J.IC.2020.104555 UR - https://doi.org/10.1016/j.ic.2020.104555 ER - TY - JOUR ID - DBLP:journals/iandc/HanHNPW21 AU - Han, Dongge AU - Harrenstein, Paul AU - Nugent, Steven AU - Philpott, Jonathan AU - Wooldridge, Michael J. TI - Behavioural strategies in weighted Boolean games. JO - Inf. Comput. VL - 276 SP - 104556 PY - 2021// DO - 10.1016/J.IC.2020.104556 UR - https://doi.org/10.1016/j.ic.2020.104556 ER - TY - JOUR ID - DBLP:journals/tocl/GutierrezHPW21 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Expressiveness and Nash Equilibrium in Iterated Boolean Games. JO - ACM Trans. Comput. Log. VL - 22 IS - 2 SP - 8:1 EP - 8:38 PY - 2021// DO - 10.1145/3439900 UR - https://doi.org/10.1145/3439900 ER - TY - CPAPER ID - DBLP:conf/atal/HammondFEAW21 AU - Hammond, Lewis AU - Fox, James AU - Everitt, Tom AU - Abate, Alessandro AU - Wooldridge, Michael J. TI - Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. BT - AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. SP - 574 EP - 582 PY - 2021// UR - https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p574.pdf UR - https://dl.acm.org/doi/10.5555/3463952.3464023 ER - TY - CPAPER ID - DBLP:conf/atal/HammondA0W21 AU - Hammond, Lewis AU - Abate, Alessandro AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Multi-Agent Reinforcement Learning with Temporal Logic Specifications. BT - AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. SP - 583 EP - 592 PY - 2021// UR - https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p583.pdf UR - https://dl.acm.org/doi/10.5555/3463952.3464024 ER - TY - CPAPER ID - DBLP:conf/atal/Steeples0W21 AU - Steeples, Thomas AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Mean-Payoff Games with ω-Regular Specifications. BT - AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. SP - 1272 EP - 1280 PY - 2021// UR - https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1272.pdf UR - https://dl.acm.org/doi/10.5555/3463952.3464099 ER - TY - CPAPER ID - DBLP:conf/kr/0001HLNW21 AU - Gutierrez, Julian AU - Hammond, Lewis AU - Lin, Anthony W. AU - Najib, Muhammad AU - Wooldridge, Michael J. TI - Rational Verification for Probabilistic Systems. BT - Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. SP - 312 EP - 322 PY - 2021// DO - 10.24963/KR.2021/30 UR - https://doi.org/10.24963/kr.2021/30 ER - TY - CPAPER ID - DBLP:conf/scipy/FoxECLAW21 AU - Fox, James AU - Everitt, Tom AU - Carey, Ryan AU - Langlois, Eric D. AU - Abate, Alessandro AU - Wooldridge, Michael J. TI - PyCID: A Python Library for Causal Influence Diagrams. BT - Proceedings of the 20th Python in Science Conference 2021 (SciPy 2021), Virtual Conference, July 12 - July 18, 2021 SP - 65 EP - 73 PY - 2021// DO - 10.25080/MAJORA-1B6FD038-008 UR - https://doi.org/10.25080/majora-1b6fd038-008 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2102-00582 AU - Hammond, Lewis AU - Abate, Alessandro AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Multi-Agent Reinforcement Learning with Temporal Logic Specifications. JO - CoRR VL - abs/2102.00582 PY - 2021// UR - https://arxiv.org/abs/2102.00582 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2102-05008 AU - Hammond, Lewis AU - Fox, James AU - Everitt, Tom AU - Abate, Alessandro AU - Wooldridge, Michael J. TI - Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. JO - CoRR VL - abs/2102.05008 PY - 2021// UR - https://arxiv.org/abs/2102.05008 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2106-10192 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Equilibrium Design for Concurrent Games. JO - CoRR VL - abs/2106.10192 PY - 2021// UR - https://arxiv.org/abs/2106.10192 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2107-09119 AU - Gutierrez, Julian AU - Hammond, Lewis AU - Lin, Anthony W. AU - Najib, Muhammad AU - Wooldridge, Michael J. TI - Rational Verification for Probabilistic Systems. JO - CoRR VL - abs/2107.09119 PY - 2021// UR - https://arxiv.org/abs/2107.09119 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2110-09196 AU - Han, Dongge AU - Wooldridge, Michael J. AU - Tschiatschek, Sebastian TI - MDP Abstraction with Successor Features. JO - CoRR VL - abs/2110.09196 PY - 2021// UR - https://arxiv.org/abs/2110.09196 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2112-13937 AU - Han, Dongge AU - Lu, Chris Xiaoxuan AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - Multiagent Model-based Credit Assignment for Continuous Control. JO - CoRR VL - abs/2112.13937 PY - 2021// UR - https://arxiv.org/abs/2112.13937 ER - TY - JOUR ID - DBLP:journals/aamas/SkibskiMSWY20 AU - Skibski, Oskar AU - Michalak, Tomasz P. AU - Sakurai, Yuko AU - Wooldridge, Michael J. AU - Yokoo, Makoto TI - Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities. JO - Auton. Agents Multi Agent Syst. VL - 34 IS - 1 SP - 11 PY - 2020// DO - 10.1007/S10458-019-09429-7 UR - https://doi.org/10.1007/s10458-019-09429-7 ER - TY - JOUR ID - DBLP:journals/ai/GutierrezNPW20 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. JO - Artif. Intell. VL - 287 SP - 103353 PY - 2020// DO - 10.1016/J.ARTINT.2020.103353 UR - https://doi.org/10.1016/j.artint.2020.103353 ER - TY - JOUR ID - DBLP:journals/ai/Wooldridge20 AU - Wooldridge, Michael J. TI - Artificial Intelligence requires more than deep learning - but what, exactly? JO - Artif. Intell. VL - 289 SP - 103386 PY - 2020// DO - 10.1016/J.ARTINT.2020.103386 UR - https://doi.org/10.1016/j.artint.2020.103386 ER - TY - JOUR ID - DBLP:journals/expert/Wooldridge20 AU - Wooldridge, Michael J. TI - Through the Veil of Ignorance: Understanding Social Welfare. JO - IEEE Intell. Syst. VL - 35 IS - 2 SP - 99 EP - 101 PY - 2020// DO - 10.1109/MIS.2020.2980693 UR - https://doi.org/10.1109/MIS.2020.2980693 ER - TY - JOUR ID - DBLP:journals/expert/Wooldridge20a AU - Wooldridge, Michael J. TI - Understanding Mechanism Design-Part 1 of 3. JO - IEEE Intell. Syst. VL - 35 IS - 4 SP - 110 EP - 111 PY - 2020// DO - 10.1109/MIS.2020.3000668 UR - https://doi.org/10.1109/MIS.2020.3000668 ER - TY - JOUR ID - DBLP:journals/tai/DunneHKW20 AU - Dunne, Paul E. AU - Harrenstein, Paul AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Delegating Decisions in Strategic Settings. JO - IEEE Trans. Artif. Intell. VL - 1 IS - 1 SP - 19 EP - 33 PY - 2020// DO - 10.1109/TAI.2020.3031545 UR - https://doi.org/10.1109/TAI.2020.3031545 ER - TY - CPAPER ID - DBLP:conf/atal/GanEKW20 AU - Gan, Jiarui AU - Elkind, Edith AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Mechanism Design for Defense Coordination in Security Games. BT - Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020 SP - 402 EP - 410 PY - 2020// DO - 10.5555/3398761.3398812 UR - https://dl.acm.org/doi/10.5555/3398761.3398812 UR - https://www.ifaamas.org/Proceedings/aamas2020/pdfs/p402.pdf ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2001-00065 AU - Tarkowski, Mateusz Krzysztof AU - Matejczyk, Szymon AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - Monte Carlo Techniques for Approximating the Myerson Value - Theoretical and Empirical Analysis. JO - CoRR VL - abs/2001.00065 PY - 2020// UR - http://arxiv.org/abs/2001.00065 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2006-14583 AU - Han, Dongge AU - Tople, Shruti AU - Rogers, Alex AU - Wooldridge, Michael J. AU - Ohrimenko, Olga AU - Tschiatschek, Sebastian TI - Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces. JO - CoRR VL - abs/2006.14583 PY - 2020// UR - https://arxiv.org/abs/2006.14583 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2008-05638 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. JO - CoRR VL - abs/2008.05638 PY - 2020// UR - https://arxiv.org/abs/2008.05638 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2008-05643 AU - Gutierrez, Julian AU - Murano, Aniello AU - Perelli, Giuseppe AU - Rubin, Sasha AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Equilibria for Games with Combined Qualitative and Quantitative Objectives. JO - CoRR VL - abs/2008.05643 PY - 2020// UR - https://arxiv.org/abs/2008.05643 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2008-05647 AU - Gutierrez, Julian AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Multi-Player Games with LDL Goals over Finite Traces. JO - CoRR VL - abs/2008.05647 PY - 2020// UR - https://arxiv.org/abs/2008.05647 ER - TY - JOUR ID - DBLP:journals/aamas/FatimaW19 AU - Fatima, Shaheen AU - Wooldridge, Michael J. TI - Computing optimal coalition structures in polynomial time. JO - Auton. Agents Multi Agent Syst. VL - 33 IS - 1-2 SP - 35 EP - 83 PY - 2019// DO - 10.1007/S10458-018-9398-8 UR - https://doi.org/10.1007/s10458-018-9398-8 ER - TY - JOUR ID - DBLP:journals/ai/MarchioniW19 AU - Marchioni, Enrico AU - Wooldridge, Michael J. TI - Łukasiewicz logics for cooperative games. JO - Artif. Intell. VL - 275 SP - 252 EP - 278 PY - 2019// DO - 10.1016/J.ARTINT.2019.03.003 UR - https://doi.org/10.1016/j.artint.2019.03.003 ER - TY - JOUR ID - DBLP:journals/lmcs/0001HPW19 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Nash Equilibrium and Bisimulation Invariance. JO - Log. Methods Comput. Sci. VL - 15 IS - 3 PY - 2019// DO - 10.23638/LMCS-15(3:32)2019 UR - https://doi.org/10.23638/LMCS-15(3:32)2019 ER - TY - JOUR ID - DBLP:journals/logcom/GrossiHMW19 AU - Grossi, Davide AU - Hoek, Wiebe van der AU - Moyzes, Christos AU - Wooldridge, Michael J. TI - Program models and semi-public environments. JO - J. Log. Comput. VL - 29 IS - 7 SP - 1071 EP - 1097 PY - 2019// DO - 10.1093/LOGCOM/EXV086 UR - https://doi.org/10.1093/logcom/exv086 ER - TY - JOUR ID - DBLP:journals/taas/AlShebliMSWR19 AU - AlShebli, Bedoor K. AU - Michalak, Tomasz P. AU - Skibski, Oskar AU - Wooldridge, Michael J. AU - Rahwan, Talal TI - A Measure of Added Value in Groups. JO - ACM Trans. Auton. Adapt. Syst. VL - 13 IS - 4 SP - 18:1 EP - 18:46 PY - 2019// DO - 10.1145/3335547 UR - https://doi.org/10.1145/3335547 ER - TY - JOUR ID - DBLP:journals/tist/SkibskiRMW19 AU - Skibski, Oskar AU - Rahwan, Talal AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - Enumerating Connected Subgraphs and Computing the Myerson and Shapley Values in Graph-Restricted Games. JO - ACM Trans. Intell. Syst. Technol. VL - 10 IS - 2 SP - 15:1 EP - 15:25 PY - 2019// DO - 10.1145/3235026 UR - https://doi.org/10.1145/3235026 ER - TY - CPAPER ID - DBLP:conf/atal/GutierrezKW19 AU - Gutierrez, Julian AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Cooperative Concurrent Games. BT - Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019 SP - 1198 EP - 1206 PY - 2019// UR - http://dl.acm.org/citation.cfm?id=3331822 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaW19 AU - Fatima, Shaheen AU - Wooldridge, Michael J. TI - Computing Optimal Coalition Structures in Polynomial Time. BT - Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019 SP - 1702 EP - 1703 PY - 2019// UR - http://dl.acm.org/citation.cfm?id=3331899 ER - TY - CPAPER ID - DBLP:conf/atal/HanBWR19 AU - Han, Dongge AU - Boehmer, Wendelin AU - Wooldridge, Michael J. AU - Rogers, Alex TI - Multi-Agent Hierarchical Reinforcement Learning with Dynamic Termination. BT - Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019 SP - 2006 EP - 2008 PY - 2019// UR - http://dl.acm.org/citation.cfm?id=3331992 ER - TY - CPAPER ID - DBLP:conf/concur/GutierrezNPW19 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Equilibrium Design for Concurrent Games. BT - 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. SP - 22:1 EP - 22:16 PY - 2019// DO - 10.4230/LIPICS.CONCUR.2019.22 UR - https://doi.org/10.4230/LIPIcs.CONCUR.2019.22 ER - TY - CPAPER ID - DBLP:conf/ec/GanXGTRW19 AU - Gan, Jiarui AU - Xu, Haifeng AU - Guo, Qingyu AU - Tran-Thanh, Long AU - Rabinovich, Zinovi AU - Wooldridge, Michael J. TI - Imitative Follower Deception in Stackelberg Games. BT - Proceedings of the 2019 ACM Conference on Economics and Computation, EC 2019, Phoenix, AZ, USA, June 24-28, 2019. SP - 639 EP - 657 PY - 2019// DO - 10.1145/3328526.3329629 UR - https://doi.org/10.1145/3328526.3329629 ER - TY - CPAPER ID - DBLP:conf/ijcai/0001NPW19 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - On Computational Tractability for Rational Verification. BT - Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019 SP - 329 EP - 335 PY - 2019// DO - 10.24963/IJCAI.2019/47 UR - https://doi.org/10.24963/ijcai.2019/47 ER - TY - CPAPER ID - DBLP:conf/nips/GanGTAW19 AU - Gan, Jiarui AU - Guo, Qingyu AU - Tran-Thanh, Long AU - An, Bo AU - Wooldridge, Michael J. TI - Manipulating a Learning Defender and Ways to Counteract. BT - Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada. SP - 8272 EP - 8281 PY - 2019// UR - https://proceedings.neurips.cc/paper/2019/hash/c4819d06b0ca810d38506453cfaae9d8-Abstract.html UR - http://papers.nips.cc/paper/9037-manipulating-a-learning-defender-and-ways-to-counteract ER - TY - CPAPER ID - DBLP:conf/pricai/HanBWR19 AU - Han, Dongge AU - Böhmer, Wendelin AU - Wooldridge, Michael J. AU - Rogers, Alex TI - Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. BT - PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part II SP - 80 EP - 92 PY - 2019// DO - 10.1007/978-3-030-29911-8_7 UR - https://doi.org/10.1007/978-3-030-29911-8_7 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1903-02917 AU - Gan, Jiarui AU - Xu, Haifeng AU - Guo, Qingyu AU - Tran-Thanh, Long AU - Rabinovich, Zinovi AU - Wooldridge, Michael J. TI - Imitative Follower Deception in Stackelberg Games. JO - CoRR VL - abs/1903.02917 PY - 2019// UR - http://arxiv.org/abs/1903.02917 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1905-11759 AU - Gan, Jiarui AU - Guo, Qingyu AU - Tran-Thanh, Long AU - An, Bo AU - Wooldridge, Michael J. TI - Manipulating a Learning Defender and Ways to Counteract. JO - CoRR VL - abs/1905.11759 PY - 2019// UR - http://arxiv.org/abs/1905.11759 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1910-09508 AU - Han, Dongge AU - Boehmer, Wendelin AU - Wooldridge, Michael J. AU - Rogers, Alex TI - Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. JO - CoRR VL - abs/1910.09508 PY - 2019// UR - http://arxiv.org/abs/1910.09508 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1912-12846 AU - Tarkowski, Mateusz Krzysztof AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - A Game-Theoretic Algorithm for Link Prediction. JO - CoRR VL - abs/1912.12846 PY - 2019// UR - http://arxiv.org/abs/1912.12846 ER - TY - JOUR ID - DBLP:journals/aamas/MoralesWRL18 AU - Morales, Javier AU - Wooldridge, Michael J. AU - Rodríguez-Aguilar, Juan A. AU - López-Sánchez, Maite TI - Off-line synthesis of evolutionarily stable normative systems. JO - Auton. Agents Multi Agent Syst. VL - 32 IS - 5 SP - 635 EP - 671 PY - 2018// DO - 10.1007/S10458-018-9390-3 UR - https://doi.org/10.1007/s10458-018-9390-3 UR - https://www.wikidata.org/entity/Q62494361 ER - TY - JOUR ID - DBLP:journals/ai/SlessHKW18 AU - Sless, Liat AU - Hazon, Noam AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Forming k coalitions and facilitating relationships in social networks. JO - Artif. Intell. VL - 259 SP - 217 EP - 245 PY - 2018// DO - 10.1016/J.ARTINT.2018.03.004 UR - https://doi.org/10.1016/j.artint.2018.03.004 ER - TY - JOUR ID - DBLP:journals/expert/PaulinCW18 AU - Paulin, James AU - Calinescu, Anisoara AU - Wooldridge, Michael J. TI - Agent-Based Modeling for Complex Financial Systems. JO - IEEE Intell. Syst. VL - 33 IS - 2 SP - 74 EP - 82 PY - 2018// DO - 10.1109/MIS.2018.022441352 UR - https://doi.org/10.1109/MIS.2018.022441352 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2018.022441352 ER - TY - JOUR ID - DBLP:journals/geb/SkibskiMW18 AU - Skibski, Oskar AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - The Stochastic Shapley Value for coalitional games with externalities. JO - Games Econ. Behav. VL - 108 SP - 65 EP - 80 PY - 2018// DO - 10.1016/J.GEB.2017.04.008 UR - https://doi.org/10.1016/j.geb.2017.04.008 ER - TY - JOUR ID - DBLP:journals/iandc/GutierrezW18 AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Preface to the SR-2015 special issue. JO - Inf. Comput. VL - 261 SP - 487 PY - 2018// DO - 10.1016/J.IC.2017.09.007 UR - https://doi.org/10.1016/j.ic.2017.09.007 ER - TY - JOUR ID - DBLP:journals/iandc/GutierrezPW18 AU - Gutierrez, Julian AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Imperfect information in Reactive Modules games. JO - Inf. Comput. VL - 261 SP - 650 EP - 675 PY - 2018// DO - 10.1016/J.IC.2018.02.023 UR - https://doi.org/10.1016/j.ic.2018.02.023 ER - TY - JOUR ID - DBLP:journals/jair/TarkowskiSMHW18 AU - Tarkowski, Mateusz Krzysztof AU - Szczepanski, Piotr L. AU - Michalak, Tomasz P. AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - Efficient Computation of Semivalues for Game-Theoretic Network Centrality. JO - J. Artif. Intell. Res. VL - 63 SP - 145 EP - 189 PY - 2018// DO - 10.1613/JAIR.1.11239 UR - https://doi.org/10.1613/jair.1.11239 ER - TY - CPAPER ID - DBLP:conf/aies/SerramiaLRMWA18 AU - Serramia, Marc AU - López-Sánchez, Maite AU - Rodríguez-Aguilar, Juan A. AU - Morales, Javier AU - Wooldridge, Michael J. AU - Ansótegui, Carlos TI - Exploiting Moral Values to Choose the Right Norms. BT - Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2018, New Orleans, LA, USA, February 02-03, 2018 SP - 264 EP - 270 PY - 2018// DO - 10.1145/3278721.3278735 UR - https://doi.org/10.1145/3278721.3278735 ER - TY - CPAPER ID - DBLP:conf/atal/0001HSW18 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Steeples, Thomas AU - Wooldridge, Michael J. TI - Local Equilibria in Logic-Based Multi-Player Games. BT - Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018 SP - 399 EP - 406 PY - 2018// UR - http://dl.acm.org/citation.cfm?id=3237445 ER - TY - CPAPER ID - DBLP:conf/atal/GanEW18 AU - Gan, Jiarui AU - Elkind, Edith AU - Wooldridge, Michael J. TI - Stackelberg Security Games with Multiple Uncoordinated Defenders. BT - Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018 SP - 703 EP - 711 PY - 2018// UR - http://dl.acm.org/citation.cfm?id=3237487 ER - TY - CPAPER ID - DBLP:conf/atal/SerramiaLRRWMA18 AU - Serramia, Marc AU - López-Sánchez, Maite AU - Rodríguez-Aguilar, Juan A. AU - Rodriguez-Soto, Manel AU - Wooldridge, Michael J. AU - Morales, Javier AU - Ansótegui, Carlos TI - Moral Values in Norm Decision Making. BT - Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018 SP - 1294 EP - 1302 PY - 2018// UR - http://dl.acm.org/citation.cfm?id=3237891 ER - TY - CPAPER ID - DBLP:conf/atva/GutierrezNPW18 AU - Gutierrez, Julian AU - Najib, Muhammad AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - EVE: A Tool for Temporal Equilibrium Analysis. BT - Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings SP - 551 EP - 557 PY - 2018// DO - 10.1007/978-3-030-01090-4_35 UR - https://doi.org/10.1007/978-3-030-01090-4_35 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1801-00218 AU - Tarkowski, Mateusz Krzysztof AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Wooldridge, Michael J. TI - Game-theoretic Network Centrality: A Review. JO - CoRR VL - abs/1801.00218 PY - 2018// UR - http://arxiv.org/abs/1801.00218 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1805-08454 AU - Paulin, James AU - Calinescu, Anisoara AU - Wooldridge, Michael J. TI - Understanding Flash Crash Contagion and Systemic Risk: A Micro-Macro Agent-Based Approach. JO - CoRR VL - abs/1805.08454 PY - 2018// UR - http://arxiv.org/abs/1805.08454 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1808-09213 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Nash Equilibrium and Bisimulation Invariance. JO - CoRR VL - abs/1808.09213 PY - 2018// UR - http://arxiv.org/abs/1808.09213 ER - TY - JOUR ID - DBLP:journals/ai/GutierrezHW17 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - From model checking to equilibrium checking: Reactive modules for rational verification. JO - Artif. Intell. VL - 248 SP - 123 EP - 157 PY - 2017// DO - 10.1016/J.ARTINT.2017.04.003 UR - https://doi.org/10.1016/j.artint.2017.04.003 ER - TY - JOUR ID - DBLP:journals/apal/GutierrezHW17 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - Reasoning about equilibria in game-like concurrent systems. JO - Ann. Pure Appl. Log. VL - 168 IS - 2 SP - 373 EP - 403 PY - 2017// DO - 10.1016/J.APAL.2016.10.009 UR - https://doi.org/10.1016/j.apal.2016.10.009 ER - TY - JOUR ID - DBLP:journals/expert/MichalakW17 AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - AI and Economics. JO - IEEE Intell. Syst. VL - 32 IS - 1 SP - 5 EP - 7 PY - 2017// DO - 10.1109/MIS.2017.10 UR - https://doi.org/10.1109/MIS.2017.10 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2017.10 ER - TY - JOUR ID - DBLP:journals/mima/BoddingtonMW17 AU - Boddington, Paula AU - Millican, Peter AU - Wooldridge, Michael J. TI - Minds and Machines Special Issue: Ethics and Artificial Intelligence. JO - Minds Mach. VL - 27 IS - 4 SP - 569 EP - 574 PY - 2017// DO - 10.1007/S11023-017-9449-Y UR - https://doi.org/10.1007/s11023-017-9449-y ER - TY - CPAPER ID - DBLP:conf/aaai/MichalakRW17 AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Wooldridge, Michael J. TI - Strategic Social Network Analysis. BT - Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. SP - 4841 EP - 4845 PY - 2017// DO - 10.1609/AAAI.V31I1.11142 UR - https://doi.org/10.1609/aaai.v31i1.11142 ER - TY - CPAPER ID - DBLP:conf/atal/0001PW17 AU - Gutierrez, Julian AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Iterated Games with LDL Goals over Finite Traces. BT - Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 SP - 696 EP - 704 PY - 2017// UR - http://dl.acm.org/citation.cfm?id=3091225 ER - TY - CPAPER ID - DBLP:conf/atal/Gao0W17 AU - Gao, Tong AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Iterated Boolean Games for Rational Verification. BT - Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 SP - 705 EP - 713 PY - 2017// UR - http://dl.acm.org/citation.cfm?id=3091226 ER - TY - CPAPER ID - DBLP:conf/atal/WaniekMRW17 AU - Waniek, Marcin AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Wooldridge, Michael J. TI - On the Construction of Covert Networks. BT - Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 SP - 1341 EP - 1349 PY - 2017// UR - http://dl.acm.org/citation.cfm?id=3091310 ER - TY - CPAPER ID - DBLP:conf/atal/Lopez-SanchezSR17 AU - López-Sánchez, Maite AU - Serramia, Marc AU - Rodríguez-Aguilar, Juan A. AU - Morales, Javier AU - Wooldridge, Michael J. TI - Automating Decision Making to Help Establish Norm-Based Regulations. BT - Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 SP - 1613 EP - 1615 PY - 2017// UR - http://dl.acm.org/citation.cfm?id=3091380 ER - TY - CPAPER ID - DBLP:conf/atal/MoralesWRL17 AU - Morales, Javier AU - Wooldridge, Michael J. AU - Rodríguez-Aguilar, Juan A. AU - López-Sánchez, Maite TI - Evolutionary Synthesis of Stable Normative Systems. BT - Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 SP - 1646 EP - 1648 PY - 2017// UR - http://dl.acm.org/citation.cfm?id=3091391 ER - TY - CPAPER ID - DBLP:conf/concur/0001HPW17 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Nash Equilibrium and Bisimulation Invariance. BT - 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany SP - 17:1 EP - 17:16 PY - 2017// DO - 10.4230/LIPICS.CONCUR.2017.17 UR - https://doi.org/10.4230/LIPIcs.CONCUR.2017.17 ER - TY - CPAPER ID - DBLP:conf/ijcai/0001MPRW17 AU - Gutierrez, Julian AU - Murano, Aniello AU - Perelli, Giuseppe AU - Rubin, Sasha AU - Wooldridge, Michael J. TI - Nash Equilibria in Concurrent Games with Lexicographic Preferences. BT - Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 SP - 1067 EP - 1073 PY - 2017// DO - 10.24963/IJCAI.2017/148 UR - https://doi.org/10.24963/ijcai.2017/148 ER - TY - CPAPER ID - DBLP:conf/ijcai/HarrensteinTW17 AU - Harrenstein, Paul AU - Turrini, Paolo AU - Wooldridge, Michael J. TI - Characterising the Manipulability of Boolean Games. BT - Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 SP - 1081 EP - 1087 PY - 2017// DO - 10.24963/IJCAI.2017/150 UR - https://doi.org/10.24963/ijcai.2017/150 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/Lopez-SanchezSR17 AU - López-Sánchez, Maite AU - Serramia, Marc AU - Rodríguez-Aguilar, Juan A. AU - Morales, Javier AU - Wooldridge, Michael J. TI - Automating decision making to help establish norm-based regulations. JO - CoRR VL - abs/1703.09087 PY - 2017// UR - http://arxiv.org/abs/1703.09087 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1710-00709 AU - Morales, Javier AU - Wooldridge, Michael J. AU - Rodríguez-Aguilar, Juan A. AU - López-Sánchez, Maite TI - Synthesising Evolutionarily Stable Normative Systems. JO - CoRR VL - abs/1710.00709 PY - 2017// UR - http://arxiv.org/abs/1710.00709 ER - TY - Informal or Other Publication ID - DBLP:journals/dagstuhl-reports/ChaudhuriKMW17 AU - Chaudhuri, Swarat AU - Kannan, Sampath AU - Majumdar, Rupak AU - Wooldridge, Michael J. TI - Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). JO - Dagstuhl Reports VL - 7 IS - 3 SP - 27 EP - 32 PY - 2017// DO - 10.4230/DAGREP.7.3.27 UR - https://doi.org/10.4230/DagRep.7.3.27 ER - TY - JOUR ID - DBLP:journals/aamas/FatimaW16 AU - Fatima, Shaheen AU - Wooldridge, Michael J. TI - Majority bargaining for resource division. JO - Auton. Agents Multi Agent Syst. VL - 30 IS - 2 SP - 331 EP - 363 PY - 2016// DO - 10.1007/S10458-015-9290-8 UR - https://doi.org/10.1007/s10458-015-9290-8 ER - TY - JOUR ID - DBLP:journals/aamas/FatimaMW16 AU - Fatima, Shaheen AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - Power and welfare in bargaining for coalition structure formation. JO - Auton. Agents Multi Agent Syst. VL - 30 IS - 5 SP - 899 EP - 930 PY - 2016// DO - 10.1007/S10458-015-9310-8 UR - https://doi.org/10.1007/s10458-015-9310-8 ER - TY - JOUR ID - DBLP:journals/ai/MichalakREWJ16 AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Elkind, Edith AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - A hybrid exact algorithm for complete set partitioning. JO - Artif. Intell. VL - 230 SP - 14 EP - 50 PY - 2016// DO - 10.1016/J.ARTINT.2015.09.006 UR - https://doi.org/10.1016/j.artint.2015.09.006 ER - TY - JOUR ID - DBLP:journals/sLogica/HarrensteinTW16 AU - Harrenstein, Paul AU - Turrini, Paolo AU - Wooldridge, Michael J. TI - Hard and Soft Preparation Sets in Boolean Games. JO - Stud Logica VL - 104 IS - 4 SP - 813 EP - 847 PY - 2016// DO - 10.1007/S11225-015-9629-9 UR - https://doi.org/10.1007/s11225-015-9629-9 ER - TY - JOUR ID - DBLP:journals/synthese/BradfieldGW16 AU - Bradfield, Julian C. AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. JO - Synth. VL - 193 IS - 3 SP - 781 EP - 811 PY - 2016// DO - 10.1007/S11229-015-0991-Y UR - https://doi.org/10.1007/s11229-015-0991-y ER - TY - CPAPER ID - DBLP:conf/aaai/TarkowskiSRMW16 AU - Tarkowski, Mateusz Krzysztof AU - Szczepanski, Piotr L. AU - Rahwan, Talal AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - Closeness Centrality for Networks with Overlapping Community Structure. BT - Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. SP - 622 EP - 629 PY - 2016// DO - 10.1609/AAAI.V30I1.10034 UR - https://doi.org/10.1609/aaai.v30i1.10034 ER - TY - CPAPER ID - DBLP:conf/aaai/WooldridgeGHMPT16 AU - Wooldridge, Michael J. AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Marchioni, Enrico AU - Perelli, Giuseppe AU - Toumi, Alexis TI - Rational Verification: From Model Checking to Equilibrium Checking. BT - Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. SP - 4184 EP - 4191 PY - 2016// DO - 10.1609/AAAI.V30I1.9878 UR - https://doi.org/10.1609/aaai.v30i1.9878 ER - TY - CPAPER ID - DBLP:conf/atal/SkibskiMMWY16 AU - Skibski, Oskar AU - Matejczyk, Szymon AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. AU - Yokoo, Makoto TI - k-Coalitional Cooperative Games. BT - Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016 SP - 177 EP - 185 PY - 2016// UR - http://dl.acm.org/citation.cfm?id=2936953 ER - TY - CPAPER ID - DBLP:conf/atal/GutierrezHPW16 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Expressiveness and Nash Equilibrium in Iterated Boolean Games. BT - Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016 SP - 707 EP - 715 PY - 2016// UR - http://dl.acm.org/citation.cfm?id=2937028 ER - TY - CPAPER ID - DBLP:conf/ecai/SzczepanskiMRW16 AU - Szczepanski, Piotr L. AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Wooldridge, Michael J. TI - An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction. BT - ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) SP - 90 EP - 98 PY - 2016// DO - 10.3233/978-1-61499-672-9-90 UR - https://doi.org/10.3233/978-1-61499-672-9-90 ER - TY - CPAPER ID - DBLP:conf/ecai/SkibskiMNMDRW16 AU - Skibski, Oskar AU - Michalewski, Henryk AU - Nagórko, Andrzej AU - Michalak, Tomasz P. AU - Dowell, Andrew James AU - Rahwan, Talal AU - Wooldridge, Michael J. TI - Non-Utilitarian Coalition Structure Generation. BT - ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) SP - 1738 EP - 1739 PY - 2016// DO - 10.3233/978-1-61499-672-9-1738 UR - https://doi.org/10.3233/978-1-61499-672-9-1738 ER - TY - CPAPER ID - DBLP:conf/gi/Wooldridge16 AU - Wooldridge, Michael J. TI - From model checking to equilibrium checking. BT - 46. Jahrestagung der Gesellschaft für Informatik, Informatik von Menschen für Menschen, INFORMATIK 2016, Klagenfurt, Austria, September 26-30, 2016 SP - 35 PY - 2016// UR - https://dl.gi.de/handle/20.500.12116/967 ER - TY - CPAPER ID - DBLP:conf/kr/AzizHLW16 AU - Aziz, Haris AU - Harrenstein, Paul AU - Lang, Jérôme AU - Wooldridge, Michael J. TI - Boolean Hedonic Games. BT - Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. SP - 166 EP - 175 PY - 2016// UR - http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12869 ER - TY - CPAPER ID - DBLP:conf/kr/GutierrezPW16 AU - Gutierrez, Julian AU - Perelli, Giuseppe AU - Wooldridge, Michael J. TI - Imperfect Information in Reactive Modules Games. BT - Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. SP - 390 EP - 400 PY - 2016// UR - http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12848 ER - TY - ENCYC ID - DBLP:reference/choice/ChalkiadakisW16 AU - Chalkiadakis, Georgios AU - Wooldridge, Michael J. TI - Weighted Voting Games. BT - Handbook of Computational Social Choice SP - 377 EP - 396 PY - 2016// DO - 10.1017/CBO9781107446984.017 UR - https://doi.org/10.1017/CBO9781107446984.017 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/WaniekMRW16 AU - Waniek, Marcin AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Wooldridge, Michael J. TI - Hiding Individuals and Communities in a Social Network. JO - CoRR VL - abs/1608.00375 PY - 2016// UR - http://arxiv.org/abs/1608.00375 ER - TY - JOUR ID - DBLP:journals/ai/RahwanMWJ15 AU - Rahwan, Talal AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Coalition structure generation: A survey. JO - Artif. Intell. VL - 229 SP - 139 EP - 174 PY - 2015// DO - 10.1016/J.ARTINT.2015.08.004 UR - https://doi.org/10.1016/j.artint.2015.08.004 ER - TY - JOUR ID - DBLP:journals/aimatters/EatonDGGIKLRRSW15 AU - Eaton, Eric AU - Dietterich, Tom AU - Gini, Maria L. AU - Grosz, Barbara J. AU - Isbell, Charles L., Jr. AU - Kambhampati, Subbarao AU - Littman, Michael L. AU - Rossi, Francesca AU - Russell, Stuart AU - Stone, Peter AU - Walsh, Toby AU - Wooldridge, Michael J. TI - Who speaks for AI? JO - AI Matters VL - 2 IS - 2 SP - 4 EP - 14 PY - 2015// DO - 10.1145/2847557.2847559 UR - https://doi.org/10.1145/2847557.2847559 ER - TY - JOUR ID - DBLP:journals/expert/MichalakRSW15 AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Skibski, Oskar AU - Wooldridge, Michael J. TI - Defeating Terrorist Networks with Game Theory. JO - IEEE Intell. Syst. VL - 30 IS - 1 SP - 53 EP - 61 PY - 2015// DO - 10.1109/MIS.2015.11 UR - https://doi.org/10.1109/MIS.2015.11 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2015.11 ER - TY - JOUR ID - DBLP:journals/expert/Wooldridge15 AU - Wooldridge, Michael J. TI - Thinking Backward with Professor Zermelo. JO - IEEE Intell. Syst. VL - 30 IS - 2 SP - 62 EP - 67 PY - 2015// DO - 10.1109/MIS.2015.36 UR - https://doi.org/10.1109/MIS.2015.36 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2015.36 ER - TY - JOUR ID - DBLP:journals/iandc/GutierrezHW15 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - Iterated Boolean games. JO - Inf. Comput. VL - 242 SP - 53 EP - 79 PY - 2015// DO - 10.1016/J.IC.2015.03.011 UR - https://doi.org/10.1016/j.ic.2015.03.011 ER - TY - JOUR ID - DBLP:journals/sigecom/MichalakRMNSSW15 AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Moretti, Stefano AU - Narayanam, Ramasuri AU - Skibski, Oskar AU - Szczepanski, Piotr L. AU - Wooldridge, Michael J. TI - A new approach to measure social capital using game-theoretic techniques. JO - SIGecom Exch. VL - 14 IS - 1 SP - 95 EP - 100 PY - 2015// DO - 10.1145/2845926.2845933 UR - https://doi.org/10.1145/2845926.2845933 ER - TY - JOUR ID - DBLP:journals/taas/MoralesLRVW15 AU - Morales, Javier AU - López-Sánchez, Maite AU - Rodríguez-Aguilar, Juan Antonio AU - Vasconcelos, Wamberto Weber AU - Wooldridge, Michael J. TI - Online Automated Synthesis of Compact Normative Systems. JO - ACM Trans. Auton. Adapt. Syst. VL - 10 IS - 1 SP - 2:1 EP - 2:33 PY - 2015// DO - 10.1145/2720024 UR - https://doi.org/10.1145/2720024 ER - TY - JOUR ID - DBLP:journals/tocl/MarchioniW15 AU - Marchioni, Enrico AU - Wooldridge, Michael J. TI - Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions. JO - ACM Trans. Comput. Log. VL - 16 IS - 4 SP - 33:1 EP - 33:44 PY - 2015// DO - 10.1145/2783436 UR - https://doi.org/10.1145/2783436 ER - TY - CPAPER ID - DBLP:conf/aaai/SzczepanskiTMHW15 AU - Szczepanski, Piotr Lech AU - Tarkowski, Mateusz Krzysztof AU - Michalak, Tomasz Pawel AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - Efficient Computation of Semivalues for Game-Theoretic Network Centrality. BT - Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. SP - 461 EP - 469 PY - 2015// DO - 10.1609/AAAI.V29I1.9215 UR - https://doi.org/10.1609/aaai.v29i1.9215 ER - TY - CPAPER ID - DBLP:conf/aaai/SkibskiMSWY15 AU - Skibski, Oskar AU - Michalak, Tomasz P. AU - Sakurai, Yuko AU - Wooldridge, Michael J. AU - Yokoo, Makoto TI - A Graphical Representation for Games in Partition Function Form. BT - Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. SP - 1036 EP - 1042 PY - 2015// DO - 10.1609/AAAI.V29I1.9306 UR - https://doi.org/10.1609/aaai.v29i1.9306 ER - TY - CPAPER ID - DBLP:conf/atal/MoralesLRWV15 AU - Morales, Javier AU - López-Sánchez, Maite AU - Rodríguez-Aguilar, Juan Antonio AU - Wooldridge, Michael J. AU - Vasconcelos, Wamberto Weber TI - Synthesising Liberal Normative Systems. BT - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015 SP - 433 EP - 441 PY - 2015// UR - http://dl.acm.org/citation.cfm?id=2772936 ER - TY - CPAPER ID - DBLP:conf/atal/HarrensteinTW15 AU - Harrenstein, Paul AU - Turrini, Paolo AU - Wooldridge, Michael J. TI - Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents. BT - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015 SP - 655 EP - 663 PY - 2015// UR - http://dl.acm.org/citation.cfm?id=2773238 ER - TY - CPAPER ID - DBLP:conf/atal/MoralesMSRLWV15 AU - Morales, Javier AU - Mendizabal, Iosu AU - Sanchez-Pinsach, David AU - Rodríguez-Aguilar, Juan Antonio AU - López-Sánchez, Maite AU - Wooldridge, Michael J. AU - Vasconcelos, Wamberto Weber TI - Extending NormLab to Spur Research on Norm Synthesis. BT - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015 SP - 1931 EP - 1932 PY - 2015// UR - http://dl.acm.org/citation.cfm?id=2773510 ER - TY - CPAPER ID - DBLP:conf/concur/GutierrezHW15 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - Expresiveness and Complexity Results for Strategic Reasoning. BT - 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 SP - 268 EP - 282 PY - 2015// DO - 10.4230/LIPICS.CONCUR.2015.268 UR - https://doi.org/10.4230/LIPIcs.CONCUR.2015.268 ER - TY - CPAPER ID - DBLP:conf/ictac/ToumiGW15 AU - Toumi, Alexis AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. BT - Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings SP - 583 EP - 594 PY - 2015// DO - 10.1007/978-3-319-25150-9_34 UR - https://doi.org/10.1007/978-3-319-25150-9_34 ER - TY - CONF ID - DBLP:conf/ijcai/2015 ED - Yang, Qiang ED - Wooldridge, Michael J. TI - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 PY - 2015// PB - AAAI Press UR - http://ijcai.org/proceedings/2015 SN - ISBN 978-1-57735-738-4 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/AzizHLW15 AU - Aziz, Haris AU - Harrenstein, Paul AU - Lang, Jérôme AU - Wooldridge, Michael J. TI - Boolean Hedonic Games. JO - CoRR VL - abs/1509.07062 PY - 2015// UR - http://arxiv.org/abs/1509.07062 ER - TY - BOOK ID - DBLP:books/cu/FKW2014 AU - Fatima, Shaheen AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Principles of Automated Negotiation PY - 2014// PB - Cambridge University Press DO - 10.1017/CBO9780511751691 UR - https://doi.org/10.1017/CBO9780511751691 SN - ISBN 9780511751691 ER - TY - JOUR ID - DBLP:journals/expert/FatimaKW14 AU - Fatima, Shaheen AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - The Negotiation Game. JO - IEEE Intell. Syst. VL - 29 IS - 5 SP - 57 EP - 61 PY - 2014// DO - 10.1109/MIS.2014.90 UR - https://doi.org/10.1109/MIS.2014.90 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2014.90 ER - TY - JOUR ID - DBLP:journals/ki/HunterPW14 AU - Hunter, Anthony AU - Parsons, Simon AU - Wooldridge, Michael J. TI - Measuring Inconsistency in Multi-Agent Systems. JO - Künstliche Intell. VL - 28 IS - 3 SP - 169 EP - 178 PY - 2014// DO - 10.1007/S13218-014-0306-3 UR - https://doi.org/10.1007/s13218-014-0306-3 ER - TY - JOUR ID - DBLP:journals/sLogica/GrantKWZ14 AU - Grant, John AU - Kraus, Sarit AU - Wooldridge, Michael J. AU - Zuckerman, Inon TI - Manipulating Games by Sharing Information. JO - Stud Logica VL - 102 IS - 2 SP - 267 EP - 295 PY - 2014// DO - 10.1007/S11225-014-9544-5 UR - https://doi.org/10.1007/s11225-014-9544-5 ER - TY - JOUR ID - DBLP:journals/teco/MichalakSRCBWJ14 AU - Michalak, Tomasz P. AU - Szczepanski, Piotr L. AU - Rahwan, Talal AU - Chrobak, Agata AU - Brânzei, Simina AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Implementation and Computation of a Value for Generalized Characteristic Function Games. JO - ACM Trans. Economics and Comput. VL - 2 IS - 4 SP - 16:1 EP - 16:35 PY - 2014// DO - 10.1145/2665007 UR - https://doi.org/10.1145/2665007 ER - TY - CPAPER ID - DBLP:conf/amec/FatimaW14 AU - Fatima, Shaheen AU - Wooldridge, Michael J. TI - Optimal Agendas for Sequential Negotiations. BT - Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets - AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and AMEC and TADA 2014, Paris, France, May 5, 2014, Revised Selected Papers SP - 41 EP - 55 PY - 2014// DO - 10.1007/978-3-319-13218-1_4 UR - https://doi.org/10.1007/978-3-319-13218-1_4 ER - TY - CPAPER ID - DBLP:conf/atal/MoralesLRWV14 AU - Morales, Javier AU - López-Sánchez, Maite AU - Rodríguez-Aguilar, Juan A. AU - Wooldridge, Michael J. AU - Vasconcelos, Wamberto Weber TI - Minimality and simplicity in the on-line automated synthesis of normative systems. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 SP - 109 EP - 116 PY - 2014// UR - http://dl.acm.org/citation.cfm?id=2615752 ER - TY - CPAPER ID - DBLP:conf/atal/SkibskiMRW14 AU - Skibski, Oskar AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Wooldridge, Michael J. TI - Algorithms for the shapley and myerson values in graph-restricted games. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 SP - 197 EP - 204 PY - 2014// UR - http://dl.acm.org/citation.cfm?id=2615766 ER - TY - CPAPER ID - DBLP:conf/atal/SlessHKW14 AU - Sless, Liat AU - Hazon, Noam AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Forming coalitions and facilitating relationships for completing tasks in social networks. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 SP - 261 EP - 268 PY - 2014// UR - http://dl.acm.org/citation.cfm?id=2615776 ER - TY - CPAPER ID - DBLP:conf/atal/MarchioniW14 AU - Marchioni, Enrico AU - Wooldridge, Michael J. TI - Lukasiewicz games. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 SP - 837 EP - 844 PY - 2014// UR - http://dl.acm.org/citation.cfm?id=2615866 ER - TY - CPAPER ID - DBLP:conf/atal/HarrensteinTW14 AU - Harrenstein, Paul AU - Turrini, Paolo AU - Wooldridge, Michael J. TI - Hard and soft equilibria in boolean games. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 SP - 845 EP - 852 PY - 2014// UR - http://dl.acm.org/citation.cfm?id=2615867 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaW14 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. TI - Majority bargaining for resource division. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 SP - 1393 EP - 1394 PY - 2014// UR - http://dl.acm.org/citation.cfm?id=2617489 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaMW14 AU - Fatima, Shaheen AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - Power and welfare in noncooperative bargaining for coalition structure formation. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 SP - 1439 EP - 1440 PY - 2014// UR - http://dl.acm.org/citation.cfm?id=2617512 ER - TY - CPAPER ID - DBLP:conf/atal/MoralesMSLWV14 AU - Morales, Javier AU - Mendizabal, Iosu AU - Sanchez-Pinsach, David AU - López-Sánchez, Maite AU - Wooldridge, Michael J. AU - Vasconcelos, Wamberto Weber TI - NormLab: a framework to support research on norm synthesis. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014 SP - 1697 EP - 1698 PY - 2014// UR - http://dl.acm.org/citation.cfm?id=2616131 ER - TY - CPAPER ID - DBLP:conf/csl/GutierrezW14 AU - Gutierrez, Julian AU - Wooldridge, Michael J. TI - Equilibria of concurrent games on event structures. BT - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014 SP - 46:1 EP - 46:10 PY - 2014// DO - 10.1145/2603088.2603145 UR - https://doi.org/10.1145/2603088.2603145 ER - TY - CPAPER ID - DBLP:conf/ecai/FatimaW14 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. TI - Multilateral Bargaining for Resource Division. BT - ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) SP - 309 EP - 314 PY - 2014// DO - 10.3233/978-1-61499-419-0-309 UR - https://doi.org/10.3233/978-1-61499-419-0-309 ER - TY - CPAPER ID - DBLP:conf/ecai/FatimaMW14 AU - Fatima, S. Shaheen AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - Bargaining for Coalition Structure Formation. BT - ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) SP - 315 EP - 320 PY - 2014// DO - 10.3233/978-1-61499-419-0-315 UR - https://doi.org/10.3233/978-1-61499-419-0-315 ER - TY - CPAPER ID - DBLP:conf/ecai/SzczepanskiMW14 AU - Szczepanski, Piotr L. AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value. BT - ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) SP - 867 EP - 872 PY - 2014// DO - 10.3233/978-1-61499-419-0-867 UR - https://doi.org/10.3233/978-1-61499-419-0-867 ER - TY - CPAPER ID - DBLP:conf/kr/GutierrezHW14 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - Reasoning about Equilibria in Game-Like Concurrent Systems. BT - Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 PY - 2014// UR - http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7925 ER - TY - CHAP ID - DBLP:books/daglib/p/MillicanW14 AU - Millican, Peter AU - Wooldridge, Michael J. TI - Them and Us: Autonomous Agents In Vivo and In Silico. BT - Johan van Benthem on Logic and Information Dynamics SP - 547 EP - 567 PY - 2014// DO - 10.1007/978-3-319-06025-5_20 UR - https://doi.org/10.1007/978-3-319-06025-5_20 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/Hoek0W14 AU - Hoek, Wiebe van der AU - Walther, Dirk AU - Wooldridge, Michael J. TI - Reasoning About the Transfer of Control. JO - CoRR VL - abs/1401.3825 PY - 2014// UR - http://arxiv.org/abs/1401.3825 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/RahwanNMWJ14 AU - Rahwan, Talal AU - Naroditskiy, Victor AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Towards a Fair Allocation of Rewards in Multi-Level Marketing. JO - CoRR VL - abs/1404.0542 PY - 2014// UR - http://arxiv.org/abs/1404.0542 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/RahwanMW14 AU - Rahwan, Talal AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - A Measure of Synergy in Coalitions. JO - CoRR VL - abs/1404.2954 PY - 2014// UR - http://arxiv.org/abs/1404.2954 ER - TY - JOUR ID - DBLP:journals/ai/WooldridgeEKL13 AU - Wooldridge, Michael J. AU - Endriss, Ulle AU - Kraus, Sarit AU - Lang, Jérôme TI - Incentive engineering for Boolean games. JO - Artif. Intell. VL - 195 SP - 418 EP - 439 PY - 2013// DO - 10.1016/J.ARTINT.2012.11.003 UR - https://doi.org/10.1016/j.artint.2012.11.003 ER - TY - JOUR ID - DBLP:journals/amai/BachrachZWR13 AU - Bachrach, Yoram AU - Zuckerman, Michael AU - Wooldridge, Michael J. AU - Rosenschein, Jeffrey S. TI - Proof systems and transformation games. JO - Ann. Math. Artif. Intell. VL - 67 IS - 1 SP - 1 EP - 30 PY - 2013// DO - 10.1007/S10472-012-9323-9 UR - https://doi.org/10.1007/s10472-012-9323-9 ER - TY - JOUR ID - DBLP:journals/expert/HarrensteinMW13 AU - Harrenstein, Paul AU - Manlove, David F. AU - Wooldridge, Michael J. TI - The Joy of Matching. JO - IEEE Intell. Syst. VL - 28 IS - 2 SP - 81 EP - 85 PY - 2013// DO - 10.1109/MIS.2013.49 UR - https://doi.org/10.1109/MIS.2013.49 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2013.49 ER - TY - JOUR ID - DBLP:journals/expert/PhelpsW13 AU - Phelps, Steve AU - Wooldridge, Michael J. TI - Game Theory and Evolution. JO - IEEE Intell. Syst. VL - 28 IS - 4 SP - 76 EP - 81 PY - 2013// DO - 10.1109/MIS.2013.110 UR - https://doi.org/10.1109/MIS.2013.110 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2013.110 ER - TY - JOUR ID - DBLP:journals/ijgt/HoekWW13 AU - Hoek, Wiebe van der AU - Witteveen, Cees AU - Wooldridge, Michael J. TI - Program equilibrium - a program reasoning approach. JO - Int. J. Game Theory VL - 42 IS - 3 SP - 639 EP - 671 PY - 2013// DO - 10.1007/S00182-011-0314-6 UR - https://doi.org/10.1007/s00182-011-0314-6 ER - TY - JOUR ID - DBLP:journals/tist/ErriquezHW13 AU - Erriquez, Elisabetta AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Building and using social structures: A case study using the agent ART testbed. JO - ACM Trans. Intell. Syst. Technol. VL - 4 IS - 2 SP - 25:1 EP - 25:20 PY - 2013// DO - 10.1145/2438653.2438660 UR - https://doi.org/10.1145/2438653.2438660 ER - TY - CPAPER ID - DBLP:conf/at/HoekTW13 AU - Hoek, Wiebe van der AU - Troquard, Nicolas AU - Wooldridge, Michael J. TI - Reasoning about Choice. BT - Agreement Technologies - Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings SP - 4 EP - 18 PY - 2013// DO - 10.1007/978-3-642-39860-5_2 UR - https://doi.org/10.1007/978-3-642-39860-5_2 ER - TY - CPAPER ID - DBLP:conf/atal/ElkindPW13 AU - Elkind, Edith AU - Pasechnik, Dmitrii V. AU - Wooldridge, Michael J. TI - Strategic considerations in the design of committees. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013 SP - 439 EP - 446 PY - 2013// UR - http://dl.acm.org/citation.cfm?id=2484991 ER - TY - CPAPER ID - DBLP:conf/atal/MoralesLRWV13 AU - Morales, Javier AU - López-Sánchez, Maite AU - Rodríguez-Aguilar, Juan A. AU - Wooldridge, Michael J. AU - Vasconcelos, Wamberto Weber TI - Automated synthesis of normative systems. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013 SP - 483 EP - 490 PY - 2013// UR - http://dl.acm.org/citation.cfm?id=2484998 ER - TY - CPAPER ID - DBLP:conf/atal/MoralesLRWV13a AU - Morales, Javier AU - López-Sánchez, Maite AU - Rodríguez-Aguilar, Juan A. AU - Wooldridge, Michael J. AU - Vasconcelos, Wamberto Weber TI - IRON: a machine for the automated synthesis of normative systems. BT - International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013 SP - 1389 EP - 1390 PY - 2013// UR - http://dl.acm.org/citation.cfm?id=2485239 ER - TY - CPAPER ID - DBLP:conf/ijcai/MichalakRSSNJW13 AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Szczepanski, Piotr L. AU - Skibski, Oskar AU - Narayanam, Ramasuri AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks. BT - IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 SP - 293 EP - 301 PY - 2013// UR - http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6961 UR - http://ijcai.org/Abstract/13/052 ER - TY - CPAPER ID - DBLP:conf/ijcai/AgotnesHHW13 AU - Ågotnes, Thomas AU - Harrenstein, Paul AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Verifiable Equilibria in Boolean Games. BT - IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 SP - 689 EP - 695 PY - 2013// UR - http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6921 UR - http://ijcai.org/Abstract/13/109 ER - TY - CPAPER ID - DBLP:conf/ijcai/GutierrezHW13 AU - Gutierrez, Julian AU - Harrenstein, Paul AU - Wooldridge, Michael J. TI - Iterated Boolean Games. BT - IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 SP - 932 EP - 938 PY - 2013// UR - http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6799 UR - http://ijcai.org/Abstract/13/143 ER - TY - CPAPER ID - DBLP:conf/lori/AgotnesHHW13 AU - Ågotnes, Thomas AU - Harrenstein, Paul AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Boolean Games with Epistemic Goals. BT - Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings SP - 1 EP - 14 PY - 2013// DO - 10.1007/978-3-642-40948-6_1 UR - https://doi.org/10.1007/978-3-642-40948-6_1 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/SkibskiMW13 AU - Skibski, Oskar AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. TI - The Shapley Axiomatization for Values in Partition Function Games. JO - CoRR VL - abs/1308.6255 PY - 2013// UR - http://arxiv.org/abs/1308.6255 ER - TY - JOUR ID - DBLP:journals/ai/RahwanMWJ12 AU - Rahwan, Talal AU - Michalak, Tomasz P. AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Anytime coalition structure generation in multi-agent systems with positive or negative externalities. JO - Artif. Intell. VL - 186 SP - 95 EP - 122 PY - 2012// DO - 10.1016/J.ARTINT.2012.03.007 UR - https://doi.org/10.1016/j.artint.2012.03.007 ER - TY - JOUR ID - DBLP:journals/ai/HazonAKW12 AU - Hazon, Noam AU - Aumann, Yonatan AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - On the evaluation of election outcomes under uncertainty. JO - Artif. Intell. VL - 189 SP - 1 EP - 18 PY - 2012// DO - 10.1016/J.ARTINT.2012.04.009 UR - https://doi.org/10.1016/j.artint.2012.04.009 ER - TY - JOUR ID - DBLP:journals/aim/HoekW12 AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Logics for Multiagent Systems. JO - AI Mag. VL - 33 IS - 3 SP - 92 EP - 105 PY - 2012// DO - 10.1609/AIMAG.V33I3.2427 UR - https://doi.org/10.1609/aimag.v33i3.2427 ER - TY - JOUR ID - DBLP:journals/expert/Wooldridge12 AU - Wooldridge, Michael J. TI - The Triumph of Rationality. JO - IEEE Intell. Syst. VL - 27 IS - 1 SP - 60 EP - 64 PY - 2012// DO - 10.1109/MIS.2012.20 UR - https://doi.org/10.1109/MIS.2012.20 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2012.20 ER - TY - JOUR ID - DBLP:journals/expert/Wooldridge12a AU - Wooldridge, Michael J. TI - Computation and the prisoner's dilemma. JO - IEEE Intell. Syst. VL - 27 IS - 2 SP - 75 EP - 80 PY - 2012// DO - 10.1109/MIS.2012.30 UR - https://doi.org/10.1109/MIS.2012.30 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2012.30 ER - TY - JOUR ID - DBLP:journals/expert/ChalkiadakisEW12 AU - Chalkiadakis, Georgios AU - Elkind, Edith AU - Wooldridge, Michael J. TI - Cooperative Game Theory: Basic Concepts and Computational Challenges. JO - IEEE Intell. Syst. VL - 27 IS - 3 SP - 86 EP - 90 PY - 2012// DO - 10.1109/MIS.2012.47 UR - https://doi.org/10.1109/MIS.2012.47 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2012.47 ER - TY - JOUR ID - DBLP:journals/expert/Wooldridge12b AU - Wooldridge, Michael J. TI - Does Game Theory Work? JO - IEEE Intell. Syst. VL - 27 IS - 6 SP - 76 EP - 80 PY - 2012// DO - 10.1109/MIS.2012.108 UR - https://doi.org/10.1109/MIS.2012.108 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2012.108 ER - TY - JOUR ID - DBLP:journals/mags/FatimaWJ12 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - A heuristic approximation method for the Banzhaf index for voting games. JO - Multiagent Grid Syst. VL - 8 IS - 3 SP - 257 EP - 274 PY - 2012// DO - 10.3233/MGS-2012-0194 UR - https://doi.org/10.3233/MGS-2012-0194 ER - TY - CPAPER ID - DBLP:conf/aamas/DunneW12 AU - Dunne, Paul E. AU - Wooldridge, Michael J. TI - Towards tractable Boolean games. BT - International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes) SP - 939 EP - 946 PY - 2012// UR - http://dl.acm.org/citation.cfm?id=2343831 ER - TY - CPAPER ID - DBLP:conf/aamas/HoekIW12 AU - Hoek, Wiebe van der AU - Iliev, Petar AU - Wooldridge, Michael J. TI - A logic of revelation and concealment. BT - International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes) SP - 1115 EP - 1122 PY - 2012// UR - http://dl.acm.org/citation.cfm?id=2343856 ER - TY - CPAPER ID - DBLP:conf/comma/DunneMW12 AU - Dunne, Paul E. AU - Marquis, Pierre AU - Wooldridge, Michael J. TI - Argument Aggregation: Basic Axioms and Complexity Results. BT - Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012 SP - 129 EP - 140 PY - 2012// DO - 10.3233/978-1-61499-111-3-129 UR - https://doi.org/10.3233/978-1-61499-111-3-129 ER - TY - CPAPER ID - DBLP:conf/ecai/Wooldridge12 AU - Wooldridge, Michael J. TI - Bad equilibria (and what to do about them). BT - ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 SP - 6 EP - 11 PY - 2012// DO - 10.3233/978-1-61499-098-7-6 UR - https://doi.org/10.3233/978-1-61499-098-7-6 ER - TY - CPAPER ID - DBLP:conf/ecai/AgotnesHW12 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Conservative Social Laws. BT - ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 SP - 49 EP - 54 PY - 2012// DO - 10.3233/978-1-61499-098-7-49 UR - https://doi.org/10.3233/978-1-61499-098-7-49 ER - TY - CPAPER ID - DBLP:conf/ecai/KrausW12 AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Delegating Decisions in Strategic Settings. BT - ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 SP - 468 EP - 473 PY - 2012// DO - 10.3233/978-1-61499-098-7-468 UR - https://doi.org/10.3233/978-1-61499-098-7-468 ER - TY - BOOK ID - DBLP:series/synthesis/2011Chalkiadakis AU - Chalkiadakis, Georgios AU - Elkind, Edith AU - Wooldridge, Michael J. TI - Computational Aspects of Cooperative Game Theory T3 - Synthesis Lectures on Artificial Intelligence and Machine Learning PY - 2011// PB - Morgan & Claypool Publishers DO - 10.2200/S00355ED1V01Y201107AIM016 UR - https://doi.org/10.2200/S00355ED1V01Y201107AIM016 UR - https://doi.org/10.1007/978-3-031-01558-8 SN - ISBN 978-3-031-00430-8 SN - ISBN 978-3-031-01558-8 ER - TY - JOUR ID - DBLP:journals/aai/SmithTW11 AU - Smith, Ben Lithgow AU - Tamma, Valentina A. M. AU - Wooldridge, Michael J. TI - An Ontology for Coordination. JO - Appl. Artif. Intell. VL - 25 IS - 3 SP - 235 EP - 265 PY - 2011// DO - 10.1080/08839514.2011.553376 UR - https://doi.org/10.1080/08839514.2011.553376 UR - https://www.wikidata.org/entity/Q58291318 ER - TY - JOUR ID - DBLP:journals/aamas/AgotnesHW11 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - On the logic of preference and judgment aggregation. JO - Auton. Agents Multi Agent Syst. VL - 22 IS - 1 SP - 4 EP - 30 PY - 2011// DO - 10.1007/S10458-009-9115-8 UR - https://doi.org/10.1007/s10458-009-9115-8 ER - TY - JOUR ID - DBLP:journals/ai/DunneHMPW11 AU - Dunne, Paul E. AU - Hunter, Anthony AU - McBurney, Peter AU - Parsons, Simon AU - Wooldridge, Michael J. TI - Weighted argument systems: Basic definitions, algorithms, and complexity results. JO - Artif. Intell. VL - 175 IS - 2 SP - 457 EP - 486 PY - 2011// DO - 10.1016/J.ARTINT.2010.09.005 UR - https://doi.org/10.1016/j.artint.2010.09.005 ER - TY - JOUR ID - DBLP:journals/jphil/TroquardHW11 AU - Troquard, Nicolas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Reasoning About Social Choice Functions. JO - J. Philos. Log. VL - 40 IS - 4 SP - 473 EP - 498 PY - 2011// DO - 10.1007/S10992-011-9189-Z UR - https://doi.org/10.1007/s10992-011-9189-z ER - TY - CPAPER ID - DBLP:conf/ACMicec/FatimaWJ11 AU - Fatima, Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Automated analysis of weighted voting games. BT - Proceedings of the 13th International Conference on Electronic Commerce, ICEC 2011, Liverpool, United Kingdom, August 3-5, 2011 SP - 3:1 EP - 3:6 PY - 2011// DO - 10.1145/2378104.2378107 UR - https://doi.org/10.1145/2378104.2378107 ER - TY - CPAPER ID - DBLP:conf/aaai/RahwanMEFSWJ11 AU - Rahwan, Talal AU - Michalak, Tomasz P. AU - Elkind, Edith AU - Faliszewski, Piotr AU - Sroka, Jacek AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Constrained Coalition Formation. BT - Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011 SP - 719 EP - 725 PY - 2011// DO - 10.1609/AAAI.V25I1.7888 UR - https://doi.org/10.1609/aaai.v25i1.7888 ER - TY - CPAPER ID - DBLP:conf/atal/EndrissKLW11 AU - Endriss, Ulle AU - Kraus, Sarit AU - Lang, Jérôme AU - Wooldridge, Michael J. TI - Designing incentives for Boolean games. BT - 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3 SP - 79 EP - 86 PY - 2011// UR - http://portal.acm.org/citation.cfm?id=2030482&CFID=69153967&CFTOKEN=38069692 ER - TY - CPAPER ID - DBLP:conf/atal/HoekWW11 AU - Hoek, Wiebe van der AU - Witteveen, Cees AU - Wooldridge, Michael J. TI - Decomposing constraint systems: equivalences and computational properties. BT - 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3 SP - 149 EP - 156 PY - 2011// UR - http://portal.acm.org/citation.cfm?id=2030492&CFID=69153967&CFTOKEN=38069692 ER - TY - CPAPER ID - DBLP:conf/atal/HoekTW11 AU - Hoek, Wiebe van der AU - Troquard, Nicolas AU - Wooldridge, Michael J. TI - Knowledge and control. BT - 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3 SP - 719 EP - 726 PY - 2011// UR - http://portal.acm.org/citation.cfm?id=2031720&CFID=54178199&CFTOKEN=61392764 ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesHW11 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Scientia potentia est. BT - 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3 SP - 735 EP - 742 PY - 2011// UR - http://portal.acm.org/citation.cfm?id=2031722&CFID=54178199&CFTOKEN=61392764 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ11 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - On optimal agendas for package deal negotiation. BT - 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3 SP - 1083 EP - 1084 PY - 2011// UR - http://portal.acm.org/citation.cfm?id=2034429&CFID=69154334&CFTOKEN=45298625 ER - TY - CPAPER ID - DBLP:conf/atal/ErriquezHW11 AU - Erriquez, Elisabetta AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - An abstract framework for reasoning about trust. BT - 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3 SP - 1085 EP - 1086 PY - 2011// UR - http://portal.acm.org/citation.cfm?id=2034430&CFID=69154334&CFTOKEN=45298625 ER - TY - CPAPER ID - DBLP:conf/ijcai/GrantKWZ11 AU - Grant, John AU - Kraus, Sarit AU - Wooldridge, Michael J. AU - Zuckerman, Inon TI - Manipulating Boolean Games through Communication. BT - IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 SP - 210 EP - 215 PY - 2011// DO - 10.5591/978-1-57735-516-8/IJCAI11-046 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-046 ER - TY - CPAPER ID - DBLP:conf/ijcai/EndrissKLW11 AU - Endriss, Ulle AU - Kraus, Sarit AU - Lang, Jérôme AU - Wooldridge, Michael J. TI - Incentive Engineering for Boolean Games. BT - IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 SP - 2602 EP - 2607 PY - 2011// DO - 10.5591/978-1-57735-516-8/IJCAI11-433 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-433 ER - TY - CPAPER ID - DBLP:conf/kesamsta/Wooldridge11 AU - Wooldridge, Michael J. TI - Computational Aspects of Cooperative Game Theory. BT - Agent and Multi-Agent Systems: Technologies and Applications - 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 - July 1, 2011. Proceedings SP - 1 PY - 2011// DO - 10.1007/978-3-642-22000-5_1 UR - https://doi.org/10.1007/978-3-642-22000-5_1 ER - TY - CPAPER ID - DBLP:conf/lori/HoekIW11 AU - Hoek, Wiebe van der AU - Iliev, Petar AU - Wooldridge, Michael J. TI - Knowledge and Action in Semi-public Environments. BT - Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings SP - 97 EP - 110 PY - 2011// DO - 10.1007/978-3-642-24130-7_7 UR - https://doi.org/10.1007/978-3-642-24130-7_7 ER - TY - CPAPER ID - DBLP:conf/scai/Wooldridge11 AU - Wooldridge, Michael J. TI - Playing Games with Games. BT - Eleventh Scandinavian Conference on Artificial Intelligence, SCAI 2011, Trondheim, Norway, May 24th - 26th, 2011 SP - 3 PY - 2011// DO - 10.3233/978-1-60750-754-3-3 UR - https://doi.org/10.3233/978-1-60750-754-3-3 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1102-3341 AU - Troquard, Nicolas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Reasoning about Social Choice Functions JO - CoRR VL - abs/1102.3341 PY - 2011// UR - http://arxiv.org/abs/1102.3341 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1110-2765 AU - Fatima, S. Shaheen AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Multi-Issue Negotiation with Deadlines JO - CoRR VL - abs/1110.2765 PY - 2011// UR - http://arxiv.org/abs/1110.2765 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1111-0041 AU - Bordini, Rafael H. AU - Moreira, Álvaro F. AU - Vieira, Renata AU - Wooldridge, Michael J. TI - On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language JO - CoRR VL - abs/1111.0041 PY - 2011// UR - http://arxiv.org/abs/1111.0041 ER - TY - JOUR ID - DBLP:journals/ai/DunneKMW10 AU - Dunne, Paul E. AU - Kraus, Sarit AU - Manisterski, Efrat AU - Wooldridge, Michael J. TI - Solving coalitional resource games. JO - Artif. Intell. VL - 174 IS - 1 SP - 20 EP - 50 PY - 2010// DO - 10.1016/J.ARTINT.2009.09.005 UR - https://doi.org/10.1016/j.artint.2009.09.005 ER - TY - JOUR ID - DBLP:journals/dss/MoyauxMW10 AU - Moyaux, Thierry AU - McBurney, Peter AU - Wooldridge, Michael J. TI - A supply chain as a network of auctions. JO - Decis. Support Syst. VL - 50 IS - 1 SP - 176 EP - 190 PY - 2010// DO - 10.1016/J.DSS.2010.07.013 UR - https://doi.org/10.1016/j.dss.2010.07.013 ER - TY - JOUR ID - DBLP:journals/igpl/AgotnesHW10 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Robust normative systems and a logic of norm compliance. JO - Log. J. IGPL VL - 18 IS - 1 SP - 4 EP - 30 PY - 2010// DO - 10.1093/JIGPAL/JZP070 UR - https://doi.org/10.1093/jigpal/jzp070 ER - TY - JOUR ID - DBLP:journals/ijmso/BlacoeTW10 AU - Blacoe, Ian AU - Tamma, Valentina A. M. AU - Wooldridge, Michael J. TI - Evaluation of scalable multi-agent system architectures for searching the Semantic Web. JO - Int. J. Metadata Semant. Ontologies VL - 5 IS - 2 SP - 99 EP - 119 PY - 2010// DO - 10.1504/IJMSO.2010.033281 UR - https://doi.org/10.1504/IJMSO.2010.033281 UR - https://www.wikidata.org/entity/Q114595548 ER - TY - JOUR ID - DBLP:journals/jair/HoekWW10 AU - Hoek, Wiebe van der AU - Walther, Dirk AU - Wooldridge, Michael J. TI - Reasoning About the Transfer of Control. JO - J. Artif. Intell. Res. VL - 37 SP - 437 EP - 477 PY - 2010// DO - 10.1613/JAIR.2901 UR - https://doi.org/10.1613/jair.2901 ER - TY - JOUR ID - DBLP:journals/mags/FatimaWJ10 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Sequential auctions for common value objects with budget constrained bidders. JO - Multiagent Grid Syst. VL - 6 IS - 5-6 SP - 403 EP - 414 PY - 2010// DO - 10.3233/MGS-2010-0158 UR - https://doi.org/10.3233/MGS-2010-0158 ER - TY - JOUR ID - DBLP:journals/synthese/GrantKPW10 AU - Grant, John AU - Kraus, Sarit AU - Perlis, Donald AU - Wooldridge, Michael J. TI - Postulates for revising BDI structures. JO - Synth. VL - 175 IS - Supplement-1 SP - 39 EP - 62 PY - 2010// DO - 10.1007/S11229-010-9735-1 UR - https://doi.org/10.1007/s11229-010-9735-1 ER - TY - CPAPER ID - DBLP:conf/aaai/GrantKW10 AU - Grant, John AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Intentions in Equilibrium. BT - Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010 SP - 786 EP - 791 PY - 2010// DO - 10.1609/AAAI.V24I1.7632 UR - https://doi.org/10.1609/aaai.v24i1.7632 ER - TY - CPAPER ID - DBLP:conf/atal/MichalakMSRWMJ10 AU - Michalak, Tomasz P. AU - Marciniak, Dorota AU - Szamotulski, Marcin AU - Rahwan, Talal AU - Wooldridge, Michael J. AU - McBurney, Peter AU - Jennings, Nicholas R. TI - A logic-based representation for coalitional games with externalities. BT - 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 SP - 125 EP - 132 PY - 2010// UR - https://dl.acm.org/citation.cfm?id=1838224 ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesW10 AU - Ågotnes, Thomas AU - Wooldridge, Michael J. TI - Optimal social laws. BT - 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 SP - 667 EP - 674 PY - 2010// UR - https://dl.acm.org/citation.cfm?id=1838294 ER - TY - CPAPER ID - DBLP:conf/atal/MichalakSRWMJ10 AU - Michalak, Tomasz P. AU - Sroka, Jacek AU - Rahwan, Talal AU - Wooldridge, Michael J. AU - McBurney, Peter AU - Jennings, Nicholas R. TI - A distributed algorithm for anytime coalition structure generation. BT - 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 SP - 1007 EP - 1014 PY - 2010// UR - https://dl.acm.org/citation.cfm?id=1838342 ER - TY - CPAPER ID - DBLP:conf/atal/KrystaMSW10 AU - Krysta, Piotr AU - Michalak, Tomasz P. AU - Sandholm, Tuomas AU - Wooldridge, Michael J. TI - Combinatorial auctions with externalities. BT - 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 SP - 1471 EP - 1472 PY - 2010// UR - https://dl.acm.org/citation.cfm?id=1838437 ER - TY - CPAPER ID - DBLP:conf/mfcs/BachrachZWR10 AU - Bachrach, Yoram AU - Zuckerman, Michael AU - Wooldridge, Michael J. AU - Rosenschein, Jeffrey S. TI - Proof Systems and Transformation Games. BT - Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings SP - 78 EP - 89 PY - 2010// DO - 10.1007/978-3-642-15155-2_9 UR - https://doi.org/10.1007/978-3-642-15155-2_9 ER - TY - CONF ID - DBLP:conf/ecai/2010 ED - Coelho, Helder ED - Studer, Rudi ED - Wooldridge, Michael J. TI - ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings T3 - Frontiers in Artificial Intelligence and Applications VL - 215 PY - 2010// PB - IOS Press UR - http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702 SN - ISBN 978-1-60750-605-8 ER - TY - BOOK ID - DBLP:books/daglib/0023784 AU - Wooldridge, Michael J. TI - An Introduction to MultiAgent Systems, Second Edition. SP - I EP - XXII SP - 1 EP - 461 PY - 2009// PB - Wiley SN - ISBN 978-0-470-51946-2 ER - TY - JOUR ID - DBLP:journals/ai/AgotnesHW09 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Reasoning about coalitional games. JO - Artif. Intell. VL - 173 IS - 1 SP - 45 EP - 79 PY - 2009// DO - 10.1016/J.ARTINT.2008.08.004 UR - https://doi.org/10.1016/j.artint.2008.08.004 ER - TY - JOUR ID - DBLP:journals/amai/ElkindGGW09 AU - Elkind, Edith AU - Goldberg, Leslie Ann AU - Goldberg, Paul W. AU - Wooldridge, Michael J. TI - On the computational complexity of weighted voting games. JO - Ann. Math. Artif. Intell. VL - 56 IS - 2 SP - 109 EP - 131 PY - 2009// DO - 10.1007/S10472-009-9162-5 UR - https://doi.org/10.1007/s10472-009-9162-5 ER - TY - JOUR ID - DBLP:journals/ecra/MichalakTMW09 AU - Michalak, Tomasz P. AU - Tyrowicz, Joanna AU - McBurney, Peter AU - Wooldridge, Michael J. TI - Exogenous coalition formation in the e-marketplace based on geographical proximity. JO - Electron. Commer. Res. Appl. VL - 8 IS - 4 SP - 203 EP - 223 PY - 2009// DO - 10.1016/J.ELERAP.2008.12.001 UR - https://doi.org/10.1016/j.elerap.2008.12.001 ER - TY - JOUR ID - DBLP:journals/igpl/AgotnesHW09 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Logics for Qualitative Coalitional Games. JO - Log. J. IGPL VL - 17 IS - 3 SP - 299 EP - 321 PY - 2009// DO - 10.1093/JIGPAL/JZP009 UR - https://doi.org/10.1093/jigpal/jzp009 ER - TY - JOUR ID - DBLP:journals/logcom/RuanHW09 AU - Ruan, Ji AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Verification of Games in the Game Description Language. JO - J. Log. Comput. VL - 19 IS - 6 SP - 1127 EP - 1156 PY - 2009// DO - 10.1093/LOGCOM/EXP039 UR - https://doi.org/10.1093/logcom/exp039 ER - TY - JOUR ID - DBLP:journals/logcom/BordiniFWV09 AU - Bordini, Rafael H. AU - Fisher, Michael AU - Wooldridge, Michael J. AU - Visser, Willem TI - Property-based Slicing for Agent Verification. JO - J. Log. Comput. VL - 19 IS - 6 SP - 1385 EP - 1425 PY - 2009// DO - 10.1093/LOGCOM/EXP029 UR - https://doi.org/10.1093/logcom/exp029 UR - https://www.wikidata.org/entity/Q98283654 ER - TY - JOUR ID - DBLP:journals/mlq/ElkindGGW09 AU - Elkind, Edith AU - Goldberg, Leslie Ann AU - Goldberg, Paul W. AU - Wooldridge, Michael J. TI - A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. JO - Math. Log. Q. VL - 55 IS - 4 SP - 362 EP - 376 PY - 2009// DO - 10.1002/MALQ.200810021 UR - https://doi.org/10.1002/malq.200810021 ER - TY - JOUR ID - DBLP:journals/sLogica/AgotnesHRSW09 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Rodríguez-Aguilar, Juan A. AU - Sierra, Carles AU - Wooldridge, Michael J. TI - Multi-Modal CTL: Completeness, Complexity, and an Application. JO - Stud Logica VL - 92 IS - 1 SP - 1 EP - 26 PY - 2009// DO - 10.1007/S11225-009-9184-3 UR - https://doi.org/10.1007/s11225-009-9184-3 ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesHTW09 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Tennenholtz, Moshe AU - Wooldridge, Michael J. TI - Power in normative systems. BT - 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1 SP - 145 EP - 152 PY - 2009// UR - https://dl.acm.org/citation.cfm?id=1558033 ER - TY - CPAPER ID - DBLP:conf/atal/FaliszewskiEW09 AU - Faliszewski, Piotr AU - Elkind, Edith AU - Wooldridge, Michael J. TI - Boolean combinations of weighted voting games. BT - 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1 SP - 185 EP - 192 PY - 2009// UR - https://dl.acm.org/citation.cfm?id=1558039 ER - TY - CPAPER ID - DBLP:conf/atal/ElkindW09 AU - Elkind, Edith AU - Wooldridge, Michael J. TI - Hedonic coalition nets. BT - 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1 SP - 417 EP - 424 PY - 2009// UR - https://dl.acm.org/citation.cfm?id=1558070 ER - TY - CPAPER ID - DBLP:conf/atal/DunneHMPW09 AU - Dunne, Paul E. AU - Hunter, Anthony AU - McBurney, Peter AU - Parsons, Simon AU - Wooldridge, Michael J. TI - Inconsistency tolerance in weighted argument systems. BT - 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2 SP - 851 EP - 858 PY - 2009// UR - https://dl.acm.org/citation.cfm?id=1558130 ER - TY - CPAPER ID - DBLP:conf/atal/TroquardHW09 AU - Troquard, Nicolas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - A logic of games and propositional control. BT - 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2 SP - 961 EP - 968 PY - 2009// UR - https://dl.acm.org/citation.cfm?id=1558146 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ09 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. BT - 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2 SP - 1041 EP - 1048 PY - 2009// UR - https://dl.acm.org/citation.cfm?id=1558158 ER - TY - CPAPER ID - DBLP:conf/ijcai/RahwanMJWM09 AU - Rahwan, Talal AU - Michalak, Tomasz P. AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. AU - McBurney, Peter TI - Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities. BT - IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 SP - 257 EP - 263 PY - 2009// UR - http://ijcai.org/Proceedings/09/Papers/052.pdf ER - TY - CPAPER ID - DBLP:conf/sigecom/MichalakRSDWMJ09 AU - Michalak, Tomasz P. AU - Rahwan, Talal AU - Sroka, Jacek AU - Dowell, Andrew James AU - Wooldridge, Michael J. AU - McBurney, Peter AU - Jennings, Nicholas R. TI - On representing coalitional games with externalities. BT - Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6--10, 2009 SP - 11 EP - 20 PY - 2009// DO - 10.1145/1566374.1566377 UR - https://doi.org/10.1145/1566374.1566377 ER - TY - CPAPER ID - DBLP:conf/tark/TroquardHW09 AU - Troquard, Nicolas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - A logic of propositional control for truthful implementations. BT - Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009 SP - 237 EP - 246 PY - 2009// DO - 10.1145/1562814.1562846 UR - https://doi.org/10.1145/1562814.1562846 ER - TY - CHAP ID - DBLP:books/igi/09/FatimaW09 AU - Fatima, Shaheen AU - Wooldridge, Michael J. TI - A Framework for Dynamic Agent Organizations. BT - Handbook of Research on Multi-Agent Systems - Semantics and Dynamics of Organizational Models. SP - 446 EP - 459 PY - 2009// DO - 10.4018/978-1-60566-256-5.CH018 UR - https://doi.org/10.4018/978-1-60566-256-5.ch018 ER - TY - CHAP ID - DBLP:books/sp/09/AgotnesHRSW09 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Rodríguez-Aguilar, Juan A. AU - Sierra, Carles AU - Wooldridge, Michael J. TI - A Temporal Logic of Normative Systems. BT - Towards Mathematical Philosophy SP - 69 EP - 106 PY - 2009// DO - 10.1007/978-1-4020-9084-4_5 UR - https://doi.org/10.1007/978-1-4020-9084-4_5 ER - TY - CHAP ID - DBLP:books/sp/09/DunneW09 AU - Dunne, Paul E. AU - Wooldridge, Michael J. TI - Complexity of Abstract Argumentation. BT - Argumentation in Artificial Intelligence SP - 85 EP - 104 PY - 2009// DO - 10.1007/978-0-387-98197-0_5 UR - https://doi.org/10.1007/978-0-387-98197-0_5 ER - TY - CHAP ID - DBLP:series/lncs/BallariniFW09 AU - Ballarini, Paolo AU - Fisher, Michael AU - Wooldridge, Michael J. TI - Uncertain Agent Verification through Probabilistic Model-Checking. BT - Safety and Security in Multiagent Systems - Research Results from 2004-2006 SP - 162 EP - 174 PY - 2009// DO - 10.1007/978-3-642-04879-1_12 UR - https://doi.org/10.1007/978-3-642-04879-1_12 UR - https://www.wikidata.org/entity/Q98283682 ER - TY - CONF ID - DBLP:conf/mochart/2008 ED - Peled, Doron A. ED - Wooldridge, Michael J. TI - Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers T3 - Lecture Notes in Computer Science VL - 5348 PY - 2009// PB - Springer DO - 10.1007/978-3-642-00431-5 UR - https://doi.org/10.1007/978-3-642-00431-5 SN - ISBN 978-3-642-00430-8 ER - TY - Informal or Other Publication ID - DBLP:conf/dagstuhl/AgotnesHW09 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Robust Normative Systems. BT - Normative Multi-Agent Systems, 15.03. - 20.03.2009 PY - 2009// UR - http://drops.dagstuhl.de/opus/volltexte/2009/1897/ ER - TY - JOUR ID - DBLP:journals/ai/FatimaWJ08 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - A linear approximation method for the Shapley value. JO - Artif. Intell. VL - 172 IS - 14 SP - 1673 EP - 1699 PY - 2008// DO - 10.1016/J.ARTINT.2008.05.003 UR - https://doi.org/10.1016/j.artint.2008.05.003 UR - https://www.wikidata.org/entity/Q57377393 ER - TY - JOUR ID - DBLP:journals/aim/Wooldridge08 AU - Wooldridge, Michael J. TI - How Inappropriately Heavyweight AI Solutions Dragged Down A Startup (and Made Me Realize that Industrial Salaries Are High for a Good Reason). JO - AI Mag. VL - 29 IS - 2 SP - 49 EP - 50 PY - 2008// DO - 10.1609/AIMAG.V29I2.2095 UR - https://doi.org/10.1609/aimag.v29i2.2095 ER - TY - JOUR ID - DBLP:journals/air/LopesWN08 AU - Lopes, Fernando AU - Wooldridge, Michael J. AU - Novais, Augusto Q. TI - Negotiation among autonomous computational agents: principles, analysis and challenges. JO - Artif. Intell. Rev. VL - 29 IS - 1 SP - 1 EP - 44 PY - 2008// DO - 10.1007/S10462-009-9107-8 UR - https://doi.org/10.1007/s10462-009-9107-8 ER - TY - JOUR ID - DBLP:journals/synthese/AgotnesHW08 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Quantified coalition logic. JO - Synth. VL - 165 IS - 2 SP - 269 EP - 294 PY - 2008// DO - 10.1007/S11229-008-9363-1 UR - https://doi.org/10.1007/s11229-008-9363-1 ER - TY - CPAPER ID - DBLP:conf/aaai/ElkindGGW08 AU - Elkind, Edith AU - Goldberg, Leslie Ann AU - Goldberg, Paul W. AU - Wooldridge, Michael J. TI - On the Dimensionality of Voting Games. BT - Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 SP - 69 EP - 74 PY - 2008// UR - http://www.aaai.org/Library/AAAI/2008/aaai08-011.php ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesHW08 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Quantifying over coalitions in epistemic logic. BT - 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2 SP - 665 EP - 672 PY - 2008// UR - https://dl.acm.org/citation.cfm?id=1402317 ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesHW08a AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Robust normative systems. BT - 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2 SP - 747 EP - 754 PY - 2008// UR - https://dl.acm.org/citation.cfm?id=1402328 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ08 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - An anytime approximation method for the inverse Shapley value problem. BT - 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2 SP - 935 EP - 942 PY - 2008// UR - https://dl.acm.org/citation.cfm?id=1402353 ER - TY - CPAPER ID - DBLP:conf/atal/HazonAKW08 AU - Hazon, Noam AU - Aumann, Yonatan AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Evaluation of election outcomes under uncertainty. BT - 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2 SP - 959 EP - 966 PY - 2008// UR - https://dl.acm.org/citation.cfm?id=1402356 ER - TY - CPAPER ID - DBLP:conf/atal/ElkindGGW08 AU - Elkind, Edith AU - Goldberg, Leslie Ann AU - Goldberg, Paul W. AU - Wooldridge, Michael J. TI - A tractable and expressive class of marginal contribution nets and its applications. BT - 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2 SP - 1007 EP - 1014 PY - 2008// UR - https://dl.acm.org/citation.cfm?id=1402362 ER - TY - CPAPER ID - DBLP:conf/atal/DunneHKW08 AU - Dunne, Paul E. AU - Hoek, Wiebe van der AU - Kraus, Sarit AU - Wooldridge, Michael J. TI - Cooperative Boolean games. BT - 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2 SP - 1015 EP - 1022 PY - 2008// UR - https://dl.acm.org/citation.cfm?id=1402363 ER - TY - CPAPER ID - DBLP:conf/ecai/MichalakDMW08 AU - Michalak, Tomasz P. AU - Dowell, Andrew James AU - McBurney, Peter AU - Wooldridge, Michael J. TI - Optimal Coalition Structure Generation In Partition Function Games. BT - ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings SP - 388 EP - 392 PY - 2008// DO - 10.3233/978-1-58603-891-5-388 UR - https://doi.org/10.3233/978-1-58603-891-5-388 ER - TY - CPAPER ID - DBLP:conf/kramas/MichalakDMW08 AU - Michalak, Tomasz P. AU - Dowell, Andrew James AU - McBurney, Peter AU - Wooldridge, Michael J. TI - Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms. BT - Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers SP - 99 EP - 113 PY - 2008// DO - 10.1007/978-3-642-05301-6_7 UR - https://doi.org/10.1007/978-3-642-05301-6_7 ER - TY - CPAPER ID - DBLP:conf/mates/Wooldridge08 AU - Wooldridge, Michael J. TI - Logic for Automated Mechanism Design and Analysis. BT - Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings SP - 1 PY - 2008// DO - 10.1007/978-3-540-87805-6_1 UR - https://doi.org/10.1007/978-3-540-87805-6_1 ER - TY - CPAPER ID - DBLP:conf/mochart/TroquardHW08 AU - Troquard, Nicolas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Model Checking Strategic Equilibria. BT - Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers SP - 166 EP - 188 PY - 2008// DO - 10.1007/978-3-642-00431-5_11 UR - https://doi.org/10.1007/978-3-642-00431-5_11 ER - TY - ENCYC ID - DBLP:reference/fai/HoekW08 AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Multi-Agent Systems. BT - Handbook of Knowledge Representation SP - 887 EP - 928 PY - 2008// DO - 10.1016/S1574-6526(07)03024-6 UR - https://doi.org/10.1016/S1574-6526(07)03024-6 ER - TY - JOUR ID - DBLP:journals/jair/VieiraMWB07 AU - Vieira, Renata AU - Moreira, Álvaro F. AU - Wooldridge, Michael J. AU - Bordini, Rafael H. TI - On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. JO - J. Artif. Intell. Res. VL - 29 SP - 221 EP - 267 PY - 2007// DO - 10.1613/JAIR.2221 UR - https://doi.org/10.1613/jair.2221 ER - TY - JOUR ID - DBLP:journals/jancl/DunneHW07 AU - Dunne, Paul E. AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - A logical characterisation of qualitative coalitional games. JO - J. Appl. Non Class. Logics VL - 17 IS - 4 SP - 477 EP - 509 PY - 2007// DO - 10.3166/JANCL.17.477-509 UR - https://doi.org/10.3166/jancl.17.477-509 ER - TY - JOUR ID - DBLP:journals/japll/FisherSSW07 AU - Fisher, Michael AU - Singh, Munindar P. AU - Spears, Diana F. AU - Wooldridge, Michael J. TI - Logic-Based Agent Verification. JO - J. Appl. Log. VL - 5 IS - 2 SP - 193 EP - 195 PY - 2007// DO - 10.1016/J.JAL.2005.12.012 UR - https://doi.org/10.1016/j.jal.2005.12.012 UR - https://www.wikidata.org/entity/Q59764474 ER - TY - JOUR ID - DBLP:journals/synthese/HoekJW07 AU - Hoek, Wiebe van der AU - Jamroga, Wojciech AU - Wooldridge, Michael J. TI - Towards a theory of intention revision. JO - Synth. VL - 155 IS - 2 SP - 265 EP - 290 PY - 2007// DO - 10.1007/S11229-006-9145-6 UR - https://doi.org/10.1007/s11229-006-9145-6 ER - TY - JOUR ID - DBLP:journals/synthese/HoekRW07 AU - Hoek, Wiebe van der AU - Roberts, Mark AU - Wooldridge, Michael J. TI - Social laws in alternating time: effectiveness, feasibility, and synthesis. JO - Synth. VL - 156 IS - 1 SP - 1 EP - 19 PY - 2007// DO - 10.1007/S11229-006-9072-6 UR - https://doi.org/10.1007/s11229-006-9072-6 ER - TY - JOUR ID - DBLP:journals/taas/PauroballyTW07 AU - Paurobally, Shamimabi AU - Tamma, Valentina A. M. AU - Wooldridge, Michael J. TI - A Framework for Web service negotiation. JO - ACM Trans. Auton. Adapt. Syst. VL - 2 IS - 4 SP - 14 PY - 2007// DO - 10.1145/1293731.1293734 UR - https://doi.org/10.1145/1293731.1293734 ER - TY - CPAPER ID - DBLP:conf/aaai/WooldridgeADH07 AU - Wooldridge, Michael J. AU - Ågotnes, Thomas AU - Dunne, Paul E. AU - Hoek, Wiebe van der TI - Logic for Automated Mechanism Design - A Progress Report. BT - Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada SP - 9 EP - 17 PY - 2007// UR - http://www.aaai.org/Library/AAAI/2007/aaai07-002.php ER - TY - CPAPER ID - DBLP:conf/aaai/ElkindGGW07 AU - Elkind, Edith AU - Goldberg, Leslie Ann AU - Goldberg, Paul W. AU - Wooldridge, Michael J. TI - Computational Complexity of Weighted Threshold Games. BT - Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada SP - 718 EP - 723 PY - 2007// UR - http://www.aaai.org/Library/AAAI/2007/aaai07-114.php ER - TY - CPAPER ID - DBLP:conf/argmas/ParsonsMSW07 AU - Parsons, Simon AU - McBurney, Peter AU - Sklar, Elizabeth AU - Wooldridge, Michael J. TI - On the Relevance of Utterances in Formal Inter-agent Dialogues. BT - Argumentation in Multi-Agent Systems, 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers SP - 47 EP - 62 PY - 2007// DO - 10.1007/978-3-540-78915-4_4 UR - https://doi.org/10.1007/978-3-540-78915-4_4 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ07b AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Sequential Auctions in Uncertain Information Settings. BT - Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers SP - 16 EP - 29 PY - 2007// DO - 10.1007/978-3-540-88713-3_2 UR - https://doi.org/10.1007/978-3-540-88713-3_2 ER - TY - CPAPER ID - DBLP:conf/atal/PauroballyW07 AU - Paurobally, Shamimabi AU - Wooldridge, Michael J. TI - Joint conversation specification and compliance. BT - 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 SP - 30 PY - 2007// DO - 10.1145/1329125.1329162 UR - https://doi.org/10.1145/1329125.1329162 ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesHW07 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Reasoning about judgment and preference aggregation. BT - 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 SP - 85 PY - 2007// DO - 10.1145/1329125.1329228 UR - https://doi.org/10.1145/1329125.1329228 ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesHW07a AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Normative system games. BT - 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 SP - 129 PY - 2007// DO - 10.1145/1329125.1329284 UR - https://doi.org/10.1145/1329125.1329284 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ07 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Approximate and online multi-issue negotiation. BT - 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 SP - 156 PY - 2007// DO - 10.1145/1329125.1329315 UR - https://doi.org/10.1145/1329125.1329315 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ07a AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - A randomized method for the shapley value for the voting game. BT - 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 SP - 157 PY - 2007// DO - 10.1145/1329125.1329316 UR - https://doi.org/10.1145/1329125.1329316 ER - TY - CPAPER ID - DBLP:conf/atal/ParsonsMSW07 AU - Parsons, Simon AU - McBurney, Peter AU - Sklar, Elizabeth AU - Wooldridge, Michael J. TI - On the relevance of utterances in formal inter-agent dialogues. BT - 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 SP - 240 PY - 2007// DO - 10.1145/1329125.1329416 UR - https://doi.org/10.1145/1329125.1329416 ER - TY - CPAPER ID - DBLP:conf/atal/PauroballyATWH07 AU - Paurobally, Shamimabi AU - Aart, Chris van AU - Tamma, Valentina A. M. AU - Wooldridge, Michael J. AU - Hapert, Peter van TI - Web services negotiation in an insurance grid. BT - 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 SP - 275 PY - 2007// DO - 10.1145/1329125.1329457 UR - https://doi.org/10.1145/1329125.1329457 ER - TY - CPAPER ID - DBLP:conf/dalt/PauroballyW07 AU - Paurobally, Shamimabi AU - Wooldridge, Michael J. TI - Joint Conversation Specification and Compliance. BT - Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers SP - 18 EP - 35 PY - 2007// DO - 10.1007/978-3-540-77564-5_2 UR - https://doi.org/10.1007/978-3-540-77564-5_2 ER - TY - CPAPER ID - DBLP:conf/icebe/HeLJW07 AU - He, Minghua AU - Luo, Xudong AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Forming Fuzzy Coalitions in Cooperative Superadditive Games. BT - Proceedings of ICEBE 2007, IEEE International Conference on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 24-26 October, 2007, Hong Kong, China SP - 221 EP - 228 PY - 2007// DO - 10.1109/ICEBE.2007.93 UR - https://doi.org/10.1109/ICEBE.2007.93 UR - https://doi.ieeecomputersociety.org/10.1109/ICEBE.2007.93 UR - https://www.wikidata.org/entity/Q57377409 ER - TY - CPAPER ID - DBLP:conf/ijcai/AgotnesHRSW07 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Rodríguez-Aguilar, Juan A. AU - Sierra, Carles AU - Wooldridge, Michael J. TI - On the Logic of Normative Systems. BT - IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 SP - 1175 EP - 1180 PY - 2007// UR - http://ijcai.org/Proceedings/07/Papers/190.pdf ER - TY - CPAPER ID - DBLP:conf/ijcai/AgotnesHW07 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Quantified Coalition Logic. BT - IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 SP - 1181 EP - 1186 PY - 2007// UR - http://ijcai.org/Proceedings/07/Papers/191.pdf ER - TY - CPAPER ID - DBLP:conf/promas/DennisFBFW07 AU - Dennis, Louise A. AU - Farwer, Berndt AU - Bordini, Rafael H. AU - Fisher, Michael AU - Wooldridge, Michael J. TI - A Common Semantic Basis for BDI Languages. BT - Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers SP - 124 EP - 139 PY - 2007// DO - 10.1007/978-3-540-79043-3_8 UR - https://doi.org/10.1007/978-3-540-79043-3_8 UR - https://www.wikidata.org/entity/Q98283703 ER - TY - CPAPER ID - DBLP:conf/tark/WaltherHW07 AU - Walther, Dirk AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Alternating-time temporal logic with explicit strategies. BT - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007 SP - 269 EP - 278 PY - 2007// DO - 10.1145/1324249.1324285 UR - https://doi.org/10.1145/1324249.1324285 ER - TY - CPAPER ID - DBLP:journals/entcs/AgotnesHW09 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Completeness and Complexity of Multi-modal CTL. BT - Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007 SP - 259 EP - 275 PY - 2007// DO - 10.1016/J.ENTCS.2009.02.040 UR - https://doi.org/10.1016/j.entcs.2009.02.040 ER - TY - Informal or Other Publication ID - DBLP:conf/dagstuhl/AgotnesHRSW07 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Rodríguez-Aguilar, Juan A. AU - Sierra, Carles AU - Wooldridge, Michael J. TI - On the Logic of Normative Systems. BT - Normative Multi-agent Systems, 18.03. - 23.03.2007 PY - 2007// UR - http://drops.dagstuhl.de/opus/volltexte/2007/921 ER - TY - JOUR ID - DBLP:journals/aamas/BordiniFVW06 AU - Bordini, Rafael H. AU - Fisher, Michael AU - Visser, Willem AU - Wooldridge, Michael J. TI - Verifying Multi-agent Programs by Model Checking. JO - Auton. Agents Multi Agent Syst. VL - 12 IS - 2 SP - 239 EP - 256 PY - 2006// DO - 10.1007/S10458-006-5955-7 UR - https://doi.org/10.1007/s10458-006-5955-7 UR - https://www.wikidata.org/entity/Q98283859 ER - TY - JOUR ID - DBLP:journals/ai/WooldridgeD06 AU - Wooldridge, Michael J. AU - Dunne, Paul E. TI - On the computational complexity of coalitional resource games. JO - Artif. Intell. VL - 170 IS - 10 SP - 835 EP - 871 PY - 2006// DO - 10.1016/J.ARTINT.2006.03.003 UR - https://doi.org/10.1016/j.artint.2006.03.003 ER - TY - JOUR ID - DBLP:journals/aim/KoenigKSW06 AU - Koenig, Sven AU - Kraus, Sarit AU - Singh, Munindar P. AU - Wooldridge, Michael J. TI - Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems. JO - AI Mag. VL - 27 IS - 1 SP - 103 EP - 107 PY - 2006// DO - 10.1609/AIMAG.V27I1.1870 UR - https://doi.org/10.1609/aimag.v27i1.1870 ER - TY - JOUR ID - DBLP:journals/ijait/WooldridgeHFP06 AU - Wooldridge, Michael J. AU - Huget, Marc-Philippe AU - Fisher, Michael AU - Parsons, Simon TI - Model Checking for Multiagent Systems: the Mable Language and its Applications. JO - Int. J. Artif. Intell. Tools VL - 15 IS - 2 SP - 195 EP - 226 PY - 2006// DO - 10.1142/S0218213006002631 UR - https://doi.org/10.1142/S0218213006002631 UR - https://www.wikidata.org/entity/Q98283854 ER - TY - JOUR ID - DBLP:journals/jair/FatimaWJ06 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Multi-Issue Negotiation with Deadlines. JO - J. Artif. Intell. Res. VL - 27 SP - 381 EP - 417 PY - 2006// DO - 10.1613/JAIR.2056 UR - https://doi.org/10.1613/jair.2056 ER - TY - JOUR ID - DBLP:journals/jolli/OtterlooHW06 AU - Otterloo, Sieuwert van AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Knowledge Condition Games. JO - J. Log. Lang. Inf. VL - 15 IS - 4 SP - 425 EP - 452 PY - 2006// DO - 10.1007/S10849-006-9014-1 UR - https://doi.org/10.1007/s10849-006-9014-1 ER - TY - JOUR ID - DBLP:journals/logcom/WaltherLWW06 AU - Walther, Dirk AU - Lutz, Carsten AU - Wolter, Frank AU - Wooldridge, Michael J. TI - ATL Satisfiability is Indeed EXPTIME-complete. JO - J. Log. Comput. VL - 16 IS - 6 SP - 765 EP - 787 PY - 2006// DO - 10.1093/LOGCOM/EXL009 UR - https://doi.org/10.1093/logcom/exl009 ER - TY - JOUR ID - DBLP:journals/synthese/OtterlooWM06 AU - Otterloo, Sieuwert van AU - Wooldridge, Michael J. AU - McBurney, Peter TI - Foreword. JO - Synth. VL - 149 IS - 2 SP - 255 EP - 256 PY - 2006// DO - 10.1007/S11229-005-4332-4 UR - https://doi.org/10.1007/s11229-005-4332-4 ER - TY - CPAPER ID - DBLP:conf/aaai/WooldridgeDP06 AU - Wooldridge, Michael J. AU - Dunne, Paul E. AU - Parsons, Simon TI - On the Complexity of Linking Deductive and Abstract Argument Systems. BT - Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA SP - 299 EP - 304 PY - 2006// UR - http://www.aaai.org/Library/AAAI/2006/aaai06-048.php ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ06 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - On Efficient Procedures for Multi-issue Negotiation. BT - Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets, AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers SP - 31 EP - 45 PY - 2006// DO - 10.1007/978-3-540-72502-2_3 UR - https://doi.org/10.1007/978-3-540-72502-2_3 ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesHW06 AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - On the logic of coalitional games. BT - 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 SP - 153 EP - 160 PY - 2006// DO - 10.1145/1160633.1160659 UR - https://doi.org/10.1145/1160633.1160659 ER - TY - CPAPER ID - DBLP:conf/atal/AgotnesHW06a AU - Ågotnes, Thomas AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Temporal qualitative coalitional games. BT - 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 SP - 177 EP - 184 PY - 2006// DO - 10.1145/1160633.1160662 UR - https://doi.org/10.1145/1160633.1160662 ER - TY - CPAPER ID - DBLP:conf/atal/SauroGHW06 AU - Sauro, Luigi AU - Gerbrandy, Jelle AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Reasoning about action and cooperation. BT - 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 SP - 185 EP - 192 PY - 2006// DO - 10.1145/1160633.1160663 UR - https://doi.org/10.1145/1160633.1160663 ER - TY - CPAPER ID - DBLP:conf/atal/HoekLW06 AU - Hoek, Wiebe van der AU - Lomuscio, Alessio AU - Wooldridge, Michael J. TI - On the complexity of practical ATL model checking. BT - 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 SP - 201 EP - 208 PY - 2006// DO - 10.1145/1160633.1160665 UR - https://doi.org/10.1145/1160633.1160665 ER - TY - CPAPER ID - DBLP:conf/atal/HubnerBW06 AU - Hübner, Jomi Fred AU - Bordini, Rafael H. AU - Wooldridge, Michael J. TI - Plan patterns for declarative goals in AgentSpeak. BT - 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 SP - 1291 EP - 1293 PY - 2006// DO - 10.1145/1160633.1160869 UR - https://doi.org/10.1145/1160633.1160869 ER - TY - CPAPER ID - DBLP:conf/dalt/HubnerBW06 AU - Hübner, Jomi Fred AU - Bordini, Rafael H. AU - Wooldridge, Michael J. TI - Programming Declarative Goals Using Plan Patterns. BT - Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers SP - 123 EP - 140 PY - 2006// DO - 10.1007/11961536_9 UR - https://doi.org/10.1007/11961536_9 ER - TY - CONF ID - DBLP:conf/lcmas/2005 ED - Hoek, Wiebe van der ED - Lomuscio, Alessio ED - Vink, Erik P. de ED - Wooldridge, Michael J. TI - Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005 T3 - Electronic Notes in Theoretical Computer Science VL - 157 PY - 2006// PB - Elsevier UR - https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/157/issue/4 ER - TY - JOUR ID - DBLP:journals/ai/DunneWL05 AU - Dunne, Paul E. AU - Wooldridge, Michael J. AU - Laurence, Michael TI - The complexity of contract negotiation. JO - Artif. Intell. VL - 164 IS - 1-2 SP - 23 EP - 46 PY - 2005// DO - 10.1016/J.ARTINT.2005.01.006 UR - https://doi.org/10.1016/j.artint.2005.01.006 ER - TY - JOUR ID - DBLP:journals/ai/HoekW05 AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - On the logic of cooperation and propositional control. JO - Artif. Intell. VL - 164 IS - 1-2 SP - 81 EP - 119 PY - 2005// DO - 10.1016/J.ARTINT.2005.01.003 UR - https://doi.org/10.1016/j.artint.2005.01.003 ER - TY - JOUR ID - DBLP:journals/air/FatimaWJ05 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. JO - Artif. Intell. Rev. VL - 23 IS - 2 SP - 187 EP - 205 PY - 2005// DO - 10.1007/S10462-004-6391-1 UR - https://doi.org/10.1007/s10462-004-6391-1 UR - https://www.wikidata.org/entity/Q57377436 ER - TY - JOUR ID - DBLP:journals/amai/FatimaWJ05 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Bargaining with incomplete information. JO - Ann. Math. Artif. Intell. VL - 44 IS - 3 SP - 207 EP - 232 PY - 2005// DO - 10.1007/S10472-005-4688-7 UR - https://doi.org/10.1007/s10472-005-4688-7 UR - https://www.wikidata.org/entity/Q57377441 ER - TY - JOUR ID - DBLP:journals/amai/WooldridgeD05 AU - Wooldridge, Michael J. AU - Dunne, Paul E. TI - The complexity of agent design problems: Determinism and history dependence. JO - Ann. Math. Artif. Intell. VL - 45 IS - 3-4 SP - 343 EP - 371 PY - 2005// DO - 10.1007/S10472-005-9003-0 UR - https://doi.org/10.1007/s10472-005-9003-0 ER - TY - JOUR ID - DBLP:journals/eaai/WeissW05 AU - Weiß, Gerhard AU - Wooldridge, Michael J. TI - Guest Editorial. JO - Eng. Appl. Artif. Intell. VL - 18 IS - 2 SP - 127 EP - 128 PY - 2005// DO - 10.1016/J.ENGAPPAI.2004.11.014 UR - https://doi.org/10.1016/j.engappai.2004.11.014 ER - TY - JOUR ID - DBLP:journals/eaai/TammaPDW05 AU - Tamma, Valentina A. M. AU - Phelps, Steve AU - Dickinson, Ian AU - Wooldridge, Michael J. TI - Ontologies for supporting negotiation in e-commerce. JO - Eng. Appl. Artif. Intell. VL - 18 IS - 2 SP - 223 EP - 236 PY - 2005// DO - 10.1016/J.ENGAPPAI.2004.11.011 UR - https://doi.org/10.1016/j.engappai.2004.11.011 UR - https://www.wikidata.org/entity/Q114669668 ER - TY - JOUR ID - DBLP:journals/japll/WooldridgeH05 AU - Wooldridge, Michael J. AU - Hoek, Wiebe van der TI - On obligations and normative ability: Towards a logical analysis of the social contract. JO - J. Appl. Log. VL - 3 IS - 3-4 SP - 396 EP - 420 PY - 2005// DO - 10.1016/J.JAL.2005.04.006 UR - https://doi.org/10.1016/j.jal.2005.04.006 ER - TY - CPAPER ID - DBLP:conf/argmas/WooldridgeMP05 AU - Wooldridge, Michael J. AU - McBurney, Peter AU - Parsons, Simon TI - On the Meta-logic of Arguments. BT - Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers SP - 42 EP - 56 PY - 2005// DO - 10.1007/11794578_3 UR - https://doi.org/10.1007/11794578_3 ER - TY - CPAPER ID - DBLP:conf/atal/HimoffSW05 AU - Himoff, Jonathan AU - Skobelev, Petr AU - Wooldridge, Michael J. TI - MAGENTA technology: multi-agent systems for industrial logistics. BT - 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands - Special Track for Industrial Applications SP - 60 EP - 66 PY - 2005// DO - 10.1145/1082473.1082805 UR - https://doi.org/10.1145/1082473.1082805 ER - TY - CPAPER ID - DBLP:conf/atal/HoekJW05 AU - Hoek, Wiebe van der AU - Jamroga, Wojciech AU - Wooldridge, Michael J. TI - A logic for strategic reasoning. BT - 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands SP - 157 EP - 164 PY - 2005// DO - 10.1145/1082473.1082497 UR - https://doi.org/10.1145/1082473.1082497 ER - TY - CPAPER ID - DBLP:conf/atal/WooldridgeMP05 AU - Wooldridge, Michael J. AU - McBurney, Peter AU - Parsons, Simon TI - On the meta-logic of arguments. BT - 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands SP - 560 EP - 567 PY - 2005// DO - 10.1145/1082473.1082558 UR - https://doi.org/10.1145/1082473.1082558 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ05 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Sequential auctions for objects with common and private values. BT - 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands SP - 635 EP - 642 PY - 2005// DO - 10.1145/1082473.1082570 UR - https://doi.org/10.1145/1082473.1082570 ER - TY - CPAPER ID - DBLP:conf/atal/HoekRW05 AU - Hoek, Wiebe van der AU - Roberts, Mark AU - Wooldridge, Michael J. TI - Knowledge and social laws. BT - 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands SP - 674 EP - 681 PY - 2005// DO - 10.1145/1082473.1082576 UR - https://doi.org/10.1145/1082473.1082576 ER - TY - CPAPER ID - DBLP:conf/atal/HoekW05 AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - On the dynamics of delegation, cooperation, and control: a logical account. BT - 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands SP - 701 EP - 708 PY - 2005// DO - 10.1145/1082473.1082580 UR - https://doi.org/10.1145/1082473.1082580 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ05a AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - An analysis of the shapley value and its uncertainty for the voting game. BT - 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands SP - 1201 EP - 1202 PY - 2005// DO - 10.1145/1082473.1082693 UR - https://doi.org/10.1145/1082473.1082693 ER - TY - CPAPER ID - DBLP:conf/atal/DoutreMW05 AU - Doutre, Sylvie AU - McBurney, Peter AU - Wooldridge, Michael J. TI - Law-governed Linda as a semantics for agent dialogue protocols. BT - 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands SP - 1257 EP - 1258 PY - 2005// DO - 10.1145/1082473.1082721 UR - https://doi.org/10.1145/1082473.1082721 ER - TY - CPAPER ID - DBLP:conf/epia/JamrogaHW05 AU - Jamroga, Wojciech AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Intentions and Strategies in Game-Like Scenarios. BT - Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings SP - 512 EP - 523 PY - 2005// DO - 10.1007/11595014_51 UR - https://doi.org/10.1007/11595014_51 ER - TY - CPAPER ID - DBLP:conf/eumas/ShaheenWJ05 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - An analysis of the Shapley Value and its Uncertainty for the Voting Game. BT - EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7-8, 2005 SP - 480 EP - 481 PY - 2005// ER - TY - CPAPER ID - DBLP:conf/iicai/FatimaWJ05 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - A Model for Multi-issue Negotiation. BT - Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005 SP - 2992 EP - 3008 PY - 2005// ER - TY - CPAPER ID - DBLP:conf/ijcai/FatimaWJ05 AU - Fatima, Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - An Analysis of Sequential Auctions for Common and Private Value Objects. BT - Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms - AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers SP - 30 EP - 42 PY - 2005// DO - 10.1007/11888727_3 UR - https://doi.org/10.1007/11888727_3 ER - TY - CPAPER ID - DBLP:conf/ijcai/FatimaWJ05a AU - Fatima, Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - An Analysis of the Shapley Value and Its Uncertainty for the Voting Game. BT - Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms - AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers SP - 85 EP - 98 PY - 2005// DO - 10.1007/11888727_7 UR - https://doi.org/10.1007/11888727_7 ER - TY - CPAPER ID - DBLP:conf/semweb/TammaAMPSW05 AU - Tamma, Valentina A. M. AU - Aart, Chris van AU - Moyaux, Thierry AU - Paurobally, Shamimabi AU - Smith, Ben Lithgow AU - Wooldridge, Michael J. TI - An Ontological Framework for Dynamic Coordination. BT - The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings SP - 638 EP - 652 PY - 2005// DO - 10.1007/11574620_46 UR - https://doi.org/10.1007/11574620_46 ER - TY - CPAPER ID - DBLP:conf/semweb/TammaBLW05 AU - Tamma, Valentina A. M. AU - Blacoe, Ian AU - Smith, Ben Lithgow AU - Wooldridge, Michael J. TI - Introducing Autonomic Behaviour in Semantic Web Agents. BT - The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings SP - 653 EP - 667 PY - 2005// DO - 10.1007/11574620_47 UR - https://doi.org/10.1007/11574620_47 ER - TY - CPAPER ID - DBLP:journals/entcs/HoekLVW06 AU - Hoek, Wiebe van der AU - Lomuscio, Alessio AU - Vink, Erik P. de AU - Wooldridge, Michael J. TI - Preface. BT - Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005 SP - 1 EP - 2 PY - 2005// DO - 10.1016/J.ENTCS.2006.02.009 UR - https://doi.org/10.1016/j.entcs.2006.02.009 ER - TY - CPAPER ID - DBLP:journals/entcs/BallariniFW06 AU - Ballarini, Paolo AU - Fisher, Michael AU - Wooldridge, Michael J. TI - Automated Game Analysis via Probabilistic Model Checking: a case study. BT - Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005 SP - 125 EP - 137 PY - 2005// DO - 10.1016/J.ENTCS.2005.07.030 UR - https://doi.org/10.1016/j.entcs.2005.07.030 UR - https://www.wikidata.org/entity/Q98283815 ER - TY - CONF ID - DBLP:conf/atal/2005 ED - Dignum, Frank ED - Dignum, Virginia ED - Koenig, Sven ED - Kraus, Sarit ED - Singh, Munindar P. ED - Wooldridge, Michael J. TI - 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands PY - 2005// PB - ACM SN - ISBN 1-59593-094-9 ER - TY - ENCYC ID - DBLP:reference/fai/FisherW05 AU - Fisher, Michael AU - Wooldridge, Michael J. TI - Temporal Reasoning in Agent-Based Systems. BT - Handbook of Temporal Reasoning in Artificial Intelligence SP - 469 EP - 495 PY - 2005// DO - 10.1016/S1574-6526(05)80017-3 UR - https://doi.org/10.1016/S1574-6526(05)80017-3 UR - https://www.wikidata.org/entity/Q98283878 ER - TY - JOUR ID - DBLP:journals/aai/OtterlooDW04 AU - Otterloo, Sieuwert van AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Model Checking A Knowledge Exchange Scenario. JO - Appl. Artif. Intell. VL - 18 IS - 9-10 SP - 937 EP - 952 PY - 2004// DO - 10.1080/08839510490514832 UR - https://doi.org/10.1080/08839510490514832 UR - https://www.wikidata.org/entity/Q58272075 ER - TY - JOUR ID - DBLP:journals/aamas/DInvernoLGKW04 AU - d'Inverno, Mark AU - Luck, Michael AU - Georgeff, Michael P. AU - Kinny, David AU - Wooldridge, Michael J. TI - The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. JO - Auton. Agents Multi Agent Syst. VL - 9 IS - 1-2 SP - 5 EP - 53 PY - 2004// DO - 10.1023/B:AGNT.0000019688.11109.19 UR - https://doi.org/10.1023/B:AGNT.0000019688.11109.19 UR - https://www.wikidata.org/entity/Q59761961 ER - TY - JOUR ID - DBLP:journals/aamas/Wooldridge04 AU - Wooldridge, Michael J. TI - Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7. JO - Auton. Agents Multi Agent Syst. VL - 10 IS - 1 SP - 91 EP - 93 PY - 2004// DO - 10.1007/S10458-004-3576-6 UR - https://doi.org/10.1007/s10458-004-3576-6 ER - TY - JOUR ID - DBLP:journals/ai/FatimaWJ04 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - An agenda-based framework for multi-issue negotiation. JO - Artif. Intell. VL - 152 IS - 1 SP - 1 EP - 45 PY - 2004// DO - 10.1016/S0004-3702(03)00115-2 UR - https://doi.org/10.1016/S0004-3702(03)00115-2 UR - https://www.wikidata.org/entity/Q57377470 ER - TY - JOUR ID - DBLP:journals/ai/WooldridgeD04 AU - Wooldridge, Michael J. AU - Dunne, Paul E. TI - On the computational complexity of qualitative coalitional games. JO - Artif. Intell. VL - 158 IS - 1 SP - 27 EP - 73 PY - 2004// DO - 10.1016/J.ARTINT.2004.04.002 UR - https://doi.org/10.1016/j.artint.2004.04.002 ER - TY - JOUR ID - DBLP:journals/aim/RosenscheinW04 AU - Rosenschein, Jeffrey S. AU - Wooldridge, Michael J. TI - Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems. JO - AI Mag. VL - 25 IS - 1 SP - 105 EP - 106 PY - 2004// DO - 10.1609/AIMAG.V25I1.1751 UR - https://doi.org/10.1609/aimag.v25i1.1751 ER - TY - JOUR ID - DBLP:journals/amai/VasconcelosRSESW04 AU - Vasconcelos, Wamberto Weber AU - Robertson, David Stuart AU - Sierra, Carles AU - Esteva, Marc AU - Sabater, Jordi AU - Wooldridge, Michael J. TI - Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. JO - Ann. Math. Artif. Intell. VL - 41 IS - 2-4 SP - 135 EP - 169 PY - 2004// DO - 10.1023/B:AMAI.0000031194.57352.E7 UR - https://doi.org/10.1023/B:AMAI.0000031194.57352.e7 ER - TY - JOUR ID - DBLP:journals/expert/BordiniFVW04 AU - Bordini, Rafael H. AU - Fisher, Michael AU - Visser, Willem AU - Wooldridge, Michael J. TI - Model Checking Rational Agents. JO - IEEE Intell. Syst. VL - 19 IS - 5 SP - 46 EP - 52 PY - 2004// DO - 10.1109/MIS.2004.47 UR - https://doi.org/10.1109/MIS.2004.47 UR - http://doi.ieeecomputersociety.org/10.1109/MIS.2004.47 UR - https://www.wikidata.org/entity/Q98283928 ER - TY - JOUR ID - DBLP:journals/internet/PhelpsTWD04 AU - Phelps, Steve AU - Tamma, Valentina A. M. AU - Wooldridge, Michael J. AU - Dickinson, Ian TI - Toward Open Negotiation. JO - IEEE Internet Comput. VL - 8 IS - 2 SP - 70 EP - 75 PY - 2004// DO - 10.1109/MIC.2004.1273488 UR - https://doi.org/10.1109/MIC.2004.1273488 UR - http://doi.ieeecomputersociety.org/10.1109/MIC.2004.1273488 ER - TY - JOUR ID - DBLP:journals/jetai/SchutWP04 AU - Schut, Martijn C. AU - Wooldridge, Michael J. AU - Parsons, Simon TI - The theory and practice of intention reconsideration. JO - J. Exp. Theor. Artif. Intell. VL - 16 IS - 4 SP - 261 EP - 293 PY - 2004// DO - 10.1080/09528130412331309277 UR - https://doi.org/10.1080/09528130412331309277 ER - TY - CPAPER ID - DBLP:conf/argmas/ParsonsMW04 AU - Parsons, Simon AU - McBurney, Peter AU - Wooldridge, Michael J. TI - Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. BT - Argumentation in Multi-Agent Systems, First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers SP - 1 EP - 18 PY - 2004// DO - 10.1007/978-3-540-32261-0_1 UR - https://doi.org/10.1007/978-3-540-32261-0_1 ER - TY - CPAPER ID - DBLP:conf/atal/OtterlooHW04 AU - Otterloo, Sieuwert van AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Preferences in Game Logics. BT - 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA SP - 152 EP - 159 PY - 2004// DO - 10.1109/AAMAS.2004.10028 UR - https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10028 UR - http://dl.acm.org/citation.cfm?id=1018743 ER - TY - CPAPER ID - DBLP:conf/atal/BordiniFVW04 AU - Bordini, Rafael H. AU - Fisher, Michael AU - Visser, Willem AU - Wooldridge, Michael J. TI - State-Space Reduction Techniques in Agent Verification. BT - 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA SP - 896 EP - 903 PY - 2004// DO - 10.1109/AAMAS.2004.10118 UR - https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10118 UR - http://dl.acm.org/citation.cfm?id=1018842 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ04 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Optimal Negotiation of Multiple Issues in Incomplete Information Settings. BT - 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA SP - 1080 EP - 1087 PY - 2004// DO - 10.1109/AAMAS.2004.10215 UR - https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10215 UR - http://dl.acm.org/citation.cfm?id=1018876 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ04a AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Revenue Maximising Agendas for Sequential English Auctions. BT - 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA SP - 1432 EP - 1433 PY - 2004// DO - 10.1109/AAMAS.2004.10279 UR - https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10279 UR - http://dl.acm.org/citation.cfm?id=1018972 ER - TY - CPAPER ID - DBLP:conf/deon/Wooldridge04 AU - Wooldridge, Michael J. TI - Social Laws in Alternating Time. BT - Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings SP - 2 PY - 2004// DO - 10.1007/978-3-540-25927-5_2 UR - https://doi.org/10.1007/978-3-540-25927-5_2 ER - TY - CPAPER ID - DBLP:conf/deon/JamrogaHW04 AU - Jamroga, Wojciech AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - On Obligations and Abilities. BT - Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings SP - 165 EP - 181 PY - 2004// DO - 10.1007/978-3-540-25927-5_11 UR - https://doi.org/10.1007/978-3-540-25927-5_11 ER - TY - CPAPER ID - DBLP:conf/ecai/TammaBSW04 AU - Tamma, Valentina A. M. AU - Blacoe, Ian AU - Smith, Ben Lithgow AU - Wooldridge, Michael J. TI - SERSE: Searching for Semantic Web Content. BT - Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004 SP - 63 EP - 67 PY - 2004// ER - TY - CPAPER ID - DBLP:conf/ecai/DunneLW04 AU - Dunne, Paul E. AU - Laurence, Michael AU - Wooldridge, Michael J. TI - Tractability Results for Automatic Contracting. BT - Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004 SP - 1003 EP - 1004 PY - 2004// ER - TY - CPAPER ID - DBLP:conf/ekaw/TammaBSW04 AU - Tamma, Valentina A. M. AU - Blacoe, Ian AU - Smith, Ben Lithgow AU - Wooldridge, Michael J. TI - SERSE: Searching for Digital Content in Esperonto. BT - Engineering Knowledge in the Age of the Semantic Web, 14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004, Proceedings SP - 419 EP - 432 PY - 2004// DO - 10.1007/978-3-540-30202-5_28 UR - https://doi.org/10.1007/978-3-540-30202-5_28 ER - TY - CPAPER ID - DBLP:journals/entcs/HoekLVW05 AU - Hoek, Wiebe van der AU - Lomuscio, Alessio AU - Vink, Erik P. de AU - Wooldridge, Michael J. TI - Preface. BT - Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004 SP - 1 EP - 2 PY - 2004// DO - 10.1016/J.ENTCS.2004.11.010 UR - https://doi.org/10.1016/j.entcs.2004.11.010 ER - TY - CONF ID - DBLP:conf/lcmas/2003 ED - Hoek, Wiebe van der ED - Lomuscio, Alessio ED - Vink, Erik P. de ED - Wooldridge, Michael J. TI - 1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003 T3 - Electronic Notes in Theoretical Computer Science VL - 85 PY - 2004// PB - Elsevier UR - https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/85/issue/2 ER - TY - CONF ID - DBLP:conf/lcmas/2004 ED - Hoek, Wiebe van der ED - Lomuscio, Alessio ED - Vink, Erik P. de ED - Wooldridge, Michael J. TI - Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004 T3 - Electronic Notes in Theoretical Computer Science VL - 126 PY - 2004// PB - Elsevier UR - https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/126/suppl/C ER - TY - JOUR ID - DBLP:journals/aamas/SycaraW03 AU - Sycara, Katia P. AU - Wooldridge, Michael J. TI - In Appreciation. JO - Auton. Agents Multi Agent Syst. VL - 6 IS - 1 SP - 5 PY - 2003// DO - 10.1023/A:1021713427556 UR - https://doi.org/10.1023/A:1021713427556 ER - TY - JOUR ID - DBLP:journals/igpl/HoekW03 AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Editorial. JO - Log. J. IGPL VL - 11 IS - 2 SP - 133 PY - 2003// DO - 10.1093/JIGPAL/11.2.133 UR - https://doi.org/10.1093/jigpal/11.2.133 ER - TY - JOUR ID - DBLP:journals/igpl/HoekW03a AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Towards a Logic of Rational Agency. JO - Log. J. IGPL VL - 11 IS - 2 SP - 135 EP - 159 PY - 2003// DO - 10.1093/JIGPAL/11.2.135 UR - https://doi.org/10.1093/jigpal/11.2.135 ER - TY - JOUR ID - DBLP:journals/logcom/ParsonsWA03 AU - Parsons, Simon AU - Wooldridge, Michael J. AU - Amgoud, Leila TI - Properties and Complexity of Some Formal Inter-agent Dialogues. JO - J. Log. Comput. VL - 13 IS - 3 SP - 347 EP - 376 PY - 2003// DO - 10.1093/LOGCOM/13.3.347 UR - https://doi.org/10.1093/logcom/13.3.347 ER - TY - JOUR ID - DBLP:journals/sLogica/HoekW03 AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Preface. JO - Stud Logica VL - 75 IS - 1 SP - 3 EP - 5 PY - 2003// DO - 10.1023/A:1026171312755 UR - https://doi.org/10.1023/A:1026171312755 ER - TY - JOUR ID - DBLP:journals/sLogica/HoekW03a AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. JO - Stud Logica VL - 75 IS - 1 SP - 125 EP - 157 PY - 2003// DO - 10.1023/A:1026185103185 UR - https://doi.org/10.1023/A:1026185103185 ER - TY - JOUR ID - DBLP:journals/tosem/ZambonelliJW03 AU - Zambonelli, Franco AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Developing multiagent systems: The Gaia methodology. JO - ACM Trans. Softw. Eng. Methodol. VL - 12 IS - 3 SP - 317 EP - 370 PY - 2003// DO - 10.1145/958961.958963 UR - https://doi.org/10.1145/958961.958963 UR - https://www.wikidata.org/entity/Q57377498 ER - TY - CPAPER ID - DBLP:conf/agentCL/HugetW03 AU - Huget, Marc-Philippe AU - Wooldridge, Michael J. TI - Model Checking for ACL Compliance Verification. BT - Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003 SP - 75 EP - 90 PY - 2003// DO - 10.1007/978-3-540-24608-4_5 UR - https://doi.org/10.1007/978-3-540-24608-4_5 ER - TY - CPAPER ID - DBLP:conf/agentCL/ParsonsMW03 AU - Parsons, Simon AU - McBurney, Peter AU - Wooldridge, Michael J. TI - The Mechanics of Some Formal Inter-agent Dialogues. BT - Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003 SP - 329 EP - 348 PY - 2003// DO - 10.1007/978-3-540-24608-4_19 UR - https://doi.org/10.1007/978-3-540-24608-4_19 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ03 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Optimal agendas for multi-issue negotiation. BT - The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings SP - 129 EP - 136 PY - 2003// DO - 10.1145/860575.860597 UR - https://doi.org/10.1145/860575.860597 ER - TY - CPAPER ID - DBLP:conf/atal/BordiniFPW03 AU - Bordini, Rafael H. AU - Fisher, Michael AU - Pardavila, Carmen AU - Wooldridge, Michael J. TI - Model checking agentspeak. BT - The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings SP - 409 EP - 416 PY - 2003// DO - 10.1145/860575.860641 UR - https://doi.org/10.1145/860575.860641 ER - TY - CPAPER ID - DBLP:conf/atal/ParsonsWA03 AU - Parsons, Simon AU - Wooldridge, Michael J. AU - Amgoud, Leila TI - On the outcomes of formal inter-agent dialogues. BT - The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings SP - 616 EP - 623 PY - 2003// DO - 10.1145/860575.860674 UR - https://doi.org/10.1145/860575.860674 ER - TY - CPAPER ID - DBLP:conf/atal/DickinsonW03 AU - Dickinson, Ian AU - Wooldridge, Michael J. TI - Towards practical reasoning agents for the semantic web. BT - The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings SP - 827 EP - 834 PY - 2003// DO - 10.1145/860575.860708 UR - https://doi.org/10.1145/860575.860708 ER - TY - CPAPER ID - DBLP:conf/atal/HugetW03 AU - Huget, Marc-Philippe AU - Wooldridge, Michael J. TI - Model checking for ACL compliance verification. BT - The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings SP - 1016 EP - 1017 PY - 2003// DO - 10.1145/860575.860773 UR - https://doi.org/10.1145/860575.860773 ER - TY - CPAPER ID - DBLP:conf/atal/StergiouAW03 AU - Stergiou, Christos AU - Arys, Geert AU - Wooldridge, Michael J. TI - A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns. BT - The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings SP - 1126 EP - 1127 PY - 2003// DO - 10.1145/860575.860828 UR - https://doi.org/10.1145/860575.860828 ER - TY - CPAPER ID - DBLP:conf/cav/BordiniFPVW03 AU - Bordini, Rafael H. AU - Fisher, Michael AU - Pardavila, Carmen AU - Visser, Willem AU - Wooldridge, Michael J. TI - Model Checking Multi-Agent Programs with CASP. BT - Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings SP - 110 EP - 113 PY - 2003// DO - 10.1007/978-3-540-45069-6_10 UR - https://doi.org/10.1007/978-3-540-45069-6_10 ER - TY - CPAPER ID - DBLP:conf/oas/DickinsonW03 AU - Dickinson, Ian AU - Wooldridge, Michael J. TI - An initial response to the OAS'03 challenge problem. BT - Ontologies in Agent Systems 2003, Proceedings of the Workshop on Ontologies in Agent Systems (OAS 2003) at the 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, Melbourne, Australia, July 15, 2003 SP - 63 EP - PY - 2003// UR - https://ceur-ws.org/Vol-73/oas03-dickinson.pdf ER - TY - CPAPER ID - DBLP:conf/promas/BordiniFVW03 AU - Bordini, Rafael H. AU - Fisher, Michael AU - Visser, Willem AU - Wooldridge, Michael J. TI - Verifiable Multi-agent Programs. BT - Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers SP - 72 EP - 89 PY - 2003// DO - 10.1007/978-3-540-25936-7_4 UR - https://doi.org/10.1007/978-3-540-25936-7_4 ER - TY - CPAPER ID - DBLP:journals/entcs/HoekLVW04 AU - Hoek, Wiebe van der AU - Lomuscio, Alessio AU - Vink, Erik P. de AU - Wooldridge, Michael J. TI - Preface: Volume 85, Issue 2. BT - 1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003 SP - 81 PY - 2003// DO - 10.1016/S1571-0661(05)82603-9 UR - https://doi.org/10.1016/S1571-0661(05)82603-9 ER - TY - CPAPER ID - DBLP:journals/entcs/OtterlooHW04 AU - Otterloo, Sieuwert van AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Knowledge as Strategic Ability. BT - 1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003 SP - 152 EP - 175 PY - 2003// DO - 10.1016/S1571-0661(05)82608-8 UR - https://doi.org/10.1016/S1571-0661(05)82608-8 ER - TY - BOOK ID - DBLP:books/daglib/0011565 AU - Wooldridge, Michael J. TI - Introduction to multiagent systems. SP - I EP - XVIII SP - 1 EP - 348 PY - 2002// PB - Wiley SN - ISBN 978-0-471-49691-5 ER - TY - JOUR ID - DBLP:journals/aamas/ParsonsW02 AU - Parsons, Simon AU - Wooldridge, Michael J. TI - Game Theory and Decision Theory in Multi-Agent Systems. JO - Auton. Agents Multi Agent Syst. VL - 5 IS - 3 SP - 243 EP - 254 PY - 2002// DO - 10.1023/A:1015575522401 UR - https://doi.org/10.1023/A:1015575522401 ER - TY - CPAPER ID - DBLP:conf/amec/FatimaWJ02 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - The Influence of Information on Negotiation Equilibrium. BT - Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers SP - 180 EP - 193 PY - 2002// DO - 10.1007/3-540-36378-5_11 UR - https://doi.org/10.1007/3-540-36378-5_11 ER - TY - CPAPER ID - DBLP:conf/amec/TammaWBD02 AU - Tamma, Valentina A. M. AU - Wooldridge, Michael J. AU - Blacoe, Ian AU - Dickinson, Ian TI - An Ontology Based Approach to Automated Negotiation. BT - Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers SP - 219 EP - 237 PY - 2002// DO - 10.1007/3-540-36378-5_14 UR - https://doi.org/10.1007/3-540-36378-5_14 ER - TY - CPAPER ID - DBLP:conf/aose/BussmannJW02 AU - Bussmann, Stefan AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Re-use of Interaction Protocols for Agent-Based Control Applications. BT - Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions SP - 73 EP - 87 PY - 2002// DO - 10.1007/3-540-36540-0_6 UR - https://doi.org/10.1007/3-540-36540-0_6 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ02 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Multi-issue negotiation under time constraints. BT - The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings SP - 143 EP - 150 PY - 2002// DO - 10.1145/544741.544775 UR - https://doi.org/10.1145/544741.544775 UR - https://www.wikidata.org/entity/Q57377522 ER - TY - CPAPER ID - DBLP:conf/atal/ParsonsWA02 AU - Parsons, Simon AU - Wooldridge, Michael J. AU - Amgoud, Leila TI - An analysis of formal inter-agent dialogues. BT - The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings SP - 394 EP - 401 PY - 2002// DO - 10.1145/544741.544835 UR - https://doi.org/10.1145/544741.544835 ER - TY - CPAPER ID - DBLP:conf/atal/McBurneyPW02 AU - McBurney, Peter AU - Parsons, Simon AU - Wooldridge, Michael J. TI - Desiderata for agent argumentation protocols. BT - The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings SP - 402 EP - 409 PY - 2002// DO - 10.1145/544741.544836 UR - https://doi.org/10.1145/544741.544836 ER - TY - CPAPER ID - DBLP:conf/atal/WooldridgeFHP02 AU - Wooldridge, Michael J. AU - Fisher, Michael AU - Huget, Marc-Philippe AU - Parsons, Simon TI - Model checking multi-agent systems with MABLE. BT - The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings SP - 952 EP - 959 PY - 2002// DO - 10.1145/544862.544965 UR - https://doi.org/10.1145/544862.544965 ER - TY - CPAPER ID - DBLP:conf/atal/DunneWL02 AU - Dunne, Paul E. AU - Wooldridge, Michael J. AU - Laurence, Michael TI - The computational complexity of boolean and stochastic agent design problems. BT - The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings SP - 976 EP - 983 PY - 2002// DO - 10.1145/544862.544968 UR - https://doi.org/10.1145/544862.544968 ER - TY - CPAPER ID - DBLP:conf/atal/HoekW02 AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Tractable multiagent planning for epistemic goals. BT - The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings SP - 1167 EP - 1174 PY - 2002// DO - 10.1145/545056.545095 UR - https://doi.org/10.1145/545056.545095 ER - TY - CPAPER ID - DBLP:conf/coordination/WooldridgeH02 AU - Wooldridge, Michael J. AU - Hoek, Wiebe van der TI - Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. BT - Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings SP - 4 PY - 2002// DO - 10.1007/3-540-46000-4_3 UR - https://doi.org/10.1007/3-540-46000-4_3 ER - TY - CPAPER ID - DBLP:conf/ki/Wooldridge02 AU - Wooldridge, Michael J. TI - Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. BT - KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings SP - 318 PY - 2002// DO - 10.1007/3-540-45751-8_22 UR - https://doi.org/10.1007/3-540-45751-8_22 ER - TY - CPAPER ID - DBLP:conf/spin/HoekW02 AU - Hoek, Wiebe van der AU - Wooldridge, Michael J. TI - Model Checking Knowledge and Time. BT - Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings SP - 95 EP - 111 PY - 2002// DO - 10.1007/3-540-46017-9_9 UR - https://doi.org/10.1007/3-540-46017-9_9 ER - TY - CPAPER ID - DBLP:conf/ukmas/SchutWP02 AU - Schut, Martijn C. AU - Wooldridge, Michael J. AU - Parsons, Simon TI - On Partially Observable MDPs and BDI Models. BT - Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers SP - 243 EP - 260 PY - 2002// DO - 10.1007/3-540-45634-1_15 UR - https://doi.org/10.1007/3-540-45634-1_15 ER - TY - CONF ID - DBLP:conf/aose/2001 ED - Wooldridge, Michael J. ED - Weiß, Gerhard ED - Ciancarini, Paolo TI - Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions T3 - Lecture Notes in Computer Science VL - 2222 PY - 2002// PB - Springer DO - 10.1007/3-540-70657-7 UR - https://doi.org/10.1007/3-540-70657-7 SN - ISBN 3-540-43282-5 ER - TY - JOUR ID - DBLP:journals/igpl/WooldridgeL01 AU - Wooldridge, Michael J. AU - Lomuscio, Alessio TI - A Computationally Grounded Logic of Visibility, Perception, and Knowledge. JO - Log. J. IGPL VL - 9 IS - 2 SP - 257 EP - 272 PY - 2001// DO - 10.1093/JIGPAL/9.2.257 UR - https://doi.org/10.1093/jigpal/9.2.257 ER - TY - JOUR ID - DBLP:journals/ijseke/CiancariniW01 AU - Ciancarini, Paolo AU - Wooldridge, Michael J. TI - Agent-Based Software Engineering - Guest Editors' Introduction. JO - Int. J. Softw. Eng. Knowl. Eng. VL - 11 IS - 3 SP - 205 EP - 206 PY - 2001// DO - 10.1142/S021819400100058X UR - https://doi.org/10.1142/S021819400100058X ER - TY - JOUR ID - DBLP:journals/ijseke/ZambonelliJW01 AU - Zambonelli, Franco AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems. JO - Int. J. Softw. Eng. Knowl. Eng. VL - 11 IS - 3 SP - 303 EP - 328 PY - 2001// DO - 10.1142/S0218194001000505 UR - https://doi.org/10.1142/S0218194001000505 UR - https://www.wikidata.org/entity/Q57377542 ER - TY - JOUR ID - DBLP:journals/ker/SchutW01 AU - Schut, Martijn C. AU - Wooldridge, Michael J. TI - The control of reasoning in resource-bounded agents. JO - Knowl. Eng. Rev. VL - 16 IS - 3 SP - 215 EP - 240 PY - 2001// DO - 10.1017/S0269888901000157 UR - https://doi.org/10.1017/S0269888901000157 ER - TY - CPAPER ID - DBLP:conf/agentlink/LomuscioWJ01 AU - Lomuscio, Alessio AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - A Classification Scheme for Negotiation in Electronic Commerce. BT - Agent Mediated Electronic Commerce, The European AgentLink Perspective. SP - 19 EP - 33 PY - 2001// DO - 10.1007/3-540-44682-6_2 UR - https://doi.org/10.1007/3-540-44682-6_2 ER - TY - CPAPER ID - DBLP:conf/agents/SchutW01 AU - Schut, Martijn C. AU - Wooldridge, Michael J. TI - Principles of intention reconsideration. BT - Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001 SP - 340 EP - 347 PY - 2001// DO - 10.1145/375735.376326 UR - https://doi.org/10.1145/375735.376326 ER - TY - CPAPER ID - DBLP:conf/agents/FatimaW01 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. TI - Adaptive task resources allocation in multi-agent systems. BT - Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001 SP - 537 EP - 544 PY - 2001// DO - 10.1145/375735.376439 UR - https://doi.org/10.1145/375735.376439 ER - TY - CPAPER ID - DBLP:conf/aose/VasconcelosRASWPWS01 AU - Vasconcelos, Wamberto Weber AU - Robertson, David Stuart AU - Agustí-Cullell, Jaume AU - Sierra, Carles AU - Wooldridge, Michael J. AU - Parsons, Simon AU - Walton, Christopher AU - Sabater, Jordi TI - A Lifecycle for Models of Large Multi-agent Systems. BT - Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions SP - 297 EP - 318 PY - 2001// DO - 10.1007/3-540-70657-7_19 UR - https://doi.org/10.1007/3-540-70657-7_19 ER - TY - CPAPER ID - DBLP:conf/atal/WooldridgeD01 AU - Wooldridge, Michael J. AU - Dunne, Paul E. TI - The Computational Complexity of Agent Verification. BT - Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers SP - 115 EP - 127 PY - 2001// DO - 10.1007/3-540-45448-9_9 UR - https://doi.org/10.1007/3-540-45448-9_9 ER - TY - CPAPER ID - DBLP:conf/atal/FatimaWJ01 AU - Fatima, S. Shaheen AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Optimal Negotiation Strategies for Agents with Incomplete Information. BT - Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers SP - 377 EP - 392 PY - 2001// DO - 10.1007/3-540-45448-9_28 UR - https://doi.org/10.1007/3-540-45448-9_28 ER - TY - CPAPER ID - DBLP:conf/ecsqaru/SchutWP01 AU - Schut, Martijn C. AU - Wooldridge, Michael J. AU - Parsons, Simon TI - Reasoning about Intentions in Uncertain Domains. BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings SP - 84 EP - 95 PY - 2001// DO - 10.1007/3-540-44652-4_9 UR - https://doi.org/10.1007/3-540-44652-4_9 ER - TY - CPAPER ID - DBLP:conf/masa/Wooldridge01 AU - Wooldridge, Michael J. TI - Intelligent Agents: The Key Concepts. BT - Multi-Agent-Systems and Applications II, 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001, Selected Revised Papers SP - 3 EP - 43 PY - 2001// DO - 10.1007/3-540-45982-0_1 UR - https://doi.org/10.1007/3-540-45982-0_1 UR - https://www.wikidata.org/entity/Q56637972 ER - TY - CHAP ID - DBLP:books/sp/omicini01/ZambonelliJOW01 AU - Zambonelli, Franco AU - Jennings, Nicholas R. AU - Omicini, Andrea AU - Wooldridge, Michael J. TI - Agent-Oriented Software Engineering for Internet Applications. BT - Coordination of Internet Agents: Models, Technologies, and Applications SP - 326 EP - 346 PY - 2001// ER - TY - CONF ID - DBLP:conf/aose/2000 ED - Ciancarini, Paolo ED - Wooldridge, Michael J. TI - Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers T3 - Lecture Notes in Computer Science VL - 1957 PY - 2001// PB - Springer DO - 10.1007/3-540-44564-1 UR - https://doi.org/10.1007/3-540-44564-1 SN - ISBN 3-540-41594-7 ER - TY - BOOK ID - DBLP:books/daglib/0001819 AU - Wooldridge, Michael J. TI - Reasoning about rational agents. T3 - Intelligent robots and autonomous agents SP - I EP - XI SP - 1 EP - 227 PY - 2000// PB - MIT Press SN - ISBN 978-0-262-23213-5 ER - TY - JOUR ID - DBLP:journals/aai/Wooldridge00 AU - Wooldridge, Michael J. TI - On the Sources of Complexity in Agent Design. JO - Appl. Artif. Intell. VL - 14 IS - 7 SP - 623 EP - 644 PY - 2000// DO - 10.1080/08839510050119226 UR - https://doi.org/10.1080/08839510050119226 ER - TY - JOUR ID - DBLP:journals/aamas/Wooldridge00 AU - Wooldridge, Michael J. TI - Semantic Issues in the Verification of Agent Communication Languages. JO - Auton. Agents Multi Agent Syst. VL - 3 IS - 1 SP - 9 EP - 31 PY - 2000// DO - 10.1023/A:1010090027213 UR - https://doi.org/10.1023/A:1010090027213 ER - TY - JOUR ID - DBLP:journals/aamas/WooldridgeJK00 AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. AU - Kinny, David TI - The Gaia Methodology for Agent-Oriented Analysis and Design. JO - Auton. Agents Multi Agent Syst. VL - 3 IS - 3 SP - 285 EP - 312 PY - 2000// DO - 10.1023/A:1010071910869 UR - https://doi.org/10.1023/A:1010071910869 UR - https://www.wikidata.org/entity/Q57377568 ER - TY - JOUR ID - DBLP:journals/internet/WooldridgeD00 AU - Wooldridge, Michael J. AU - Decker, Keith TI - Guest Editors' Introduction: Infrastructure, Technology, Applications. JO - IEEE Internet Comput. VL - 4 IS - 2 SP - 46 EP - 48 PY - 2000// DO - 10.1109/MIC.2000.832945 UR - https://doi.org/10.1109/MIC.2000.832945 UR - http://doi.ieeecomputersociety.org/10.1109/MIC.2000.832945 ER - TY - JOUR ID - DBLP:journals/internet/SierraWS00 AU - Sierra, Carles AU - Wooldridge, Michael J. AU - Sadeh, Norman M. TI - Agents on the Web: Agent Research and Development in Europe. JO - IEEE Internet Comput. VL - 4 IS - 5 SP - 81 EP - 83 PY - 2000// DO - 10.1109/4236.877489 UR - https://doi.org/10.1109/4236.877489 UR - https://doi.ieeecomputersociety.org/10.1109/4236.877489 ER - TY - CPAPER ID - DBLP:conf/agents/SchutW00 AU - Schut, Martijn C. AU - Wooldridge, Michael J. TI - Intention reconsideration in complex environments. BT - Proceedings of the Fourth International Conference on Autonomous Agents, AGENTS 2000, Barcelona, Catalonia, Spain, June 3-7, 2000 SP - 209 EP - 216 PY - 2000// DO - 10.1145/336595.337377 UR - https://doi.org/10.1145/336595.337377 ER - TY - CPAPER ID - DBLP:conf/amec/WooldridgeP00 AU - Wooldridge, Michael J. AU - Parsons, Simon TI - Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages. BT - Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop) SP - 70 EP - 83 PY - 2000// DO - 10.1007/3-540-44723-7_5 UR - https://doi.org/10.1007/3-540-44723-7_5 ER - TY - CPAPER ID - DBLP:conf/aose/WooldridgeC00 AU - Wooldridge, Michael J. AU - Ciancarini, Paolo TI - Agent-Oriented Software Engineering: The State of the Art. BT - Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers SP - 1 EP - 28 PY - 2000// DO - 10.1007/3-540-44564-1_1 UR - https://doi.org/10.1007/3-540-44564-1_1 ER - TY - CPAPER ID - DBLP:conf/aose/BussmannJW00 AU - Bussmann, Stefan AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - On the Identification of Agents in the Design of Production Control Systems. BT - Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers SP - 141 EP - 162 PY - 2000// DO - 10.1007/3-540-44564-1_9 UR - https://doi.org/10.1007/3-540-44564-1_9 ER - TY - CPAPER ID - DBLP:conf/aose/ZambonelliJW00 AU - Zambonelli, Franco AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Organizational Abstractions for the Analysis and Design of Multi-agent Systems. BT - Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers SP - 235 EP - 251 PY - 2000// DO - 10.1007/3-540-44564-1_16 UR - https://doi.org/10.1007/3-540-44564-1_16 ER - TY - CPAPER ID - DBLP:conf/atal/WooldridgeD00 AU - Wooldridge, Michael J. AU - Dunne, Paul E. TI - Optimistic and Disjunctive Agent Design Problems. BT - Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings SP - 1 EP - 14 PY - 2000// DO - 10.1007/3-540-44631-1_1 UR - https://doi.org/10.1007/3-540-44631-1_1 ER - TY - CPAPER ID - DBLP:conf/atal/BrysonDDHW00 AU - Bryson, Joanna AU - Decker, Keith S. AU - DeLoach, Scott A. AU - Huhns, Michael N. AU - Wooldridge, Michael J. TI - Panel Summary: Agent Development Tools. BT - Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings SP - 331 EP - 338 PY - 2000// DO - 10.1007/3-540-44631-1_23 UR - https://doi.org/10.1007/3-540-44631-1_23 ER - TY - CPAPER ID - DBLP:conf/ecai/ParsonsPSW00 AU - Parsons, Simon AU - Pettersson, Ola AU - Saffiotti, Alessandro AU - Wooldridge, Michael J. TI - Intention Reconsideration in Theory and Practice. BT - ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 SP - 378 EP - 382 PY - 2000// ER - TY - CPAPER ID - DBLP:conf/ecai/WooldridgeP00 AU - Wooldridge, Michael J. AU - Parsons, Simon TI - Languages for Negotiation. BT - ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 SP - 393 EP - 400 PY - 2000// ER - TY - CPAPER ID - DBLP:conf/icmas/Wooldridge00 AU - Wooldridge, Michael J. TI - Computationally Grounded Theories of Agency. BT - 4th International Conference on Multi-Agent Systems, ICMAS 2000, Boston, MA, USA, July 10-12, 2000 SP - 13 EP - 22 PY - 2000// DO - 10.1109/ICMAS.2000.858426 UR - https://doi.org/10.1109/ICMAS.2000.858426 UR - https://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858426 ER - TY - CPAPER ID - DBLP:conf/icmas/Wooldridge00a AU - Wooldridge, Michael J. TI - The Computational Complexity of Agent Design Problems. BT - 4th International Conference on Multi-Agent Systems, ICMAS 2000, Boston, MA, USA, July 10-12, 2000 SP - 341 EP - 348 PY - 2000// DO - 10.1109/ICMAS.2000.858472 UR - https://doi.org/10.1109/ICMAS.2000.858472 UR - https://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858472 ER - TY - CPAPER ID - DBLP:conf/icse/CiancariniW00 AU - Ciancarini, Paolo AU - Wooldridge, Michael J. TI - Agent-oriented software engineering (workshop). BT - Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. SP - 816 EP - 817 PY - 2000// DO - 10.1145/337180.337833 UR - https://doi.org/10.1145/337180.337833 ER - TY - CPAPER ID - DBLP:conf/jelia/WooldridgeL00 AU - Wooldridge, Michael J. AU - Lomuscio, Alessio TI - Multi-agent VSK Logic. BT - Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings SP - 300 EP - 312 PY - 2000// DO - 10.1007/3-540-40006-0_21 UR - https://doi.org/10.1007/3-540-40006-0_21 ER - TY - JOUR ID - DBLP:journals/aamas/Wooldridge99 AU - Wooldridge, Michael J. TI - Editorial. JO - Auton. Agents Multi Agent Syst. VL - 2 IS - 1 SP - 5 PY - 1999// DO - 10.1023/A:1010054720815 UR - https://doi.org/10.1023/A:1010054720815 ER - TY - JOUR ID - DBLP:journals/internet/WooldridgeJ99 AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Software Engineering with Agents: Pitfalls and Pratfalls. JO - IEEE Internet Comput. VL - 3 IS - 3 SP - 20 EP - 27 PY - 1999// DO - 10.1109/4236.769419 UR - https://doi.org/10.1109/4236.769419 UR - http://doi.ieeecomputersociety.org/10.1109/4236.769419 UR - https://www.wikidata.org/entity/Q57377582 ER - TY - JOUR ID - DBLP:journals/ker/Wooldridge99 AU - Wooldridge, Michael J. TI - Diversity and agent technology. JO - Knowl. Eng. Rev. VL - 14 IS - 2 SP - 151 EP - 152 PY - 1999// DO - 10.1017/S0269888999142036 UR - https://doi.org/10.1017/S0269888999142036 ER - TY - JOUR ID - DBLP:journals/ker/CliffMNPW99 AU - Cliff, Dave AU - Müller, Jörg P. AU - Ndumu, Divine T. AU - Preist, Chris AU - Wooldridge, Michael J. TI - Making money from agents. JO - Knowl. Eng. Rev. VL - 14 IS - 3 SP - 291 EP - 294 PY - 1999// DO - 10.1017/S0269888999003045 UR - https://doi.org/10.1017/S0269888999003045 ER - TY - JOUR ID - DBLP:journals/logcom/WooldridgeJ99 AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - The Cooperative Problem-solving Process. JO - J. Log. Comput. VL - 9 IS - 4 SP - 563 EP - 592 PY - 1999// DO - 10.1093/LOGCOM/9.4.563 UR - https://doi.org/10.1093/logcom/9.4.563 UR - https://www.wikidata.org/entity/Q57377585 ER - TY - CPAPER ID - DBLP:conf/aaai/Wooldridge99 AU - Wooldridge, Michael J. TI - Verifying that Agents Implement a Communication Language. BT - Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, July 18-22, 1999, Orlando, Florida, USA. SP - 52 EP - 57 PY - 1999// UR - http://www.aaai.org/Library/AAAI/1999/aaai99-008.php ER - TY - CPAPER ID - DBLP:conf/agents/WooldridgeJK99 AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. AU - Kinny, David TI - A Methodology for Agent-Oriented Analysis and Design. BT - Proceedings of the Third Annual Conference on Autonomous Agents, AGENTS 1999, Seattle, WA, USA, May 1-5, 1999 SP - 69 EP - 76 PY - 1999// DO - 10.1145/301136.301165 UR - https://doi.org/10.1145/301136.301165 UR - https://www.wikidata.org/entity/Q57377574 ER - TY - CPAPER ID - DBLP:conf/atal/WooldridgeL99 AU - Wooldridge, Michael J. AU - Lomuscio, Alessio TI - Reasoning about Visibility, Perception and Knowledge. BT - Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL), 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999, Proceedings SP - 1 EP - 12 PY - 1999// DO - 10.1007/10719619_1 UR - https://doi.org/10.1007/10719619_1 ER - TY - CPAPER ID - DBLP:conf/atal/BussmannCDHW99 AU - Bussmann, Stefan AU - Ciancarini, Paolo AU - Decker, Keith S. AU - Huhns, Michael N. AU - Wooldridge, Michael J. TI - Agent-Oriented Software Engineering. BT - Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL), 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999, Proceedings SP - 248 EP - 249 PY - 1999// DO - 10.1007/10719619_18 UR - https://doi.org/10.1007/10719619_18 ER - TY - CHAP ID - DBLP:books/sp/wooldridgeV99/ParsonsPSW99 AU - Parsons, Simon AU - Pettersson, Ola AU - Saffiotti, Alessandro AU - Wooldridge, Michael J. TI - Robots with the Best of Intentions. BT - Artificial Intelligence Today: Recent Trends and Developments SP - 329 EP - 338 PY - 1999// DO - 10.1007/3-540-48317-9_13 UR - https://doi.org/10.1007/3-540-48317-9_13 ER - TY - EDBOOK ID - DBLP:books/sp/WooldridgeV99 ED - Wooldridge, Michael J. ED - Veloso, Manuela M. TI - Artificial Intelligence Today: Recent Trends and Developments T3 - Lecture Notes in Computer Science VL - 1600 PY - 1999// PB - Springer DO - 10.1007/3-540-48317-9 UR - https://doi.org/10.1007/3-540-48317-9 SN - ISBN 3-540-66428-9 ER - TY - JOUR ID - DBLP:journals/aamas/JenningsSW98 AU - Jennings, Nicholas R. AU - Sycara, Katia P. AU - Wooldridge, Michael J. TI - A Roadmap of Agent Research and Development. JO - Auton. Agents Multi Agent Syst. VL - 1 IS - 1 SP - 7 EP - 38 PY - 1998// DO - 10.1023/A:1010090405266 UR - https://doi.org/10.1023/A:1010090405266 ER - TY - JOUR ID - DBLP:journals/jancl/WooldridgeDF98 AU - Wooldridge, Michael J. AU - Dixon, Clare AU - Fisher, Michael TI - A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. JO - J. Appl. Non Class. Logics VL - 8 IS - 3 SP - 225 EP - 258 PY - 1998// DO - 10.1080/11663081.1998.10510944 UR - https://doi.org/10.1080/11663081.1998.10510944 ER - TY - JOUR ID - DBLP:journals/ker/BinmoreCDW98 AU - Binmore, Ken AU - Castelfranchi, Cristiano AU - Doran, James AU - Wooldridge, Michael J. TI - Rationality in Multi-Agent Systems. JO - Knowl. Eng. Rev. VL - 13 IS - 3 SP - 309 EP - 314 PY - 1998// DO - 10.1017/S0269888998003026 UR - https://doi.org/10.1017/S0269888998003026 ER - TY - JOUR ID - DBLP:journals/logcom/JenningsWG98 AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. AU - Giunchiglia, Fausto TI - Editorial. JO - J. Log. Comput. VL - 8 IS - 3 SP - 231 EP - 232 PY - 1998// DO - 10.1093/LOGCOM/8.3.231 UR - https://doi.org/10.1093/logcom/8.3.231 UR - https://www.wikidata.org/entity/Q57377602 ER - TY - JOUR ID - DBLP:journals/logcom/DixonFW98 AU - Dixon, Clare AU - Fisher, Michael AU - Wooldridge, Michael J. TI - Resolution for Temporal Logics of Knowledge. JO - J. Log. Comput. VL - 8 IS - 3 SP - 345 EP - 372 PY - 1998// DO - 10.1093/LOGCOM/8.3.345 UR - https://doi.org/10.1093/logcom/8.3.345 ER - TY - CPAPER ID - DBLP:conf/agents/WooldridgeJ98 AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Pitfalls of Agent-Oriented Development. BT - Proceedings of the Second International Conference on Autonomous Agents, AGENTS 1998, St. Paul, Minnepolis, USA, May 9-13, 1998 SP - 385 EP - 391 PY - 1998// DO - 10.1145/280765.280867 UR - https://doi.org/10.1145/280765.280867 UR - https://www.wikidata.org/entity/Q57377598 ER - TY - CPAPER ID - DBLP:conf/atal/GeorgeffPPTW98 AU - Georgeff, Michael P. AU - Pell, Barney AU - Pollack, Martha E. AU - Tambe, Milind AU - Wooldridge, Michael J. TI - The Belief-Desire-Intention Model of Agency. BT - Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL '98, Paris, France, July 4-7, 1998, Proceedings SP - 1 EP - 10 PY - 1998// DO - 10.1007/3-540-49057-4_1 UR - https://doi.org/10.1007/3-540-49057-4_1 UR - https://www.wikidata.org/entity/Q64114428 ER - TY - CPAPER ID - DBLP:conf/atal/WooldridgeP98 AU - Wooldridge, Michael J. AU - Parsons, Simon TI - Intention Reconsideration Reconsidered. BT - Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL '98, Paris, France, July 4-7, 1998, Proceedings SP - 63 EP - 79 PY - 1998// DO - 10.1007/3-540-49057-4_5 UR - https://doi.org/10.1007/3-540-49057-4_5 ER - TY - CPAPER ID - DBLP:conf/atal/WooldridgeM98 AU - Wooldridge, Michael J. AU - Müller, Jörg P. TI - A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series. BT - Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL '98, Paris, France, July 4-7, 1998, Proceedings SP - 427 EP - 441 PY - 1998// DO - 10.1007/3-540-49057-4_28 UR - https://doi.org/10.1007/3-540-49057-4_28 ER - TY - CPAPER ID - DBLP:conf/ecai/Wooldridge98 AU - Wooldridge, Michael J. TI - A Knowledge-theoretic Approach to Distributed Problem Solving. BT - 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings. SP - 308 EP - 312 PY - 1998// ER - TY - CPAPER ID - DBLP:conf/icmas/Wooldridge98 AU - Wooldridge, Michael J. TI - Verifiable Semantics for Agent Communication Languages. BT - Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998 SP - 349 EP - 356 PY - 1998// DO - 10.1109/ICMAS.1998.699219 UR - https://doi.org/10.1109/ICMAS.1998.699219 UR - https://doi.ieeecomputersociety.org/10.1109/ICMAS.1998.699219 ER - TY - CONF ID - DBLP:conf/agents/1998 ED - Sycara, Katia P. ED - Wooldridge, Michael J. TI - Proceedings of the Second International Conference on Autonomous Agents, AGENTS 1998, St. Paul, Minnepolis, USA, May 9-13, 1998 PY - 1998// PB - ACM DO - 10.1145/280765 UR - https://doi.org/10.1145/280765 SN - ISBN 0-89791-983-1 ER - TY - CONF ID - DBLP:conf/atal/1997 ED - Singh, Munindar P. ED - Rao, Anand S. ED - Wooldridge, Michael J. TI - Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings T3 - Lecture Notes in Computer Science VL - 1365 PY - 1998// PB - Springer DO - 10.1007/BFB0026744 UR - https://doi.org/10.1007/BFb0026744 SN - ISBN 3-540-64162-9 ER - TY - JOUR ID - DBLP:journals/dlib/FergusonW97 AU - Ferguson, Innes A. AU - Wooldridge, Michael J. TI - Paying Their Way: Commercial Digital Libraries for the 21st Century. JO - D Lib Mag. VL - 3 IS - 6 PY - 1997// UR - http://www.dlib.org/dlib/june97/zuno/06ferguson.html ER - TY - JOUR ID - DBLP:journals/iee/Wooldridge97 AU - Wooldridge, Michael J. TI - Agent-based software engineering. JO - IEE Proc. Softw. Eng. VL - 144 IS - 1 SP - 26 EP - 37 PY - 1997// DO - 10.1049/IP-SEN:19971026 UR - https://doi.org/10.1049/ip-sen:19971026 ER - TY - JOUR ID - DBLP:journals/ijcis/FisherW97 AU - Fisher, Michael AU - Wooldridge, Michael J. TI - On the Formal Specification and Verification of Multi-Agent Systems. JO - Int. J. Cooperative Inf. Syst. VL - 6 IS - 1 SP - 37 EP - 66 PY - 1997// DO - 10.1142/S0218843097000057 UR - https://doi.org/10.1142/S0218843097000057 ER - TY - JOUR ID - DBLP:journals/ker/dInvernoFLLRRW97 AU - d'Inverno, Mark AU - Fisher, Michael AU - Lomuscio, Alessio AU - Luck, Michael AU - Rijke, Maarten de AU - Ryan, Mark AU - Wooldridge, Michael J. TI - Formalisms for multi-agent systems. JO - Knowl. Eng. Rev. VL - 12 IS - 3 SP - 315 EP - 321 PY - 1997// DO - 10.1017/S0269888997003068 UR - https://doi.org/10.1017/S0269888997003068 ER - TY - CPAPER ID - DBLP:conf/atal/dInvernoKLW97 AU - d'Inverno, Mark AU - Kinny, David AU - Luck, Michael AU - Wooldridge, Michael J. TI - A Formal Specification of dMARS. BT - Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings SP - 155 EP - 176 PY - 1997// DO - 10.1007/BFB0026757 UR - https://doi.org/10.1007/BFb0026757 ER - TY - CPAPER ID - DBLP:conf/ausai/WooldridgeH97 AU - Wooldridge, Michael J. AU - Haddadi, Afsaneh TI - Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). BT - Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 SP - 15 EP - 30 PY - 1997// DO - 10.1007/BFB0055017 UR - https://doi.org/10.1007/BFb0055017 ER - TY - CPAPER ID - DBLP:conf/btlab/NwanaW97 AU - Nwana, Hyacinth S. AU - Wooldridge, Michael J. TI - Sofware Agent Technologies. BT - Software Agents and Soft Computing: Towards Enhancing Machine Intelligence, Concepts and Applications SP - 59 EP - 78 PY - 1997// DO - 10.1007/3-540-62560-7_38 UR - https://doi.org/10.1007/3-540-62560-7_38 ER - TY - CPAPER ID - DBLP:conf/cia/Wooldridge97 AU - Wooldridge, Michael J. TI - Issues in Agent-Based Software Engineering. BT - Cooperative Information Agents, First International Workshop, CIA' 97, Kiel, Germany, February 26-28, 1997, Proceedings SP - 1 EP - 18 PY - 1997// DO - 10.1007/3-540-62591-7_21 UR - https://doi.org/10.1007/3-540-62591-7_21 ER - TY - CPAPER ID - DBLP:conf/ijcai/dInvernoLW97 AU - d'Inverno, Mark AU - Luck, Michael AU - Wooldridge, Michael J. TI - Cooperation Structures. BT - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes SP - 600 EP - 605 PY - 1997// ER - TY - CPAPER ID - DBLP:conf/maamaw/FisherW97 AU - Fisher, Michael AU - Wooldridge, Michael J. TI - Distributed Problem-Solving as Concurrent Theorem Proving. BT - Multi-Agent Rationality, 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Ronneby, Sweden, May 13-16, 1997, Proceedings SP - 128 EP - 140 PY - 1997// DO - 10.1007/3-540-63077-5_30 UR - https://doi.org/10.1007/3-540-63077-5_30 ER - TY - CPAPER ID - DBLP:conf/wetice/DerbyshireFMPW97 AU - Derbyshire, David AU - Ferguson, Innes A. AU - Müller, Jörg P. AU - Pischel, Markus AU - Wooldridge, Michael J. TI - Agent-Based Digital Libraries: Driving the Information Economy. BT - 6th Workshop on Enabling Technologies (WET-ICE '97), Infrastructure for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge, MA, USA, Proceedings SP - 82 EP - 86 PY - 1997// DO - 10.1109/ENABL.1997.630795 UR - https://doi.org/10.1109/ENABL.1997.630795 UR - https://doi.ieeecomputersociety.org/10.1109/ENABL.1997.630795 ER - TY - CONF ID - DBLP:conf/atal/1996 ED - Müller, Jörg P. ED - Wooldridge, Michael J. ED - Jennings, Nicholas R. TI - Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings T3 - Lecture Notes in Computer Science VL - 1193 PY - 1997// PB - Springer DO - 10.1007/BFB0013568 UR - https://doi.org/10.1007/BFb0013568 SN - ISBN 3-540-62507-0 ER - TY - JOUR ID - DBLP:journals/ker/Wooldridge96 AU - Wooldridge, Michael J. TI - 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. JO - Knowl. Eng. Rev. VL - 11 IS - 4 SP - 374 EP - 377 PY - 1996// DO - 10.1017/S0269888900008079 UR - https://doi.org/10.1017/S0269888900008079 ER - TY - CPAPER ID - DBLP:conf/atal/Wooldridge97 AU - Wooldridge, Michael J. TI - Agents as a Rorschach Test: A Response to Franklin and Graesser. BT - Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings SP - 47 EP - 48 PY - 1996// DO - 10.1007/BFB0013574 UR - https://doi.org/10.1007/BFb0013574 ER - TY - CPAPER ID - DBLP:conf/atal/Wooldridge97a AU - Wooldridge, Michael J. TI - A Knowledge-Theoretic Semantics for Concurrent METATEM. BT - Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings SP - 357 EP - 374 PY - 1996// DO - 10.1007/BFB0013597 UR - https://doi.org/10.1007/BFb0013597 ER - TY - CPAPER ID - DBLP:conf/fapr/FisherWD96 AU - Fisher, Michael AU - Wooldridge, Michael J. AU - Dixon, Clare TI - A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. BT - Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings SP - 178 EP - 192 PY - 1996// DO - 10.1007/3-540-61313-7_72 UR - https://doi.org/10.1007/3-540-61313-7_72 ER - TY - CPAPER ID - DBLP:conf/fapr/Wooldridge96 AU - Wooldridge, Michael J. TI - Practical Reasoning with Procedural Knowledge. BT - Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings SP - 663 EP - 678 PY - 1996// DO - 10.1007/3-540-61313-7_108 UR - https://doi.org/10.1007/3-540-61313-7_108 ER - TY - CPAPER ID - DBLP:conf/paam/WooldridgeBK96 AU - Wooldridge, Michael J. AU - Bussmann, Stefan AU - Klosterberg, Marcus TI - Production Sequencing as Negotiation. BT - Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM 1996, Westminster Central Hall, London, UK, April 22-24, 1996 SP - 709 EP - 726 PY - 1996// ER - TY - CONF ID - DBLP:conf/atal/1995 ED - Wooldridge, Michael J. ED - Müller, Jörg P. ED - Tambe, Milind TI - Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings T3 - Lecture Notes in Computer Science VL - 1037 PY - 1996// PB - Springer DO - 10.1007/3-540-60805-2 UR - https://doi.org/10.1007/3-540-60805-2 SN - ISBN 3-540-60805-2 ER - TY - JOUR ID - DBLP:journals/aai/JenningsW95 AU - Jennings, Nicholas R. AU - Wooldridge, Michael J. TI - Applying agent technology. JO - Appl. Artif. Intell. VL - 9 IS - 4 SP - 357 EP - 369 PY - 1995// DO - 10.1080/08839519508945480 UR - https://doi.org/10.1080/08839519508945480 UR - https://www.wikidata.org/entity/Q57377631 ER - TY - JOUR ID - DBLP:journals/ker/WooldridgeJ95 AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Intelligent agents: theory and practice. JO - Knowl. Eng. Rev. VL - 10 IS - 2 SP - 115 EP - 152 PY - 1995// DO - 10.1017/S0269888900008122 UR - https://doi.org/10.1017/S0269888900008122 UR - https://www.wikidata.org/entity/Q57377634 ER - TY - CPAPER ID - DBLP:conf/atal/Wooldridge95 AU - Wooldridge, Michael J. TI - Time, Knowledge, and Choice. BT - Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings SP - 79 EP - 96 PY - 1995// DO - 10.1007/3540608052_60 UR - https://doi.org/10.1007/3540608052_60 ER - TY - CPAPER ID - DBLP:conf/atal/WooldridgeMT95 AU - Wooldridge, Michael J. AU - Müller, Jörg P. AU - Tambe, Milind TI - Agent Theories, Architectures, and Languages: A Bibliography. BT - Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings SP - 408 EP - 431 PY - 1995// DO - 10.1007/3540608052_81 UR - https://doi.org/10.1007/3540608052_81 ER - TY - CPAPER ID - DBLP:conf/icmas/WalkerW95 AU - Walker, Adam AU - Wooldridge, Michael J. TI - Understanding the Emergence of Conventions in Multi-Agent Systems. BT - Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA SP - 384 EP - 389 PY - 1995// ER - TY - CONF ID - DBLP:conf/ecaiw/1994 ED - Wooldridge, Michael J. ED - Jennings, Nicholas R. TI - Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings T3 - Lecture Notes in Computer Science VL - 890 PY - 1995// PB - Springer DO - 10.1007/3-540-58855-8 UR - https://doi.org/10.1007/3-540-58855-8 SN - ISBN 3-540-58855-8 ER - TY - CPAPER ID - DBLP:conf/ecai/Wooldridge94 AU - Wooldridge, Michael J. TI - Coherent Social Action. BT - Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994. SP - 279 EP - 283 PY - 1994// ER - TY - CPAPER ID - DBLP:conf/ecaiw/WooldridgeJ94 AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Agent Theories, Architectures, and Languages: A Survey. BT - Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings SP - 1 EP - 39 PY - 1994// DO - 10.1007/3-540-58855-8_1 UR - https://doi.org/10.1007/3-540-58855-8_1 ER - TY - CPAPER ID - DBLP:conf/ecaiw/Wooldridge94 AU - Wooldridge, Michael J. TI - This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed. BT - Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings SP - 160 EP - 178 PY - 1994// DO - 10.1007/3-540-58855-8_10 UR - https://doi.org/10.1007/3-540-58855-8_10 ER - TY - CPAPER ID - DBLP:conf/ictl/WooldridgeF94 AU - Wooldridge, Michael J. AU - Fisher, Michael TI - A Decision Procedure for a Temporal Belief Logic. BT - Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings SP - 317 EP - 331 PY - 1994// DO - 10.1007/BFB0013996 UR - https://doi.org/10.1007/BFb0013996 ER - TY - CPAPER ID - DBLP:conf/maamaw/WooldridgeJ94 AU - Wooldridge, Michael J. AU - Jennings, Nicholas R. TI - Towards a Theory of Cooperative Problem Solving. BT - Distributed Software Agents and Applications, 6th European Workshop on Modelling Autonomous Agents, MAAMAW '94, Odense, Denmark, August 3-5, 1994, Proceedings SP - 40 EP - 53 PY - 1994// DO - 10.1007/3-540-61157-6_20 UR - https://doi.org/10.1007/3-540-61157-6_20 ER - TY - CPAPER ID - DBLP:conf/epia/FisherW93 AU - Fisher, Michael AU - Wooldridge, Michael J. TI - Specifying and Verifying Distributed Intelligence Systems. BT - Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings SP - 13 EP - 28 PY - 1993// DO - 10.1007/3-540-57287-2_35 UR - https://doi.org/10.1007/3-540-57287-2_35 ER - TY - THES ID - DBLP:phd/ethos/Wooldridge92 AU - Wooldridge, Michael J. TI - The logical modelling of computational multi-agent systems. PY - 1992// UR - https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.387317 ER - TY - CPAPER ID - DBLP:conf/ecai/WooldridgeF92 AU - Wooldridge, Michael J. AU - Fisher, Michael TI - A First-Order Branching Time Logic of Multi-Agent System. BT - 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings. SP - 234 EP - 238 PY - 1992// ER -