dblp.uni-trier.dewww.uni-trier.de

Michael Wooldridge Vis

Michael J. Wooldridge

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
222EEDoron 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
221EEThomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge: Power in normative systems. AAMAS (1) 2009: 145-152
220EEPiotr Faliszewski, Edith Elkind, Michael Wooldridge: Boolean combinations of weighted voting games. AAMAS (1) 2009: 185-192
219EEEdith Elkind, Michael Wooldridge: Hedonic coalition nets. AAMAS (1) 2009: 417-424
218EES. 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
217EEPaul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge: Inconsistency tolerance in weighted argument systems. AAMAS (2) 2009: 851-858
216EENicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of games and propositional control. AAMAS (2) 2009: 961-968
215EETomasz 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
214EETalal 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
213EENicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. TARK 2009: 237-246
212EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009)
211EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Completeness and Complexity of Multi-modal CTL. Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009)
210EEThomas Å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
208EEEdith 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
207EEPaul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge: Cooperative Boolean games. AAMAS (2) 2008: 1015-1022
206EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672
205EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems. AAMAS (2) 2008: 747-754
204EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An anytime approximation method for the inverse Shapley value problem. AAMAS (2) 2008: 935-942
203EENoam Hazon, Yonatan Aumann, Sarit Kraus, Michael Wooldridge: Evaluation of election outcomes under uncertainty. AAMAS (2) 2008: 959-966
202EETomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge: Optimal Coalition Structure Generation In Partition Function Games. ECAI 2008: 388-392
201EEMichael Wooldridge: Logic for Automated Mechanism Design and Analysis. MATES 2008: 1
200EENicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Model Checking Strategic Equilibria. MoChArt 2008: 166-188
199EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A linear approximation method for the Shapley value. Artif. Intell. 172(14): 1673-1699 (2008)
198EEFernando Lopes, Michael Wooldridge, Augusto Q. Novais: Negotiation among autonomous computational agents: principles, analysis and challenges. Artif. Intell. Rev. 29(1): 1-44 (2008)
197EEThomas Å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-
194EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Normative system games. AAMAS 2007: 129
193EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Approximate and online multi-issue negotiation. AAMAS 2007: 156
192EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A randomized method for the shapley value for the voting game. AAMAS 2007: 157
191EESimon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge: On the relevance of utterances in formal inter-agent dialogues. AAMAS 2007: 240
190EEShamimabi Paurobally, Chris van Aart, Valentina A. M. Tamma, Michael Wooldridge, Peter van Hapert: Web services negotiation in an insurance grid. AAMAS 2007: 275
189EEShamimabi Paurobally, Michael Wooldridge: Joint conversation specification and compliance. AAMAS 2007: 30
188EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about judgment and preference aggregation. AAMAS 2007: 85
187EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Sequential Auctions in Uncertain Information Settings. AMEC/TADA 2007: 16-29
186EESimon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge: On the Relevance of Utterances in Formal Inter-agent Dialogues. ArgMAS 2007: 47-62
185EEShamimabi Paurobally, Michael Wooldridge: Joint Conversation Specification and Compliance. DALT 2007: 18-35
184EEMinghua He, Xudong Luo, Nicholas R. Jennings, Michael Wooldridge: Forming Fuzzy Coalitions in Cooperative Superadditive Games. ICEBE 2007: 221-228
183EEThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. IJCAI 2007: 1175-1180
182EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified Coalition Logic. IJCAI 2007: 1181-1186
181EEThomas Å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
180EELouise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
179EEDirk Walther, Wiebe van der Hoek, Michael Wooldridge: Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278
178EEMichael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge: Logic-Based Agent Verification. J. Applied Logic 5(2): 193-195 (2007)
177EERenata 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)
176EEWiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: Towards a theory of intention revision. Synthese 155(2): 265-290 (2007)
175EEWiebe van der Hoek, Mark Roberts, Michael Wooldridge: Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1): 1-19 (2007)
174EEShamimabi 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
172EEJomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293
171EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of coalitional games. AAMAS 2006: 153-160
170EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Temporal qualitative coalitional games. AAMAS 2006: 177-184
169EELuigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge: Reasoning about action and cooperation. AAMAS 2006: 185-192
168EEWiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge: On the complexity of practical ATL model checking. AAMAS 2006: 201-208
167EEJomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140
166EES. 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)
164EEMichael Wooldridge, Paul E. Dunne: On the computational complexity of coalitional resource games. Artif. Intell. 170(10): 835-871 (2006)
163EERafael 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)
162EEPaolo 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)
161EEWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006)
160EEMichael 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)
159EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Multi-Issue Negotiation with Deadlines. J. Artif. Intell. Res. (JAIR) 27: 381-417 (2006)
158EEDirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006)
157EESieuwert 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
155EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An analysis of the shapley value and its uncertainty for the voting game. AAMAS 2005: 1201-1202
154EESylvie Doutre, Peter McBurney, Michael Wooldridge: Law-governed Linda as a semantics for agent dialogue protocols. AAMAS 2005: 1257-1258
153EEWiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: A logic for strategic reasoning. AAMAS 2005: 157-164
152EEMichael Wooldridge, Peter McBurney, Simon Parsons: On the meta-logic of arguments. AAMAS 2005: 560-567
151EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Sequential auctions for objects with common and private values. AAMAS 2005: 635-642
150EEWiebe van der Hoek, Mark Roberts, Michael Wooldridge: Knowledge and social laws. AAMAS 2005: 674-681
149EEWiebe van der Hoek, Michael Wooldridge: On the dynamics of delegation, cooperation, and control: a logical account. AAMAS 2005: 701-708
148EEJonathan Himoff, Petr Skobelev, Michael Wooldridge: MAGENTA technology: multi-agent systems for industrial logistics. AAMAS Industrial Applications 2005: 60-66
147EEMichael Wooldridge, Peter McBurney, Simon Parsons: On the Meta-logic of Arguments. ArgMAS 2005: 42-56
146EEWojciech 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
143EEValentina 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
142EEValentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge: Introducing Autonomic Behaviour in Semantic Web Agents. International Semantic Web Conference 2005: 653-667
141EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Bargaining with incomplete information. Ann. Math. Artif. Intell. 44(3): 207-232 (2005)
140EEMichael Wooldridge, Paul E. Dunne: The complexity of agent design problems: Determinism and history dependence. Ann. Math. Artif. Intell. 45(3-4): 343-371 (2005)
139EEPaul E. Dunne, Michael Wooldridge, Michael Laurence: The complexity of contract negotiation. Artif. Intell. 164(1-2): 23-46 (2005)
138EEWiebe van der Hoek, Michael Wooldridge: On the logic of cooperation and propositional control. Artif. Intell. 164(1-2): 81-119 (2005)
137EES. 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)
136EEWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005)
135EEMichael 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
134EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal Negotiation of Multiple Issues in Incomplete Information Settings. AAMAS 2004: 1080-1087
133EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Revenue Maximising Agendas for Sequential English Auctions. AAMAS 2004: 1432-1433
132EESieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Preferences in Game Logics. AAMAS 2004: 152-159
131EERafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
130EESimon Parsons, Peter McBurney, Michael Wooldridge: Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. ArgMAS 2004: 1-18
129EEWojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: On Obligations and Abilities. DEON 2004: 165-181
128EEMichael 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
125EEValentina 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)
123EEWamberto 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)
122EESieuwert van Otterloo, Wiebe Der, Michael Wooldridge: Model Checking A Knowledge Exchange Scenario. Applied Artificial Intelligence 18(9-10): 937-952 (2004)
121EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An agenda-based framework for multi-issue negotiation. Artif. Intell. 152(1): 1-45 (2004)
120EEMichael Wooldridge, Paul E. Dunne: On the computational complexity of qualitative coalitional games. Artif. Intell. 158(1): 27-73 (2004)
119EEMichael 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)
118EEMark 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)
117EERafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
116EESteve Phelps, Valentina A. M. Tamma, Michael Wooldridge, Ian Dickinson: Toward Open Negotiation. IEEE Internet Computing 8(2): 70-75 (2004)
115EEMichael Wooldridge: An Introduction to Multi-Agent Systems. J. Artificial Societies and Social Simulation 7(3): (2004)
114EEMartijn C. Schut, Michael Wooldridge, Simon Parsons: The theory and practice of intention reconsideration. J. Exp. Theor. Artif. Intell. 16(4): 261-293 (2004)
2003
113EEMarc-Philippe Huget, Michael Wooldridge: Model checking for ACL compliance verification. AAMAS 2003: 1016-1017
112EEChristos 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
111EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal agendas for multi-issue negotiation. AAMAS 2003: 129-136
110EERafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416
109EESimon Parsons, Michael Wooldridge, Leila Amgoud: On the outcomes of formal inter-agent dialogues. AAMAS 2003: 616-623
108EEIan Dickinson, Michael Wooldridge: Towards practical reasoning agents for the semantic web. AAMAS 2003: 827-834
107EERafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
106EEIan Dickinson, Michael Wooldridge: An initial response to the OAS'03 challenge problem. OAS 2003: 63-
105EERafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
104EESimon Parsons, Peter McBurney, Michael Wooldridge: The Mechanics of Some Formal Inter-agent Dialogues. Workshop on Agent Communication Languages 2003: 329-348
103EEMarc-Philippe Huget, Michael Wooldridge: Model Checking for ACL Compliance Verification. Workshop on Agent Communication Languages 2003: 75-90
102EEFranco 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)
100EESimon Parsons, Michael Wooldridge, Leila Amgoud: Properties and Complexity of Some Formal Inter-agent Dialogues. J. Log. Comput. 13(3): 347-376 (2003)
99EEWiebe van der Hoek, Michael Wooldridge: Editorial. Logic Journal of the IGPL 11(2): (2003)
98EEWiebe van der Hoek, Michael Wooldridge: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2): 135-159 (2003)
97EEWiebe van der Hoek, Michael Wooldridge: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica 75(1): 125-157 (2003)
96EEWiebe 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
94EEWiebe van der Hoek, Michael Wooldridge: Tractable multiagent planning for epistemic goals. AAMAS 2002: 1167-1174
93EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Multi-issue negotiation under time constraints. AAMAS 2002: 143-150
92EESimon Parsons, Michael Wooldridge, Leila Amgoud: An analysis of formal inter-agent dialogues. AAMAS 2002: 394-401
91EEPeter McBurney, Simon Parsons, Michael Wooldridge: Desiderata for agent argumentation protocols. AAMAS 2002: 402-409
90EEMichael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons: Model checking multi-agent systems with MABLE. AAMAS 2002: 952-959
89EEPaul E. Dunne, Michael Wooldridge, Michael Laurence: The computational complexity of boolean and stochastic agent design problems. AAMAS 2002: 976-983
88EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: The Influence of Information on Negotiation Equilibrium. AMEC 2002: 180-193
87EEValentina A. M. Tamma, Michael Wooldridge, Ian Blacoe, Ian Dickinson: An Ontology Based Approach to Automated Negotiation. AMEC 2002: 219-237
86EEStefan Bussmann, Nicholas R. Jennings, Michael Wooldridge: Re-use of Interaction Protocols for Agent-Based Control Applications. AOSE 2002: 73-87
85EEMichael Wooldridge, Wiebe van der Hoek: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002: 4
84EEMartijn C. Schut, Michael Wooldridge, Simon Parsons: On Partially Observable MDPs and BDI Models. Foundations and Applications of Multi-Agent Systems 2002: 243-260
83EEMichael Wooldridge: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. KI 2002: 318
82EEWiebe 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)
80EEMichael 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
78EEWamberto 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
77EEMichael Wooldridge, Paul E. Dunne: The Computational Complexity of Agent Verification. ATAL 2001: 115-127
76EES. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal Negotiation Strategies for Agents with Incomplete Information. ATAL 2001: 377-392
75EEAlessio Lomuscio, Michael Wooldridge, Nicholas R. Jennings: A Classification Scheme for Negotiation in Electronic Commerce. AgentLink 2001: 19-33
74EEMartijn C. Schut, Michael Wooldridge: Principles of intention reconsideration. Agents 2001: 340-347
73EES. Shaheen Fatima, Michael Wooldridge: Adaptive task resources allocation in multi-agent systems. Agents 2001: 537-544
72EEMartijn C. Schut, Michael Wooldridge, Simon Parsons: Reasoning about Intentions in Uncertain Domains. ECSQARU 2001: 84-95
71EEMichael 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)
67EEMichael Wooldridge, Alessio Lomuscio: A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Logic Journal of the IGPL 9(2): (2001)
2000
66EEMichael Wooldridge, Simon Parsons: Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages. AMEC 2000: 70-83
65EEMichael Wooldridge, Paolo Ciancarini: Agent-Oriented Software Engineering: The State of the Art. AOSE 2000: 1-28
64EEStefan Bussmann, Nicholas R. Jennings, Michael Wooldridge: On the Identification of Agents in the Design of Production Control Systems. AOSE 2000: 141-162
63EEFranco Zambonelli, Nicholas R. Jennings, Michael Wooldridge: Organizational Abstractions for the Analysis and Design of Multi-agent Systems. AOSE 2000: 235-251
62EEMichael Wooldridge, Paul E. Dunne: Optimistic and Disjunctive Agent Design Problems. ATAL 2000: 1-14
61EEJoanna Bryson, Keith S. Decker, Scott A. DeLoach, Michael N. Huhns, Michael Wooldridge: Panel Summary: Agent Development Tools. ATAL 2000: 331-338
60EEMartijn 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
57EEMichael Wooldridge: Computationally Grounded Theories of Agency. ICMAS 2000: 13-22
56EEMichael Wooldridge: The Computational Complexity of Agent Design Problems. ICMAS 2000: 341-348
55EEPaolo Ciancarini, Michael Wooldridge: Agent-oriented software engineering (workshop). ICSE 2000: 816-817
54EEMichael 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)
50EEMichael Wooldridge, Keith Decker: Guest Editors' Introduction: Infrastructure, Technology, Applications. IEEE Internet Computing 4(2): 46-48 (2000)
49EECarles 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
44EEMichael Wooldridge, Nicholas R. Jennings, David Kinny: A Methodology for Agent-Oriented Analysis and Design. Agents 1999: 69-76
43EESimon 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)
40EENicholas R. Jennings, Michael Wooldridge: Agent Technology: Foundations, Applications and Markets. J. Artificial Societies and Social Simulation 2(4): (1999)
39EEMichael 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
34EEMichael 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
32EEMichael 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
25EEMichael 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
21EEHyacinth S. Nwana, Michael Wooldridge: Sofware Agent Technologies. Software Agents and Soft Computing 1997: 59-78
20EEDavid 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

Coauthor Index

1Chris van Aart [143] [190]
2Thomas Ågotnes [170] [171] [181] [182] [183] [188] [194] [195] [197] [205] [206] [210] [211] [212] [221]
3Jaume Agustí-Cullell [78]
4Leila Amgoud [92] [100] [109]
5Geert Arys [112]
6Yonatan Aumann [203]
7Paolo Ballarini [162]
8Ian Blacoe [87] [125] [126] [142]
9Rafael H. Bordini [105] [107] [110] [117] [131] [163] [167] [172] [177] [180]
10Joanna Bryson [61]
11Stefan Bussmann [45] [64] [86]
12Paolo Ciancarini [45] [55] [65] [69] [79] [95]
13Scott A. DeLoach [61]
14Keith S. Decker (Keith Decker) [45] [50] [61]
15Louise A. Dennis [180]
16Wiebe Der [122]
17David Derbyshire [20]
18Ian Dickinson [87] [106] [108] [116]
19Frank Dignum (F. P. M. Dignum) [156]
20Virginia Dignum [156]
21Clare Dixon [14] [28] [29]
22Sylvie Doutre [154]
23Andrew Dowell [202] [215]
24Paul E. Dunne (Paul E. S. Dunne) [62] [77] [89] [120] [127] [139] [140] [164] [173] [195] [207] [217]
25Edith Elkind [196] [208] [209] [219] [220]
26Marc Esteva [123]
27Piotr Faliszewski [220]
28Berndt Farwer [180]
29S. Shaheen Fatima [73] [76] [88] [93] [111] [121] [133] [134] [137] [141] [144] [145] [151] [155] [159] [166] [187] [192] [193] [199] [204] [218]
30Innes A. Ferguson [20]
31Michael Fisher [1] [2] [4] [14] [18] [22] [28] [29] [90] [105] [107] [110] [117] [131] [160] [162] [163] [178] [180]
32Michael P. Georgeff [37] [118]
33Jelle Gerbrandy [169]
34Fausto Giunchiglia [30]
35Leslie Ann Goldberg [196] [208] [209]
36Paul W. Goldberg [196] [208] [209]
37Afsaneh Haddadi [25]
38Peter van Hapert [190]
39Noam Hazon [203]
40Minghua He [184]
41Jonathan Himoff [148]
42Wiebe van der Hoek [82] [85] [94] [96] [97] [98] [99] [129] [132] [135] [136] [138] [146] [149] [150] [153] [157] [161] [168] [169] [170] [171] [175] [176] [179] [181] [182] [183] [188] [194] [195] [197] [200] [205] [206] [207] [210] [211] [212] [213] [216] [221]
43Jomi Fred Hübner [167] [172]
44Marc-Philippe Huget [90] [103] [113] [160]
45Michael N. Huhns [45] [61]
46Anthony Hunter [217]
47Wojciech Jamroga [129] [146] [153] [176]
48Nicholas R. Jennings (Nick R. Jennings) [3] [6] [8] [12] [27] [30] [31] [34] [39] [40] [41] [44] [51] [63] [64] [68] [70] [75] [76] [86] [88] [93] [102] [111] [121] [133] [134] [137] [141] [144] [145] [151] [155] [159] [166] [184] [187] [192] [193] [199] [204] [214] [215] [218]
49David Kinny [26] [44] [51] [118]
50Sven Koenig [156] [165]
51Sarit Kraus [156] [165] [203] [207]
52Michael Laurence [89] [127] [139]
53Alessio Lomuscio [46] [54] [67] [75] [136] [161] [168]
54Fernando Lopes (Fernando J. P. Lopes, Fernando José Pimentel Lopes) [198]
55Michael Luck [23] [26] [118]
56Xudong Luo [184]
57Carsten Lutz [158]
58Peter McBurney [91] [104] [130] [147] [152] [154] [186] [191] [202] [214] [215] [217]
59Tomasz P. Michalak [202] [214] [215]
60Álvaro F. Moreira [177]
61Thierry Moyaux [143]
62Jörg P. Müller [11] [17] [20] [27] [36]
63Augusto Q. Novais [198]
64Hyacinth S. Nwana [21]
65Andrea Omicini [70]
66Sieuwert van Otterloo [122] [132] [157]
67Carmen Pardavila [107] [110]
68Simon Parsons [35] [43] [58] [59] [66] [72] [78] [81] [84] [90] [91] [92] [100] [104] [109] [114] [130] [147] [152] [160] [173] [186] [191] [217]
69Shamimabi Paurobally [143] [174] [185] [189] [190]
70Doron Peled [222]
71Barney Pell [37]
72Ola Pettersson [43] [59]
73Steve Phelps [116]
74Markus Pischel [20]
75Martha E. Pollack [37]
76Talal Rahwan [214] [215]
77Anand S. Rao [38]
78Mark Roberts [150] [175]
79David Stuart Robertson (David Robertson) [78] [123]
80Juan A. Rodríguez-Aguilar [181] [183]
81Jeffrey S. Rosenschein [124]
82Jordi Sabater-Mir (Jordi Sabater) [78] [123]
83Norman M. Sadeh [49]
84Alessandro Saffiotti [43] [59]
85Luigi Sauro [169]
86Martijn C. Schut [60] [72] [74] [84] [114]
87Carles Sierra [49] [78] [123] [181] [183]
88Munindar P. Singh [38] [156] [165] [178]
89Elizabeth Sklar (Elizabeth Sklar Rozier) [186] [191]
90Petr Skobelev [148]
91Ben Lithgow Smith [125] [126] [142] [143]
92Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon) [178]
93Jacek Sroka [215]
94Christos Stergiou [112]
95Katia P. Sycara [31] [101]
96Milind Tambe [11] [17] [37]
97Valentina A. M. Tamma [87] [116] [125] [126] [142] [143] [174] [190]
98Moshe Tennenholtz [221]
99Nicolas Troquard [200] [213] [216]
100Wamberto Weber Vasconcelos [78] [123]
101Manuela M. Veloso [48]
102Renata Vieira [177]
103Erik P. de Vink [136] [161]
104Willem Visser [105] [107] [117] [131] [163]
105Adam Walker [9]
106Dirk Walther [158] [179]
107Christopher Walton [78]
108Gerhard Weiß [95]
109Frank Wolter [158]
110Franco Zambonelli [63] [68] [70] [102]
111Mark d'Inverno [23] [26] [118]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)