Michael J. Wooldridge
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j99 |      | Michael Wooldridge, Ulle Endriss, Sarit Kraus, Jérôme Lang: Incentive engineering for Boolean games. Artif. Intell. 195: 418-439 (2013) |
| j98 | | Yoram Bachrach, Michael Zuckerman, Michael Wooldridge, Jeffrey S. Rosenschein: Proof systems and transformation games. Ann. Math. Artif. Intell. 67(1): 1-30 (2013) |
| j97 | | Elisabetta Erriquez, Wiebe van der Hoek, Michael Wooldridge: Building and using social structures: A case study using the agent ART testbed. ACM TIST 4(2): 25 (2013) |
| 2012 | ||
| j96 | | Talal Rahwan, Tomasz P. Michalak, Michael Wooldridge, Nicholas R. Jennings: Anytime coalition structure generation in multi-agent systems with positive or negative externalities. Artif. Intell. 186: 95-122 (2012) |
| j95 | | Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael Wooldridge: On the evaluation of election outcomes under uncertainty. Artif. Intell. 189: 1-18 (2012) |
| j94 | | Wiebe van der Hoek, Michael Wooldridge: Logics for Multiagent Systems. AI Magazine 33(3): 92-105 (2012) |
| j93 | | |
| j92 | | Michael Wooldridge: Computation and the prisoner's dilemma. IEEE Intelligent Systems 27(2): 75-80 (2012) |
| j91 | | Georgios Chalkiadakis, Edith Elkind, Michael Wooldridge: Cooperative Game Theory: Basic Concepts and Computational Challenges. IEEE Intelligent Systems 27(3): 86-90 (2012) |
| j90 | | |
| j89 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A heuristic approximation method for the Banzhaf index for voting games. Multiagent and Grid Systems 8(3): 257-274 (2012) |
| c170 | | |
| c169 | | Wiebe van der Hoek, Petar Iliev, Michael Wooldridge: A logic of revelation and concealment. AAMAS 2012: 1115-1122 |
| c168 | | Paul E. Dunne, Pierre Marquis, Michael Wooldridge: Argument Aggregation: Basic Axioms and Complexity Results. COMMA 2012: 129-140 |
| c167 | | |
| c166 | | |
| c165 | | |
| 2011 | ||
| b3 | | Georgios Chalkiadakis, Edith Elkind, Michael Wooldridge: Computational Aspects of Cooperative Game Theory. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2011 |
| j88 | | Ben Lithgow Smith, Valentina A. M. Tamma, Michael Wooldridge: An Ontology for Coordination. Applied Artificial Intelligence 25(3): 235-265 (2011) |
| j87 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of preference and judgment aggregation. Autonomous Agents and Multi-Agent Systems 22(1): 4-30 (2011) |
| j86 | | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge: Weighted argument systems: Basic definitions, algorithms, and complexity results. Artif. Intell. 175(2): 457-486 (2011) |
| j85 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning About Social Choice Functions. J. Philosophical Logic 40(4): 473-498 (2011) |
| c164 | | Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicholas R. Jennings: Constrained Coalition Formation. AAAI 2011 |
| c163 | | Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge: Designing incentives for Boolean games. AAMAS 2011: 79-86 |
| c162 | | Wiebe van der Hoek, Cees Witteveen, Michael Wooldridge: Decomposing constraint systems: equivalences and computational properties. AAMAS 2011: 149-156 |
| c161 | | Wiebe van der Hoek, Nicolas Troquard, Michael Wooldridge: Knowledge and control. AAMAS 2011: 719-726 |
| c160 | | |
| c159 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: On optimal agendas for package deal negotiation. AAMAS 2011: 1083-1084 |
| c158 | | Elisabetta Erriquez, Wiebe van der Hoek, Michael Wooldridge: An abstract framework for reasoning about trust. AAMAS 2011: 1085-1086 |
| c157 | | John Grant, Sarit Kraus, Michael Wooldridge, Inon Zuckerman: Manipulating Boolean Games through Communication. IJCAI 2011: 210-215 |
| c156 | | Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge: Incentive Engineering for Boolean Games. IJCAI 2011: 2602-2607 |
| c155 | | |
| c154 | | Wiebe van der Hoek, Petar Iliev, Michael Wooldridge: Knowledge and Action in Semi-public Environments. LORI 2011: 97-110 |
| c153 | | |
| i3 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Reasoning about Social Choice Functions. CoRR abs/1102.3341 (2011) |
| i2 | | S. Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge: Multi-Issue Negotiation with Deadlines. CoRR abs/1110.2765 (2011) |
| i1 | | Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael Wooldridge: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. CoRR abs/1111.0041 (2011) |
| 2010 | ||
| j84 | | Paul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael Wooldridge: Solving coalitional resource games. Artif. Intell. 174(1): 20-50 (2010) |
| j83 | | Thierry Moyaux, Peter McBurney, Michael Wooldridge: A supply chain as a network of auctions. Decision Support Systems 50(1): 176-190 (2010) |
| j82 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems and a logic of norm compliance. Logic Journal of the IGPL 18(1): 4-30 (2010) |
| j81 | | Ian Blacoe, Valentina A. M. Tamma, Michael J. Wooldridge: Evaluation of scalable multi-agent system architectures for searching the Semantic Web. IJMSO 5(2): 99-119 (2010) |
| j80 | | Wiebe van der Hoek, Dirk Walther, Michael Wooldridge: Reasoning About the Transfer of Control. J. Artif. Intell. Res. (JAIR) 37: 437-477 (2010) |
| j79 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Sequential auctions for common value objects with budget constrained bidders. Multiagent and Grid Systems 6(5-6): 403-414 (2010) |
| j78 | | John Grant, Sarit Kraus, Donald Perlis, Michael Wooldridge: Postulates for revising BDI structures. Synthese 175(Supplement-1): 39-62 (2010) |
| c152 | | |
| c151 | | Tomasz P. Michalak, Dorota Marciniak, Marcin Szamotulski, Talal Rahwan, Michael Wooldridge, Peter McBurney, Nicholas R. Jennings: A logic-based representation for coalitional games with externalities. AAMAS 2010: 125-132 |
| c150 | | |
| c149 | | Tomasz P. Michalak, Jacek Sroka, Talal Rahwan, Michael Wooldridge, Peter McBurney, Nicholas R. Jennings: A distributed algorithm for anytime coalition structure generation. AAMAS 2010: 1007-1014 |
| c148 | | Piotr Krysta, Tomasz P. Michalak, Tuomas Sandholm, Michael Wooldridge: Combinatorial auctions with externalities. AAMAS 2010: 1471-1472 |
| c147 | | Yoram Bachrach, Michael Zuckerman, Michael Wooldridge, Jeffrey S. Rosenschein: Proof Systems and Transformation Games. MFCS 2010: 78-89 |
| e10 | | Helder Coelho, Rudi Studer, Michael Wooldridge (Eds.): ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Frontiers in Artificial Intelligence and Applications 215, IOS Press 2010, isbn 978-1-60750-605-8 |
| 2009 | ||
| b2 |  | Michael J. Wooldridge: An Introduction to MultiAgent Systems (2. ed.). Wiley 2009, isbn 978-0-470-51946-2, pp. I-XXII, 1-461 |
| j77 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009) |
| j76 | | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: On the computational complexity of weighted voting games. Ann. Math. Artif. Intell. 56(2): 109-131 (2009) |
| j75 | | Tomasz P. Michalak, Joanna Tyrowicz, Peter McBurney, Michael Wooldridge: Exogenous coalition formation in the e-marketplace based on geographical proximity. Electronic Commerce Research and Applications 8(4): 203-223 (2009) |
| j74 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Completeness and Complexity of Multi-modal CTL. Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009) |
| j73 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Logics for Qualitative Coalitional Games. Logic Journal of the IGPL 17(3): 299-321 (2009) |
| j72 | | Ji Ruan, Wiebe van der Hoek, Michael Wooldridge: Verification of Games in the Game Description Language. J. Log. Comput. 19(6): 1127-1156 (2009) |
| j71 | | Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser: Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009) |
| j70 | | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. Math. Log. Q. 55(4): 362-376 (2009) |
| j69 | | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: Multi-Modal CTL: Completeness, Complexity, and an Application. Studia Logica 92(1): 1-26 (2009) |
| c146 | | Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge: Power in normative systems. AAMAS (1) 2009: 145-152 |
| c145 | | Piotr Faliszewski, Edith Elkind, Michael Wooldridge: Boolean combinations of weighted voting games. AAMAS (1) 2009: 185-192 |
| c144 | | |
| c143 | | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge: Inconsistency tolerance in weighted argument systems. AAMAS (2) 2009: 851-858 |
| c142 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of games and propositional control. AAMAS (2) 2009: 961-968 |
| c141 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. AAMAS (2) 2009: 1041-1048 |
| c140 | | Talal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings, Michael Wooldridge, Peter McBurney: Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities. IJCAI 2009: 257-263 |
| c139 | | Tomasz P. Michalak, Talal Rahwan, Jacek Sroka, Andrew Dowell, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings: On representing coalitional games with externalities. ACM Conference on Electronic Commerce 2009: 11-20 |
| c138 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: A logic of propositional control for truthful implementations. TARK 2009: 237-246 |
| e9 | | Doron Peled, Michael Wooldridge (Eds.): Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5348, Springer 2009, isbn 978-3-642-00430-8 |
| 2008 | ||
| j68 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A linear approximation method for the Shapley value. Artif. Intell. 172(14): 1673-1699 (2008) |
| j67 | | Michael Wooldridge: How Inappropriately Heavyweight AI Solutions Dragged Down A Startup (and Made Me Realize that Industrial Salaries Are High for a Good Reason). AI Magazine 29(2): 49-50 (2008) |
| j66 | | Fernando Lopes, Michael Wooldridge, Augusto Q. Novais: Negotiation among autonomous computational agents: principles, analysis and challenges. Artif. Intell. Rev. 29(1): 1-44 (2008) |
| j65 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified coalition logic. Synthese 165(2): 269-294 (2008) |
| c137 | | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: On the Dimensionality of Voting Games. AAAI 2008: 69-74 |
| c136 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672 |
| c135 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems. AAMAS (2) 2008: 747-754 |
| c134 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An anytime approximation method for the inverse Shapley value problem. AAMAS (2) 2008: 935-942 |
| c133 | | Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael Wooldridge: Evaluation of election outcomes under uncertainty. AAMAS (2) 2008: 959-966 |
| c132 | | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: A tractable and expressive class of marginal contribution nets and its applications. AAMAS (2) 2008: 1007-1014 |
| c131 | | Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge: Cooperative Boolean games. AAMAS (2) 2008: 1015-1022 |
| c130 | | Tomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge: Optimal Coalition Structure Generation In Partition Function Games. ECAI 2008: 388-392 |
| c129 | | Tomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge: Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms. KRAMAS 2008: 99-113 |
| c128 | | |
| c127 | | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge: Model Checking Strategic Equilibria. MoChArt 2008: 166-188 |
| 2007 | ||
| j64 | | Renata Vieira, Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. (JAIR) 29: 221-267 (2007) |
| j63 | | Paul E. Dunne, Wiebe van der Hoek, Michael Wooldridge: A logical characterisation of qualitative coalitional games. Journal of Applied Non-Classical Logics 17(4): 477-509 (2007) |
| j62 | | Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge: Logic-Based Agent Verification. J. Applied Logic 5(2): 193-195 (2007) |
| j61 | | Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: Towards a theory of intention revision. Synthese 155(2): 265-290 (2007) |
| j60 | | Wiebe van der Hoek, Mark Roberts, Michael Wooldridge: Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1): 1-19 (2007) |
| j59 | | Shamimabi Paurobally, Valentina A. M. Tamma, Michael Wooldridge: A Framework for Web service negotiation. TAAS 2(4) (2007) |
| c126 | | Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek: Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-17 |
| c125 | | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: Computational Complexity of Weighted Threshold Games. AAAI 2007: 718-723 |
| c124 | | Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge: On the Relevance of Utterances in Formal Inter-agent Dialogues. ArgMAS 2007: 47-62 |
| c123 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Sequential Auctions in Uncertain Information Settings. AMEC/TADA 2007: 16-29 |
| c122 | | Shamimabi Paurobally, Michael Wooldridge: Joint conversation specification and compliance. AAMAS 2007: 30 |
| c121 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about judgment and preference aggregation. AAMAS 2007: 85 |
| c120 | | |
| c119 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Approximate and online multi-issue negotiation. AAMAS 2007: 156 |
| c118 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A randomized method for the shapley value for the voting game. AAMAS 2007: 157 |
| c117 | | Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge: On the relevance of utterances in formal inter-agent dialogues. AAMAS 2007: 240 |
| c116 | | Shamimabi Paurobally, Chris van Aart, Valentina A. M. Tamma, Michael Wooldridge, Peter van Hapert: Web services negotiation in an insurance grid. AAMAS 2007: 275 |
| c115 | | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. Normative Multi-agent Systems 2007 |
| c114 | | Shamimabi Paurobally, Michael Wooldridge: Joint Conversation Specification and Compliance. DALT 2007: 18-35 |
| c113 | | Minghua He, Xudong Luo, Nicholas R. Jennings, Michael Wooldridge: Forming Fuzzy Coalitions in Cooperative Superadditive Games. ICEBE 2007: 221-228 |
| c112 | | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. IJCAI 2007: 1175-1180 |
| c111 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified Coalition Logic. IJCAI 2007: 1181-1186 |
| c110 | | Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139 |
| c109 | | Dirk Walther, Wiebe van der Hoek, Michael Wooldridge: Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278 |
| 2006 | ||
| j58 | | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006) |
| j57 | | Michael Wooldridge, Paul E. Dunne: On the computational complexity of coalitional resource games. Artif. Intell. 170(10): 835-871 (2006) |
| j56 | | 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) |
| j55 | | Paolo Ballarini, Michael Fisher, Michael Wooldridge: Automated Game Analysis via Probabilistic Model Checking: a case study. Electr. Notes Theor. Comput. Sci. 149(2): 125-137 (2006) |
| j54 | | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006) |
| j53 | | Michael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons: Model Checking for Multiagent Systems: the Mable Language and its Applications. International Journal on Artificial Intelligence Tools 15(2): 195-226 (2006) |
| j52 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Multi-Issue Negotiation with Deadlines. J. Artif. Intell. Res. (JAIR) 27: 381-417 (2006) |
| j51 | | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Knowledge Condition Games. Journal of Logic, Language and Information 15(4): 425-452 (2006) |
| j50 | | Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006) |
| j49 | | Sieuwert van Otterloo, Michael Wooldridge, Peter McBurney: Foreword. Synthese 149(2): 255-256 (2006) |
| c108 | | Michael Wooldridge, Paul E. Dunne, Simon Parsons: On the Complexity of Linking Deductive and Abstract Argument Systems. AAAI 2006: 299-304 |
| c107 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: On Efficient Procedures for Multi-issue Negotiation. TADA/AMEC 2006: 31-45 |
| c106 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of coalitional games. AAMAS 2006: 153-160 |
| c105 | | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Temporal qualitative coalitional games. AAMAS 2006: 177-184 |
| c104 | | Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge: Reasoning about action and cooperation. AAMAS 2006: 185-192 |
| c103 | | Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge: On the complexity of practical ATL model checking. AAMAS 2006: 201-208 |
| c102 | | Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293 |
| c101 | | Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140 |
| 2005 | ||
| j48 | | Paul E. Dunne, Michael Wooldridge, Michael Laurence: The complexity of contract negotiation. Artif. Intell. 164(1-2): 23-46 (2005) |
| j47 | | Wiebe van der Hoek, Michael Wooldridge: On the logic of cooperation and propositional control. Artif. Intell. 164(1-2): 81-119 (2005) |
| j46 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. Artif. Intell. Rev. 23(2): 187-205 (2005) |
| j45 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Bargaining with incomplete information. Ann. Math. Artif. Intell. 44(3): 207-232 (2005) |
| j44 | | Michael Wooldridge, Paul E. Dunne: The complexity of agent design problems: Determinism and history dependence. Ann. Math. Artif. Intell. 45(3-4): 343-371 (2005) |
| j43 | | |
| j42 | | Valentina A. M. Tamma, Steve Phelps, Ian Dickinson, Michael Wooldridge: Ontologies for supporting negotiation in e-commerce. Eng. Appl. of AI 18(2): 223-236 (2005) |
| j41 | | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005) |
| j40 | | Michael Wooldridge, Wiebe van der Hoek: On obligations and normative ability: Towards a logical analysis of the social contract. J. Applied Logic 3(3-4): 396-420 (2005) |
| c100 | | Michael Wooldridge, Peter McBurney, Simon Parsons: On the Meta-logic of Arguments. ArgMAS 2005: 42-56 |
| c99 | | Jonathan Himoff, Petr Skobelev, Michael Wooldridge: MAGENTA technology: multi-agent systems for industrial logistics. AAMAS Industrial Applications 2005: 60-66 |
| c98 | | Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: A logic for strategic reasoning. AAMAS 2005: 157-164 |
| c97 | | Michael Wooldridge, Peter McBurney, Simon Parsons: On the meta-logic of arguments. AAMAS 2005: 560-567 |
| c96 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Sequential auctions for objects with common and private values. AAMAS 2005: 635-642 |
| c95 | | Wiebe van der Hoek, Mark Roberts, Michael Wooldridge: Knowledge and social laws. AAMAS 2005: 674-681 |
| c94 | | Wiebe van der Hoek, Michael Wooldridge: On the dynamics of delegation, cooperation, and control: a logical account. AAMAS 2005: 701-708 |
| c93 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An analysis of the shapley value and its uncertainty for the voting game. AAMAS 2005: 1201-1202 |
| c92 | | Sylvie Doutre, Peter McBurney, Michael Wooldridge: Law-governed Linda as a semantics for agent dialogue protocols. AAMAS 2005: 1257-1258 |
| c91 | | Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523 |
| c90 | | 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 |
| c89 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: A Model for Multi-issue Negotiation. IICAI 2005: 2992-3008 |
| c88 | | Valentina A. M. Tamma, Chris van Aart, Thierry Moyaux, Shamimabi Paurobally, Ben Lithgow Smith, Michael Wooldridge: An Ontological Framework for Dynamic Coordination. International Semantic Web Conference 2005: 638-652 |
| c87 | | Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge: Introducing Autonomic Behaviour in Semantic Web Agents. International Semantic Web Conference 2005: 653-667 |
| e8 | | Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge (Eds.): 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. ACM 2005, isbn 1-59593-094-9 |
| 2004 | ||
| j39 | | Sieuwert van Otterloo, Wiebe Der, Michael Wooldridge: Model Checking A Knowledge Exchange Scenario. Applied Artificial Intelligence 18(9-10): 937-952 (2004) |
| j38 | | Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael Wooldridge: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems 9(1-2): 5-53 (2004) |
| j37 | | Michael Wooldridge: Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7. Autonomous Agents and Multi-Agent Systems 10(1): 91-93 (2004) |
| j36 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: An agenda-based framework for multi-issue negotiation. Artif. Intell. 152(1): 1-45 (2004) |
| j35 | | Michael Wooldridge, Paul E. Dunne: On the computational complexity of qualitative coalitional games. Artif. Intell. 158(1): 27-73 (2004) |
| j34 | | 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) |
| j33 | | Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael Wooldridge: Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. Ann. Math. Artif. Intell. 41(2-4): 135-169 (2004) |
| j32 | | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface: Volume 85, Issue 2. Electr. Notes Theor. Comput. Sci. 85(2): 81 (2004) |
| j31 | | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Knowledge as Strategic Ability. Electr. Notes Theor. Comput. Sci. 85(2): 152-175 (2004) |
| j30 | | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004) |
| j29 | | Steve Phelps, Valentina A. M. Tamma, Michael Wooldridge, Ian Dickinson: Toward Open Negotiation. IEEE Internet Computing 8(2): 70-75 (2004) |
| j28 | | Martijn C. Schut, Michael Wooldridge, Simon Parsons: The theory and practice of intention reconsideration. J. Exp. Theor. Artif. Intell. 16(4): 261-293 (2004) |
| c86 | | Simon Parsons, Peter McBurney, Michael Wooldridge: Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. ArgMAS 2004: 1-18 |
| c85 | | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Preferences in Game Logics. AAMAS 2004: 152-159 |
| c84 | | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903 |
| c83 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal Negotiation of Multiple Issues in Incomplete Information Settings. AAMAS 2004: 1080-1087 |
| c82 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Revenue Maximising Agendas for Sequential English Auctions. AAMAS 2004: 1432-1433 |
| c81 | | |
| c80 | | Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: On Obligations and Abilities. DEON 2004: 165-181 |
| c79 | | Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge: SERSE: Searching for Semantic Web Content. ECAI 2004: 63-67 |
| c78 | | Paul E. Dunne, Michael Laurence, Michael Wooldridge: Tractability Results for Automatic Contracting. ECAI 2004: 1003-1004 |
| c77 | | Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge: SERSE: Searching for Digital Content in Esperonto. EKAW 2004: 419-432 |
| 2003 | ||
| j27 | | Katia P. Sycara, Michael Wooldridge: In Appreciation. Autonomous Agents and Multi-Agent Systems 6(1): 5 (2003) |
| j26 | | |
| j25 | | Wiebe van der Hoek, Michael Wooldridge: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2): 135-159 (2003) |
| j24 | | Simon Parsons, Michael Wooldridge, Leila Amgoud: Properties and Complexity of Some Formal Inter-agent Dialogues. J. Log. Comput. 13(3): 347-376 (2003) |
| j23 | | |
| j22 | | Wiebe van der Hoek, Michael Wooldridge: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica 75(1): 125-157 (2003) |
| j21 | | Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge: Developing multiagent systems: The Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12(3): 317-370 (2003) |
| c76 | | Marc-Philippe Huget, Michael Wooldridge: Model Checking for ACL Compliance Verification. Workshop on Agent Communication Languages 2003: 75-90 |
| c75 | | Simon Parsons, Peter McBurney, Michael Wooldridge: The Mechanics of Some Formal Inter-agent Dialogues. Workshop on Agent Communication Languages 2003: 329-348 |
| c74 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal agendas for multi-issue negotiation. AAMAS 2003: 129-136 |
| c73 | | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416 |
| c72 | | Simon Parsons, Michael Wooldridge, Leila Amgoud: On the outcomes of formal inter-agent dialogues. AAMAS 2003: 616-623 |
| c71 | | Ian Dickinson, Michael Wooldridge: Towards practical reasoning agents for the semantic web. AAMAS 2003: 827-834 |
| c70 | | Marc-Philippe Huget, Michael Wooldridge: Model checking for ACL compliance verification. AAMAS 2003: 1016-1017 |
| c69 | | Christos Stergiou, Geert Arys, Michael Wooldridge: A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns. AAMAS 2003: 1126-1127 |
| c68 | | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113 |
| c67 | | Ian Dickinson, Michael Wooldridge: An initial response to the OAS'03 challenge problem. OAS 2003: 63- |
| c66 | | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89 |
| 2002 | ||
| b1 | | Michael J. Wooldridge: Introduction to multiagent systems. Wiley 2002, isbn 978-0-471-49691-5, pp. I-XVIII, 1-348 |
| j20 | | Simon Parsons, Michael Wooldridge: Game Theory and Decision Theory in Multi-Agent Systems. Autonomous Agents and Multi-Agent Systems 5(3): 243-254 (2002) |
| c65 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: The Influence of Information on Negotiation Equilibrium. AMEC 2002: 180-193 |
| c64 | | Valentina A. M. Tamma, Michael Wooldridge, Ian Blacoe, Ian Dickinson: An Ontology Based Approach to Automated Negotiation. AMEC 2002: 219-237 |
| c63 | | Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge: Re-use of Interaction Protocols for Agent-Based Control Applications. AOSE 2002: 73-87 |
| c62 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Multi-issue negotiation under time constraints. AAMAS 2002: 143-150 |
| c61 | | Simon Parsons, Michael Wooldridge, Leila Amgoud: An analysis of formal inter-agent dialogues. AAMAS 2002: 394-401 |
| c60 | | Peter McBurney, Simon Parsons, Michael Wooldridge: Desiderata for agent argumentation protocols. AAMAS 2002: 402-409 |
| c59 | | Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons: Model checking multi-agent systems with MABLE. AAMAS 2002: 952-959 |
| c58 | | Paul E. Dunne, Michael Wooldridge, Michael Laurence: The computational complexity of boolean and stochastic agent design problems. AAMAS 2002: 976-983 |
| c57 | | Wiebe van der Hoek, Michael Wooldridge: Tractable multiagent planning for epistemic goals. AAMAS 2002: 1167-1174 |
| c56 | | Michael Wooldridge, Wiebe van der Hoek: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002: 4 |
| c55 | | Michael Wooldridge: Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. KI 2002: 318 |
| c54 | | |
| c53 | | Martijn C. Schut, Michael Wooldridge, Simon Parsons: On Partially Observable MDPs and BDI Models. Foundations and Applications of Multi-Agent Systems 2002: 243-260 |
| e7 | | Michael Wooldridge, Gerhard Weiß, Paolo Ciancarini (Eds.): Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions. Lecture Notes in Computer Science 2222, Springer 2002, isbn 3-540-43282-5 |
| 2001 | ||
| j19 | | Michael Wooldridge, Alessio Lomuscio: A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Logic Journal of the IGPL 9(2): 257-272 (2001) |
| j18 | | Paolo Ciancarini, Michael Wooldridge: Agent-Based Software Engineering - Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 11(3): 205-206 (2001) |
| j17 | | 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) |
| p2 | | 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 |
| c52 | | Alessio Lomuscio, Michael Wooldridge, Nicholas R. Jennings: A Classification Scheme for Negotiation in Electronic Commerce. AgentLink 2001: 19-33 |
| c51 | | |
| c50 | | S. Shaheen Fatima, Michael Wooldridge: Adaptive task resources allocation in multi-agent systems. Agents 2001: 537-544 |
| c49 | | Wamberto Weber Vasconcelos, David Stuart Robertson, Jaume Agustí-Cullell, Carles Sierra, Michael Wooldridge, Simon Parsons, Christopher Walton, Jordi Sabater: A Lifecycle for Models of Large Multi-agent Systems. AOSE 2001: 297-318 |
| c48 | | Michael Wooldridge, Paul E. Dunne: The Computational Complexity of Agent Verification. ATAL 2001: 115-127 |
| c47 | | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings: Optimal Negotiation Strategies for Agents with Incomplete Information. ATAL 2001: 377-392 |
| c46 | | Martijn C. Schut, Michael Wooldridge, Simon Parsons: Reasoning about Intentions in Uncertain Domains. ECSQARU 2001: 84-95 |
| c45 | | Michael Wooldridge: Intelligent Agents: The Key Concepts. Multi-Agent-Systems and Applications 2001: 3-43 |
| e6 | | Paolo Ciancarini, Michael Wooldridge (Eds.): Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers. Lecture Notes in Computer Science 1957, Springer 2001, isbn 3-540-41594-7 |
| 2000 | ||
| j16 | | Michael Wooldridge: On the Sources of Complexity in Agent Design. Applied Artificial Intelligence 14(7): 623-644 (2000) |
| j15 | | Michael Wooldridge: Semantic Issues in the Verification of Agent Communication Languages. Autonomous Agents and Multi-Agent Systems 3(1): 9-31 (2000) |
| j14 | | 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) |
| j13 | | Michael Wooldridge, Keith Decker: Guest Editors' Introduction: Infrastructure, Technology, Applications. IEEE Internet Computing 4(2): 46-48 (2000) |
| j12 | | Carles Sierra, Michael Wooldridge, Norman M. Sadeh: Agents on the Web: Agent Research and Development in Europe. IEEE Internet Computing 4(5): 81-83 (2000) |
| c44 | | Martijn C. Schut, Michael Wooldridge: Intention reconsideration in complex environments. Agents 2000: 209-216 |
| c43 | | Michael Wooldridge, Simon Parsons: Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages. AMEC 2000: 70-83 |
| c42 | | Michael Wooldridge, Paolo Ciancarini: Agent-Oriented Software Engineering: The State of the Art. AOSE 2000: 1-28 |
| c41 | | Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge: On the Identification of Agents in the Design of Production Control Systems. AOSE 2000: 141-162 |
| c40 | | Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge: Organizational Abstractions for the Analysis and Design of Multi-agent Systems. AOSE 2000: 235-251 |
| c39 | | Michael Wooldridge, Paul E. Dunne: Optimistic and Disjunctive Agent Design Problems. ATAL 2000: 1-14 |
| c38 | | Joanna Bryson, Keith S. Decker, Scott A. DeLoach, Michael N. Huhns, Michael Wooldridge: Panel Summary: Agent Development Tools. ATAL 2000: 331-338 |
| c37 | | Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael Wooldridge: Intention Reconsideration in Theory and Practice. ECAI 2000: 378-382 |
| c36 | | |
| c35 | | |
| c34 | | |
| c33 | | Paolo Ciancarini, Michael Wooldridge: Agent-oriented software engineering (workshop). ICSE 2000: 816-817 |
| c32 | | |
| 1999 | ||
| e5 | | Michael Wooldridge, Manuela M. Veloso (Eds.): Artificial Intelligence Today: Recent Trends and Developments. Lecture Notes in Computer Science 1600, Springer 1999, isbn 3-540-66428-9 |
| j11 | | |
| j10 | | Michael Wooldridge, Nicholas R. Jennings: Software Engineering with Agents: Pitfalls and Pratfalls. IEEE Internet Computing 3(3): 20-27 (1999) |
| j9 | | Michael Wooldridge, Nicholas R. Jennings: The Cooperative Problem-solving Process. J. Log. Comput. 9(4): 563-592 (1999) |
| p1 | | Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael Wooldridge: Robots with the Best of Intentions. Artificial Intelligence Today 1999: 329-338 |
| c31 | | |
| c30 | | Michael Wooldridge, Nicholas R. Jennings, David Kinny: A Methodology for Agent-Oriented Analysis and Design. Agents 1999: 69-76 |
| c29 | | Michael Wooldridge, Alessio Lomuscio: Reasoning about Visibility, Perception and Knowledge. ATAL 1999: 1-12 |
| c28 | | Stefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael Wooldridge: Agent-Oriented Software Engineering. ATAL 1999: 248-249 |
| 1998 | ||
| j8 | | 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) |
| j7 | | 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): 225-258 (1998) |
| j6 | | Nicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia: Editorial. J. Log. Comput. 8(3): 231-232 (1998) |
| j5 | | Clare Dixon, Michael Fisher, Michael Wooldridge: Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998) |
| c27 | | Michael Wooldridge, Nicholas R. Jennings: Pitfalls of Agent-Oriented Development. Agents 1998: 385-391 |
| c26 | | Michael P. Georgeff, Barney Pell, Martha E. Pollack, Milind Tambe, Michael Wooldridge: The Belief-Desire-Intention Model of Agency. ATAL 1998: 1-10 |
| c25 | | |
| c24 | | Michael Wooldridge, Jörg P. Müller: A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series. ATAL 1998: 427-441 |
| c23 | | Michael Wooldridge: A Knowledge-theoretic Approach to Distributed Problem Solving. ECAI 1998: 308-312 |
| c22 | | |
| e4 | | Munindar P. Singh, Anand S. Rao, Michael Wooldridge (Eds.): Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings. Lecture Notes in Computer Science 1365, Springer 1998, isbn 3-540-64162-9 |
| 1997 | ||
| j4 | | Innes A. Ferguson, Michael J. Wooldridge: Paying Their Way: Commercial Digital Libraries for the 21st Century. D-Lib Magazine 3(6) (1997) |
| j3 | | Michael Wooldridge: Agent-based software engineering. IEE Proceedings - Software 144(1): 26-37 (1997) |
| j2 | | Michael Fisher, Michael Wooldridge: On the Formal Specification and Verification of Multi-Agent Systems. Int. J. Cooperative Inf. Syst. 6(1): 37-66 (1997) |
| c21 | | Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge: A Formal Specification of dMARS. ATAL 1997: 155-176 |
| c20 | | Michael Wooldridge, Afsaneh Haddadi: Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 15-30 |
| c19 | | Hyacinth S. Nwana, Michael Wooldridge: Sofware Agent Technologies. Software Agents and Soft Computing 1997: 59-78 |
| c18 | | |
| c17 | | |
| c16 | | Michael Fisher, Michael Wooldridge: Distributed Problem-Solving as Concurrent Theorem Proving. MAAMAW 1997: 128-140 |
| c15 | | David Derbyshire, Innes A. Ferguson, Jörg P. Müller, Markus Pischel, Michael Wooldridge: Agent-Based Digital Libraries: Driving the Information Economy. WETICE 1997: 82-86 |
| e3 | | Jörg P. Müller, Michael Wooldridge, Nicholas R. Jennings (Eds.): Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings. Lecture Notes in Computer Science 1193, Springer 1997, isbn 3-540-62507-0 |
| 1996 | ||
| c14 | | Michael Wooldridge: Agents as a Rorschach Test: A Response to Franklin and Graesser. ATAL 1996: 47-48 |
| c13 | | |
| c12 | | Michael Fisher, Michael Wooldridge, Clare Dixon: A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996: 178-192 |
| c11 | | |
| e2 | | Michael Wooldridge, Jörg P. Müller, Milind Tambe (Eds.): Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1037, Springer 1996, isbn 3-540-60805-2 |
| 1995 | ||
| j1 | | Nicholas R. Jennings, Michael Wooldridge: Applying agent technology. Applied Artificial Intelligence 9(4): 357-369 (1995) |
| c10 | | |
| c9 | | Michael Wooldridge, Jörg P. Müller, Milind Tambe: Agent Theories, Architectures, and Languages: A Bibliography. ATAL 1995: 408-431 |
| c8 | | Adam Walker, Michael Wooldridge: Understanding the Emergence of Conventions in Multi-Agent Systems. ICMAS 1995: 384-389 |
| e1 | | Michael Wooldridge, Nicholas R. Jennings (Eds.): Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings. Lecture Notes in Computer Science 890, Springer 1995, isbn 3-540-58855-8 |
| 1994 | ||
| c7 | | |
| c6 | | Michael Wooldridge, Nicholas R. Jennings: Agent Theories, Architectures, and Languages: A Survey. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 1-39 |
| c5 | | Michael Wooldridge: This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 160-178 |
| c4 | | Michael Wooldridge, Michael Fisher: A Decision Procedure for a Temporal Belief Logic. ICTL 1994: 317-331 |
| c3 | | Michael Wooldridge, Nicholas R. Jennings: Towards a Theory of Cooperative Problem Solving. MAAMAW 1994: 40-53 |
| 1993 | ||
| c2 | | Michael Fisher, Michael Wooldridge: Specifying and Verifying Distributed Intelligence Systems. EPIA 1993: 13-28 |
| 1992 | ||
| c1 | | Michael Wooldridge, Michael Fisher: A First-Order Branching Time Logic of Multi-Agent System. ECAI 1992: 234-238 |
Colors in the list of coauthors
Last update Tue May 21 10:50:30 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page