Michael Wooldridge Home Page Coauthor index DBLP Vis pubzone.org

Michael J. Wooldridge

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

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

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)