| |
Michael J. Wooldridge
List of publications from the DBLP Bibliography Server - FAQ
| * | 2009 | |
|---|---|---|
| 222 | EE | Doron Peled, Michael Wooldridge: Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers Springer 2009 |
| 221 | EE | Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge: Power in normative systems. AAMAS (1) 2009: 145-152 |
| 220 | EE | Piotr Faliszewski, Edith Elkind, Michael Wooldridge: Boolean combinations of weighted voting games. AAMAS (1) 2009: 185-192 |
| 219 | EE | Edith Elkind, Michael Wooldridge: Hedonic coalition nets. AAMAS (1) 2009: 417-424 |
| 218 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. AAMAS (2) 2009: 1041-1048 |
| 217 | EE | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge: Inconsistency tolerance in weighted argument systems. AAMAS (2) 2009: 851-858 |
| 216 | EE | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of games and propositional control. AAMAS (2) 2009: 961-968 |
| 215 | EE | Tomasz P. Michalak, Talal Rahwan, Jacek Sroka, Andrew Dowell, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings: On representing coalitional games with externalities. ACM Conference on Electronic Commerce 2009: 11-20 |
| 214 | EE | Talal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings, Michael Wooldridge, Peter McBurney: Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities. IJCAI 2009: 257-263 |
| 213 | EE | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. TARK 2009: 237-246 |
| 212 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009) |
| 211 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Completeness and Complexity of Multi-modal CTL. Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009) |
| 210 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Logics for Qualitative Coalitional Games. Logic Journal of the IGPL 17(3): 299-321 (2009) |
| 2008 | ||
| 209 | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: On the Dimensionality of Voting Games. AAAI 2008: 69-74 | |
| 208 | EE | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: A tractable and expressive class of marginal contribution nets and its applications. AAMAS (2) 2008: 1007-1014 |
| 207 | EE | Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge: Cooperative Boolean games. AAMAS (2) 2008: 1015-1022 |
| 206 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672 |
| 205 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems. AAMAS (2) 2008: 747-754 |
| 204 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An anytime approximation method for the inverse Shapley value problem. AAMAS (2) 2008: 935-942 |
| 203 | EE | Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael Wooldridge: Evaluation of election outcomes under uncertainty. AAMAS (2) 2008: 959-966 |
| 202 | EE | Tomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge: Optimal Coalition Structure Generation In Partition Function Games. ECAI 2008: 388-392 |
| 201 | EE | Michael Wooldridge: Logic for Automated Mechanism Design and Analysis. MATES 2008: 1 |
| 200 | EE | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Model Checking Strategic Equilibria. MoChArt 2008: 166-188 |
| 199 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A linear approximation method for the Shapley value. Artif. Intell. 172(14): 1673-1699 (2008) |
| 198 | EE | Fernando Lopes, Michael Wooldridge, Augusto Q. Novais: Negotiation among autonomous computational agents: principles, analysis and challenges. Artif. Intell. Rev. 29(1): 1-44 (2008) |
| 197 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified coalition logic. Synthese 165(2): 269-294 (2008) |
| 2007 | ||
| 196 | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: Computational Complexity of Weighted Threshold Games. AAAI 2007: 718-723 | |
| 195 | Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek: Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9- | |
| 194 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Normative system games. AAMAS 2007: 129 |
| 193 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Approximate and online multi-issue negotiation. AAMAS 2007: 156 |
| 192 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A randomized method for the shapley value for the voting game. AAMAS 2007: 157 |
| 191 | EE | Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge: On the relevance of utterances in formal inter-agent dialogues. AAMAS 2007: 240 |
| 190 | EE | Shamimabi Paurobally, Chris van Aart, Valentina A. M. Tamma, Michael Wooldridge, Peter van Hapert: Web services negotiation in an insurance grid. AAMAS 2007: 275 |
| 189 | EE | Shamimabi Paurobally, Michael Wooldridge: Joint conversation specification and compliance. AAMAS 2007: 30 |
| 188 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about judgment and preference aggregation. AAMAS 2007: 85 |
| 187 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Sequential Auctions in Uncertain Information Settings. AMEC/TADA 2007: 16-29 |
| 186 | EE | Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge: On the Relevance of Utterances in Formal Inter-agent Dialogues. ArgMAS 2007: 47-62 |
| 185 | EE | Shamimabi Paurobally, Michael Wooldridge: Joint Conversation Specification and Compliance. DALT 2007: 18-35 |
| 184 | EE | Minghua He, Xudong Luo, Nicholas R. Jennings, Michael Wooldridge: Forming Fuzzy Coalitions in Cooperative Superadditive Games. ICEBE 2007: 221-228 |
| 183 | EE | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. IJCAI 2007: 1175-1180 |
| 182 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified Coalition Logic. IJCAI 2007: 1181-1186 |
| 181 | EE | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. Normative Multi-agent Systems 2007 |
| 180 | EE | Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139 |
| 179 | EE | Dirk Walther, Wiebe van der Hoek, Michael Wooldridge: Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278 |
| 178 | EE | Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge: Logic-Based Agent Verification. J. Applied Logic 5(2): 193-195 (2007) |
| 177 | EE | Renata Vieira, Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. (JAIR) 29: 221-267 (2007) |
| 176 | EE | Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: Towards a theory of intention revision. Synthese 155(2): 265-290 (2007) |
| 175 | EE | Wiebe van der Hoek, Mark Roberts, Michael Wooldridge: Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1): 1-19 (2007) |
| 174 | EE | Shamimabi Paurobally, Valentina A. M. Tamma, Michael Wooldridge: A Framework for Web service negotiation. TAAS 2(4): (2007) |
| 2006 | ||
| 173 | Michael Wooldridge, Paul E. Dunne, Simon Parsons: On the Complexity of Linking Deductive and Abstract Argument Systems. AAAI 2006 | |
| 172 | EE | Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293 |
| 171 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of coalitional games. AAMAS 2006: 153-160 |
| 170 | EE | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Temporal qualitative coalitional games. AAMAS 2006: 177-184 |
| 169 | EE | Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge: Reasoning about action and cooperation. AAMAS 2006: 185-192 |
| 168 | EE | Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge: On the complexity of practical ATL model checking. AAMAS 2006: 201-208 |
| 167 | EE | Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140 |
| 166 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: On Efficient Procedures for Multi-issue Negotiation. TADA/AMEC 2006: 31-45 |
| 165 | Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge: Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems. AI Magazine 27(1): 103-107 (2006) | |
| 164 | EE | Michael Wooldridge, Paul E. Dunne: On the computational complexity of coalitional resource games. Artif. Intell. 170(10): 835-871 (2006) |
| 163 | EE | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006) |
| 162 | EE | Paolo Ballarini, Michael Fisher, Michael Wooldridge: Automated Game Analysis via Probabilistic Model Checking: a case study. Electr. Notes Theor. Comput. Sci. 149(2): 125-137 (2006) |
| 161 | EE | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006) |
| 160 | EE | Michael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons: Model Checking for Multiagent Systems: the Mable Language and its Applications. International Journal on Artificial Intelligence Tools 15(2): 195-226 (2006) |
| 159 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Multi-Issue Negotiation with Deadlines. J. Artif. Intell. Res. (JAIR) 27: 381-417 (2006) |
| 158 | EE | Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006) |
| 157 | EE | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Knowledge Condition Games. Journal of Logic, Language and Information 15(4): 425-452 (2006) |
| 2005 | ||
| 156 | Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands ACM 2005 | |
| 155 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An analysis of the shapley value and its uncertainty for the voting game. AAMAS 2005: 1201-1202 |
| 154 | EE | Sylvie Doutre, Peter McBurney, Michael Wooldridge: Law-governed Linda as a semantics for agent dialogue protocols. AAMAS 2005: 1257-1258 |
| 153 | EE | Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: A logic for strategic reasoning. AAMAS 2005: 157-164 |
| 152 | EE | Michael Wooldridge, Peter McBurney, Simon Parsons: On the meta-logic of arguments. AAMAS 2005: 560-567 |
| 151 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Sequential auctions for objects with common and private values. AAMAS 2005: 635-642 |
| 150 | EE | Wiebe van der Hoek, Mark Roberts, Michael Wooldridge: Knowledge and social laws. AAMAS 2005: 674-681 |
| 149 | EE | Wiebe van der Hoek, Michael Wooldridge: On the dynamics of delegation, cooperation, and control: a logical account. AAMAS 2005: 701-708 |
| 148 | EE | Jonathan Himoff, Petr Skobelev, Michael Wooldridge: MAGENTA technology: multi-agent systems for industrial logistics. AAMAS Industrial Applications 2005: 60-66 |
| 147 | EE | Michael Wooldridge, Peter McBurney, Simon Parsons: On the Meta-logic of Arguments. ArgMAS 2005: 42-56 |
| 146 | EE | Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523 |
| 145 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An analysis of the Shapley Value and its Uncertainty for the Voting Game. EUMAS 2005: 480-481 | |
| 144 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A Model for Multi-issue Negotiation. IICAI 2005: 2992-3008 | |
| 143 | EE | Valentina A. M. Tamma, Chris van Aart, Thierry Moyaux, Shamimabi Paurobally, Ben Lithgow Smith, Michael Wooldridge: An Ontological Framework for Dynamic Coordination. International Semantic Web Conference 2005: 638-652 |
| 142 | EE | Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge: Introducing Autonomic Behaviour in Semantic Web Agents. International Semantic Web Conference 2005: 653-667 |
| 141 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Bargaining with incomplete information. Ann. Math. Artif. Intell. 44(3): 207-232 (2005) |
| 140 | EE | Michael Wooldridge, Paul E. Dunne: The complexity of agent design problems: Determinism and history dependence. Ann. Math. Artif. Intell. 45(3-4): 343-371 (2005) |
| 139 | EE | Paul E. Dunne, Michael Wooldridge, Michael Laurence: The complexity of contract negotiation. Artif. Intell. 164(1-2): 23-46 (2005) |
| 138 | EE | Wiebe van der Hoek, Michael Wooldridge: On the logic of cooperation and propositional control. Artif. Intell. 164(1-2): 81-119 (2005) |
| 137 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. Artif. Intell. Rev. 23(2): 187-205 (2005) |
| 136 | EE | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005) |
| 135 | EE | Michael Wooldridge, Wiebe van der Hoek: On obligations and normative ability: Towards a logical analysis of the social contract. J. Applied Logic 3(3-4): 396-420 (2005) |
| 2004 | ||
| 134 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal Negotiation of Multiple Issues in Incomplete Information Settings. AAMAS 2004: 1080-1087 |
| 133 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Revenue Maximising Agendas for Sequential English Auctions. AAMAS 2004: 1432-1433 |
| 132 | EE | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Preferences in Game Logics. AAMAS 2004: 152-159 |
| 131 | EE | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903 |
| 130 | EE | Simon Parsons, Peter McBurney, Michael Wooldridge: Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. ArgMAS 2004: 1-18 |
| 129 | EE | Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: On Obligations and Abilities. DEON 2004: 165-181 |
| 128 | EE | Michael Wooldridge: Social Laws in Alternating Time. DEON 2004: 2 |
| 127 | Paul E. Dunne, Michael Laurence, Michael Wooldridge: Tractability Results for Automatic Contracting. ECAI 2004: 1003-1004 | |
| 126 | Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge: SERSE: Searching for Semantic Web Content. ECAI 2004: 63-67 | |
| 125 | EE | Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge: SERSE: Searching for Digital Content in Esperonto. EKAW 2004: 419-432 |
| 124 | Jeffrey S. Rosenschein, Michael Wooldridge: Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems. AI Magazine 25(1): 105-106 (2004) | |
| 123 | EE | Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael Wooldridge: Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. Ann. Math. Artif. Intell. 41(2-4): 135-169 (2004) |
| 122 | EE | Sieuwert van Otterloo, Wiebe Der, Michael Wooldridge: Model Checking A Knowledge Exchange Scenario. Applied Artificial Intelligence 18(9-10): 937-952 (2004) |
| 121 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An agenda-based framework for multi-issue negotiation. Artif. Intell. 152(1): 1-45 (2004) |
| 120 | EE | Michael Wooldridge, Paul E. Dunne: On the computational complexity of qualitative coalitional games. Artif. Intell. 158(1): 27-73 (2004) |
| 119 | EE | Michael Wooldridge: Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7. Autonomous Agents and Multi-Agent Systems 10(1): 91-93 (2004) |
| 118 | EE | Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael Wooldridge: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems 9(1-2): 5-53 (2004) |
| 117 | EE | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004) |
| 116 | EE | Steve Phelps, Valentina A. M. Tamma, Michael Wooldridge, Ian Dickinson: Toward Open Negotiation. IEEE Internet Computing 8(2): 70-75 (2004) |
| 115 | EE | Michael Wooldridge: An Introduction to Multi-Agent Systems. J. Artificial Societies and Social Simulation 7(3): (2004) |
| 114 | EE | Martijn C. Schut, Michael Wooldridge, Simon Parsons: The theory and practice of intention reconsideration. J. Exp. Theor. Artif. Intell. 16(4): 261-293 (2004) |
| 2003 | ||
| 113 | EE | Marc-Philippe Huget, Michael Wooldridge: Model checking for ACL compliance verification. AAMAS 2003: 1016-1017 |
| 112 | EE | Christos Stergiou, Geert Arys, Michael Wooldridge: A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns. AAMAS 2003: 1126-1127 |
| 111 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal agendas for multi-issue negotiation. AAMAS 2003: 129-136 |
| 110 | EE | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416 |
| 109 | EE | Simon Parsons, Michael Wooldridge, Leila Amgoud: On the outcomes of formal inter-agent dialogues. AAMAS 2003: 616-623 |
| 108 | EE | Ian Dickinson, Michael Wooldridge: Towards practical reasoning agents for the semantic web. AAMAS 2003: 827-834 |
| 107 | EE | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113 |
| 106 | EE | Ian Dickinson, Michael Wooldridge: An initial response to the OAS'03 challenge problem. OAS 2003: 63- |
| 105 | EE | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89 |
| 104 | EE | Simon Parsons, Peter McBurney, Michael Wooldridge: The Mechanics of Some Formal Inter-agent Dialogues. Workshop on Agent Communication Languages 2003: 329-348 |
| 103 | EE | Marc-Philippe Huget, Michael Wooldridge: Model Checking for ACL Compliance Verification. Workshop on Agent Communication Languages 2003: 75-90 |
| 102 | EE | Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge: Developing multiagent systems: The Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12(3): 317-370 (2003) |
| 101 | Katia P. Sycara, Michael Wooldridge: In Appreciation. Autonomous Agents and Multi-Agent Systems 6(1): 5 (2003) | |
| 100 | EE | Simon Parsons, Michael Wooldridge, Leila Amgoud: Properties and Complexity of Some Formal Inter-agent Dialogues. J. Log. Comput. 13(3): 347-376 (2003) |
| 99 | EE | Wiebe van der Hoek, Michael Wooldridge: Editorial. Logic Journal of the IGPL 11(2): (2003) |
| 98 | EE | Wiebe van der Hoek, Michael Wooldridge: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2): 135-159 (2003) |
| 97 | EE | Wiebe van der Hoek, Michael Wooldridge: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica 75(1): 125-157 (2003) |
| 96 | EE | Wiebe van der Hoek, Michael Wooldridge: Preface. Studia Logica 75(1): 3-5 (2003) |
| 2002 | ||
| 95 | Michael Wooldridge, Gerhard Weiß, Paolo Ciancarini: Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions Springer 2002 | |
| 94 | EE | Wiebe van der Hoek, Michael Wooldridge: Tractable multiagent planning for epistemic goals. AAMAS 2002: 1167-1174 |
| 93 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Multi-issue negotiation under time constraints. AAMAS 2002: 143-150 |
| 92 | EE | Simon Parsons, Michael Wooldridge, Leila Amgoud: An analysis of formal inter-agent dialogues. AAMAS 2002: 394-401 |
| 91 | EE | Peter McBurney, Simon Parsons, Michael Wooldridge: Desiderata for agent argumentation protocols. AAMAS 2002: 402-409 |
| 90 | EE | Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons: Model checking multi-agent systems with MABLE. AAMAS 2002: 952-959 |
| 89 | EE | Paul E. Dunne, Michael Wooldridge, Michael Laurence: The computational complexity of boolean and stochastic agent design problems. AAMAS 2002: 976-983 |
| 88 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: The Influence of Information on Negotiation Equilibrium. AMEC 2002: 180-193 |
| 87 | EE | Valentina A. M. Tamma, Michael Wooldridge, Ian Blacoe, Ian Dickinson: An Ontology Based Approach to Automated Negotiation. AMEC 2002: 219-237 |
| 86 | EE | Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge: Re-use of Interaction Protocols for Agent-Based Control Applications. AOSE 2002: 73-87 |
| 85 | EE | Michael Wooldridge, Wiebe van der Hoek: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002: 4 |
| 84 | EE | Martijn C. Schut, Michael Wooldridge, Simon Parsons: On Partially Observable MDPs and BDI Models. Foundations and Applications of Multi-Agent Systems 2002: 243-260 |
| 83 | EE | Michael Wooldridge: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. KI 2002: 318 |
| 82 | EE | Wiebe van der Hoek, Michael Wooldridge: Model Checking Knowledge and Time. SPIN 2002: 95-111 |
| 81 | Simon Parsons, Michael Wooldridge: Game Theory and Decision Theory in Multi-Agent Systems. Autonomous Agents and Multi-Agent Systems 5(3): 243-254 (2002) | |
| 80 | EE | Michael Wooldridge: Reasoning about Rational Agents. J. Artificial Societies and Social Simulation 5(1): (2002) |
| 2001 | ||
| 79 | Paolo Ciancarini, Michael Wooldridge: Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers Springer 2001 | |
| 78 | EE | Wamberto Weber Vasconcelos, David Stuart Robertson, Jaume Agustí-Cullell, Carles Sierra, Michael Wooldridge, Simon Parsons, Christopher Walton, Jordi Sabater: A Lifecycle for Models of Large Multi-agent Systems. AOSE 2001: 297-318 |
| 77 | EE | Michael Wooldridge, Paul E. Dunne: The Computational Complexity of Agent Verification. ATAL 2001: 115-127 |
| 76 | EE | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal Negotiation Strategies for Agents with Incomplete Information. ATAL 2001: 377-392 |
| 75 | EE | Alessio Lomuscio, Michael Wooldridge, Nicholas R. Jennings: A Classification Scheme for Negotiation in Electronic Commerce. AgentLink 2001: 19-33 |
| 74 | EE | Martijn C. Schut, Michael Wooldridge: Principles of intention reconsideration. Agents 2001: 340-347 |
| 73 | EE | S. Shaheen Fatima, Michael Wooldridge: Adaptive task resources allocation in multi-agent systems. Agents 2001: 537-544 |
| 72 | EE | Martijn C. Schut, Michael Wooldridge, Simon Parsons: Reasoning about Intentions in Uncertain Domains. ECSQARU 2001: 84-95 |
| 71 | EE | Michael Wooldridge: Intelligent Agents: The Key Concepts. Multi-Agent-Systems and Applications 2001: 3-43 |
| 70 | Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael Wooldridge: Agent-Oriented Software Engineering for Internet Applications. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 326-346 | |
| 69 | Paolo Ciancarini, Michael Wooldridge: Agent-Based Software Engineering - Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 11(3): 205-206 (2001) | |
| 68 | Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge: Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems. International Journal of Software Engineering and Knowledge Engineering 11(3): 303-328 (2001) | |
| 67 | EE | Michael Wooldridge, Alessio Lomuscio: A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Logic Journal of the IGPL 9(2): (2001) |
| 2000 | ||
| 66 | EE | Michael Wooldridge, Simon Parsons: Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages. AMEC 2000: 70-83 |
| 65 | EE | Michael Wooldridge, Paolo Ciancarini: Agent-Oriented Software Engineering: The State of the Art. AOSE 2000: 1-28 |
| 64 | EE | Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge: On the Identification of Agents in the Design of Production Control Systems. AOSE 2000: 141-162 |
| 63 | EE | Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge: Organizational Abstractions for the Analysis and Design of Multi-agent Systems. AOSE 2000: 235-251 |
| 62 | EE | Michael Wooldridge, Paul E. Dunne: Optimistic and Disjunctive Agent Design Problems. ATAL 2000: 1-14 |
| 61 | EE | Joanna Bryson, Keith S. Decker, Scott A. DeLoach, Michael N. Huhns, Michael Wooldridge: Panel Summary: Agent Development Tools. ATAL 2000: 331-338 |
| 60 | EE | Martijn C. Schut, Michael Wooldridge: Intention reconsideration in complex environments. Agents 2000: 209-216 |
| 59 | Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael Wooldridge: Intention Reconsideration in Theory and Practice. ECAI 2000: 378-382 | |
| 58 | Michael Wooldridge, Simon Parsons: Languages for Negotiation. ECAI 2000: 393-400 | |
| 57 | EE | Michael Wooldridge: Computationally Grounded Theories of Agency. ICMAS 2000: 13-22 |
| 56 | EE | Michael Wooldridge: The Computational Complexity of Agent Design Problems. ICMAS 2000: 341-348 |
| 55 | EE | Paolo Ciancarini, Michael Wooldridge: Agent-oriented software engineering (workshop). ICSE 2000: 816-817 |
| 54 | EE | Michael Wooldridge, Alessio Lomuscio: Multi-agent VSK Logic. JELIA 2000: 300-312 |
| 53 | Michael Wooldridge: On the Sources of Complexity in Agent Design. Applied Artificial Intelligence 14(7): 623-644 (2000) | |
| 52 | Michael Wooldridge: Semantic Issues in the Verification of Agent Communication Languages. Autonomous Agents and Multi-Agent Systems 3(1): 9-31 (2000) | |
| 51 | Michael Wooldridge, Nicholas R. Jennings, David Kinny: The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multi-Agent Systems 3(3): 285-312 (2000) | |
| 50 | EE | Michael Wooldridge, Keith Decker: Guest Editors' Introduction: Infrastructure, Technology, Applications. IEEE Internet Computing 4(2): 46-48 (2000) |
| 49 | EE | Carles Sierra, Michael Wooldridge, Norman M. Sadeh: Agents on the Web: Agent Research and Development in Europe. IEEE Internet Computing 4(5): 81-83 (2000) |
| 1999 | ||
| 48 | Michael Wooldridge, Manuela M. Veloso: Artificial Intelligence Today: Recent Trends and Developments Springer 1999 | |
| 47 | Michael Wooldridge: Verifying that Agents Implement a Communication Language. AAAI/IAAI 1999: 52-57 | |
| 46 | Michael Wooldridge, Alessio Lomuscio: Reasoning about Visibility, Perception and Knowledge. ATAL 1999: 1-12 | |
| 45 | Stefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael Wooldridge: Agent-Oriented Software Engineering. ATAL 1999: 248-249 | |
| 44 | EE | Michael Wooldridge, Nicholas R. Jennings, David Kinny: A Methodology for Agent-Oriented Analysis and Design. Agents 1999: 69-76 |
| 43 | EE | Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael Wooldridge: Robots with the Best of Intentions. Artificial Intelligence Today 1999: 329-338 |
| 42 | Michael Wooldridge: Editorial. Autonomous Agents and Multi-Agent Systems 2(1): 5 (1999) | |
| 41 | Michael Wooldridge, Nicholas R. Jennings: Software Engineering with Agents: Pitfalls and Pratfalls. IEEE Internet Computing 3(3): 20-27 (1999) | |
| 40 | EE | Nicholas R. Jennings, Michael Wooldridge: Agent Technology: Foundations, Applications and Markets. J. Artificial Societies and Social Simulation 2(4): (1999) |
| 39 | EE | Michael Wooldridge, Nicholas R. Jennings: The Cooperative Problem-solving Process. J. Log. Comput. 9(4): 563-592 (1999) |
| 1998 | ||
| 38 | Munindar P. Singh, Anand S. Rao, Michael Wooldridge: Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings Springer 1998 | |
| 37 | Michael P. Georgeff, Barney Pell, Martha E. Pollack, Milind Tambe, Michael Wooldridge: The Belief-Desire-Intention Model of Agency. ATAL 1998: 1-10 | |
| 36 | Michael Wooldridge, Jörg P. Müller: A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series. ATAL 1998: 427-441 | |
| 35 | Michael Wooldridge, Simon Parsons: Intention Reconsideration Reconsidered. ATAL 1998: 63-79 | |
| 34 | EE | Michael Wooldridge, Nicholas R. Jennings: Pitfalls of Agent-Oriented Development. Agents 1998: 385-391 |
| 33 | Michael Wooldridge: A Knowledge-theoretic Approach to Distributed Problem Solving. ECAI 1998: 308-312 | |
| 32 | EE | Michael Wooldridge: Verifiable Semantics for Agent Communication Languages. ICMAS 1998: 349-356 |
| 31 | Nicholas R. Jennings, Katia P. Sycara, Michael Wooldridge: A Roadmap of Agent Research and Development. Autonomous Agents and Multi-Agent Systems 1(1): 7-38 (1998) | |
| 30 | Nicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia: Editorial. J. Log. Comput. 8(3): 231-232 (1998) | |
| 29 | Clare Dixon, Michael Fisher, Michael Wooldridge: Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998) | |
| 28 | Michael Wooldridge, Clare Dixon, Michael Fisher: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics 8(3): (1998) | |
| 1997 | ||
| 27 | Jörg P. Müller, Michael Wooldridge, Nicholas R. Jennings: Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings Springer 1997 | |
| 26 | Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge: A Formal Specification of dMARS. ATAL 1997: 155-176 | |
| 25 | EE | Michael Wooldridge, Afsaneh Haddadi: Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 15-30 |
| 24 | Michael Wooldridge: Issues in Agent-Based Software Engineeing. CIA 1997: 1-18 | |
| 23 | Mark d'Inverno, Michael Luck, Michael Wooldridge: Cooperation Structures. IJCAI (1) 1997: 600-605 | |
| 22 | Michael Fisher, Michael Wooldridge: Distributed Problem-Solving as Concurrent Theorem Proving. MAAMAW 1997: 128-140 | |
| 21 | EE | Hyacinth S. Nwana, Michael Wooldridge: Sofware Agent Technologies. Software Agents and Soft Computing 1997: 59-78 |
| 20 | EE | David Derbyshire, Innes A. Ferguson, Jörg P. Müller, Markus Pischel, Michael Wooldridge: Agent-Based Digital Libraries: Driving the Information Economy. WETICE 1997: 82-86 |
| 19 | Michael Wooldridge: Agent-based software engineering. IEE Proceedings - Software 144(1): 26-37 (1997) | |
| 18 | Michael Fisher, Michael Wooldridge: On the Formal Specification and Verification of Multi-Agent Systems. Int. J. Cooperative Inf. Syst. 6(1): 37-66 (1997) | |
| 1996 | ||
| 17 | Michael Wooldridge, Jörg P. Müller, Milind Tambe: Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings Springer 1996 | |
| 16 | Michael Wooldridge: A Knowledge-Theoretic Semantics for Concurrent METATEM. ATAL 1996: 357-374 | |
| 15 | Michael Wooldridge: Agents as a Rorschach Test: A Response to Franklin and Graesser. ATAL 1996: 47-48 | |
| 14 | Michael Fisher, Michael Wooldridge, Clare Dixon: A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996: 178-192 | |
| 13 | Michael Wooldridge: Practical Reasoning with Procedural Knowledge. FAPR 1996: 663-678 | |
| 1995 | ||
| 12 | Michael Wooldridge, Nicholas R. Jennings: Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings Springer 1995 | |
| 11 | Michael Wooldridge, Jörg P. Müller, Milind Tambe: Agent Theories, Architectures, and Languages: A Bibliography. ATAL 1995: 408-431 | |
| 10 | Michael Wooldridge: Time, Knowledge, and Choice. ATAL 1995: 79-96 | |
| 9 | Adam Walker, Michael Wooldridge: Understanding the Emergence of Conventions in Multi-Agent Systems. ICMAS 1995: 384-389 | |
| 8 | Nicholas R. Jennings, Michael Wooldridge: Applying agent technology. Applied Artificial Intelligence 9(4): 357-369 (1995) | |
| 1994 | ||
| 7 | Michael Wooldridge: Coherent Social Action. ECAI 1994: 279-283 | |
| 6 | Michael Wooldridge, Nicholas R. Jennings: Agent Theories, Architectures, and Languages: A Survey. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 1-39 | |
| 5 | Michael Wooldridge: This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 160-178 | |
| 4 | Michael Wooldridge, Michael Fisher: A Decision Procedure for a Temporal Belief Logic. ICTL 1994: 317-331 | |
| 3 | Michael Wooldridge, Nicholas R. Jennings: Towards a Theory of Cooperative Problem Solving. MAAMAW 1994: 40-53 | |
| 1993 | ||
| 2 | Michael Fisher, Michael Wooldridge: Specifying and Verifying Distributed Intelligence Systems. EPIA 1993: 13-28 | |
| 1992 | ||
| 1 | Michael Wooldridge, Michael Fisher: A First-Order Branching Time Logic of Multi-Agent System. ECAI 1992: 234-238 | |