| 2009 |
|---|
| 211 | 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 |
| 210 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Reasoning about coalitional games.
Artif. Intell. 173(1): 45-79 (2009) |
| 209 | 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) |
| 2008 |
|---|
| 208 | | Edith Elkind,
Leslie Ann Goldberg,
Paul W. Goldberg,
Michael Wooldridge:
On the Dimensionality of Voting Games.
AAAI 2008: 69-74 |
| 207 | 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 |
| 206 | EE | Paul E. Dunne,
Wiebe van der Hoek,
Sarit Kraus,
Michael Wooldridge:
Cooperative Boolean games.
AAMAS (2) 2008: 1015-1022 |
| 205 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Quantifying over coalitions in epistemic logic.
AAMAS (2) 2008: 665-672 |
| 204 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Robust normative systems.
AAMAS (2) 2008: 747-754 |
| 203 | EE | S. Shaheen Fatima,
Michael Wooldridge,
Nicholas R. Jennings:
An anytime approximation method for the inverse Shapley value problem.
AAMAS (2) 2008: 935-942 |
| 202 | EE | Noam Hazon,
Yonatan Aumann,
Sarit Kraus,
Michael Wooldridge:
Evaluation of election outcomes under uncertainty.
AAMAS (2) 2008: 959-966 |
| 201 | EE | Tomasz Michalak,
Andrew Dowell,
Peter McBurney,
Michael Wooldridge:
Optimal Coalition Structure Generation In Partition Function Games.
ECAI 2008: 388-392 |
| 200 | EE | Michael Wooldridge:
Logic for Automated Mechanism Design and Analysis.
MATES 2008: 1 |
| 199 | EE | Nicolas Troquard,
Wiebe van der Hoek,
Michael Wooldridge:
Model Checking Strategic Equilibria.
MoChArt 2008: 166-188 |
| 198 | EE | S. Shaheen Fatima,
Michael Wooldridge,
Nicholas R. Jennings:
A linear approximation method for the Shapley value.
Artif. Intell. 172(14): 1673-1699 (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:
4rd 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 | | 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 |
