The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Wooldridge: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Wooldridge, Nicholas R. Jennings
    Agent Theories, Architectures, and Languages: A Survey. [Citation Graph (1, 0)][DBLP]
    ECAI Workshop on Agent Theories, Architectures, and Languages, 1994, pp:1-39 [Conf]
  2. Michael Wooldridge
    Verifying that Agents Implement a Communication Language. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:52-57 [Conf]
  3. Michael Wooldridge, Paul E. Dunne, Simon Parsons
    On the Complexity of Linking Deductive and Abstract Argument Systems. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  4. Marc-Philippe Huget, Michael Wooldridge
    Model Checking for ACL Compliance Verification. [Citation Graph (0, 0)][DBLP]
    Workshop on Agent Communication Languages, 2003, pp:75-90 [Conf]
  5. Simon Parsons, Peter McBurney, Michael Wooldridge
    The Mechanics of Some Formal Inter-agent Dialogues. [Citation Graph (0, 0)][DBLP]
    Workshop on Agent Communication Languages, 2003, pp:329-348 [Conf]
  6. Alessio Lomuscio, Michael Wooldridge, Nicholas R. Jennings
    A Classification Scheme for Negotiation in Electronic Commerce. [Citation Graph (0, 0)][DBLP]
    AgentLink, 2001, pp:19-33 [Conf]
  7. S. Shaheen Fatima, Michael Wooldridge
    Adaptive task resources allocation in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    Agents, 2001, pp:537-544 [Conf]
  8. Martijn C. Schut, Michael Wooldridge
    Intention reconsideration in complex environments. [Citation Graph (0, 0)][DBLP]
    Agents, 2000, pp:209-216 [Conf]
  9. Martijn C. Schut, Michael Wooldridge
    Principles of intention reconsideration. [Citation Graph (0, 0)][DBLP]
    Agents, 2001, pp:340-347 [Conf]
  10. Michael Wooldridge, Nicholas R. Jennings
    Pitfalls of Agent-Oriented Development. [Citation Graph (0, 0)][DBLP]
    Agents, 1998, pp:385-391 [Conf]
  11. Michael Wooldridge, Nicholas R. Jennings, David Kinny
    A Methodology for Agent-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP]
    Agents, 1999, pp:69-76 [Conf]
  12. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    The Influence of Information on Negotiation Equilibrium. [Citation Graph (0, 0)][DBLP]
    AMEC, 2002, pp:180-193 [Conf]
  13. Valentina A. M. Tamma, Michael Wooldridge, Ian Blacoe, Ian Dickinson
    An Ontology Based Approach to Automated Negotiation. [Citation Graph (0, 0)][DBLP]
    AMEC, 2002, pp:219-237 [Conf]
  14. Michael Wooldridge, Simon Parsons
    Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages. [Citation Graph (0, 0)][DBLP]
    AMEC, 2000, pp:70-83 [Conf]
  15. 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. [Citation Graph (0, 0)][DBLP]
    AOSE, 2001, pp:297-318 [Conf]
  16. Michael Wooldridge, Paolo Ciancarini
    Agent-Oriented Software Engineering: The State of the Art. [Citation Graph (0, 0)][DBLP]
    AOSE, 2000, pp:1-28 [Conf]
  17. Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge
    On the Identification of Agents in the Design of Production Control Systems. [Citation Graph (0, 0)][DBLP]
    AOSE, 2000, pp:141-162 [Conf]
  18. Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge
    Re-use of Interaction Protocols for Agent-Based Control Applications. [Citation Graph (0, 0)][DBLP]
    AOSE, 2002, pp:73-87 [Conf]
  19. Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge
    Organizational Abstractions for the Analysis and Design of Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    AOSE, 2000, pp:235-251 [Conf]
  20. Simon Parsons, Peter McBurney, Michael Wooldridge
    Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues. [Citation Graph (0, 0)][DBLP]
    ArgMAS, 2004, pp:1-18 [Conf]
  21. Michael Wooldridge, Peter McBurney, Simon Parsons
    On the Meta-logic of Arguments. [Citation Graph (0, 0)][DBLP]
    ArgMAS, 2005, pp:42-56 [Conf]
  22. Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
    On the logic of coalitional games. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:153-160 [Conf]
  23. Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
    Temporal qualitative coalitional games. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:177-184 [Conf]
  24. Joanna Bryson, Keith S. Decker, Scott A. DeLoach, Michael N. Huhns, Michael Wooldridge
    Panel Summary: Agent Development Tools. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:331-338 [Conf]
  25. Stefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael Wooldridge
    Agent-Oriented Software Engineering. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:248-249 [Conf]
  26. Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge
    Model checking agentspeak. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:409-416 [Conf]
  27. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    State-Space Reduction Techniques in Agent Verification. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:896-903 [Conf]
  28. Ian Dickinson, Michael Wooldridge
    Towards practical reasoning agents for the semantic web. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:827-834 [Conf]
  29. Sylvie Doutre, Peter McBurney, Michael Wooldridge
    Law-governed Linda as a semantics for agent dialogue protocols. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1257-1258 [Conf]
  30. Paul E. Dunne, Michael Wooldridge, Michael Laurence
    The computational complexity of boolean and stochastic agent design problems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:976-983 [Conf]
  31. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Optimal Negotiation Strategies for Agents with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:377-392 [Conf]
  32. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Multi-issue negotiation under time constraints. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:143-150 [Conf]
  33. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Optimal agendas for multi-issue negotiation. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:129-136 [Conf]
  34. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Optimal Negotiation of Multiple Issues in Incomplete Information Settings. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:1080-1087 [Conf]
  35. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Revenue Maximising Agendas for Sequential English Auctions. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:1432-1433 [Conf]
  36. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Sequential auctions for objects with common and private values. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:635-642 [Conf]
  37. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    An analysis of the shapley value and its uncertainty for the voting game. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1201-1202 [Conf]
  38. Michael P. Georgeff, Barney Pell, Martha E. Pollack, Milind Tambe, Michael Wooldridge
    The Belief-Desire-Intention Model of Agency. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:1-10 [Conf]
  39. Jonathan Himoff, Petr Skobelev, Michael Wooldridge
    MAGENTA technology: multi-agent systems for industrial logistics. [Citation Graph (0, 0)][DBLP]
    AAMAS Industrial Applications, 2005, pp:60-66 [Conf]
  40. Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge
    A logic for strategic reasoning. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:157-164 [Conf]
  41. Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge
    On the complexity of practical ATL model checking. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:201-208 [Conf]
  42. Wiebe van der Hoek, Mark Roberts, Michael Wooldridge
    Knowledge and social laws. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:674-681 [Conf]
  43. Wiebe van der Hoek, Michael Wooldridge
    Tractable multiagent planning for epistemic goals. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:1167-1174 [Conf]
  44. Wiebe van der Hoek, Michael Wooldridge
    On the dynamics of delegation, cooperation, and control: a logical account. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:701-708 [Conf]
  45. Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge
    Plan patterns for declarative goals in AgentSpeak. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1291-1293 [Conf]
  46. Marc-Philippe Huget, Michael Wooldridge
    Model checking for ACL compliance verification. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1016-1017 [Conf]
  47. Peter McBurney, Simon Parsons, Michael Wooldridge
    Desiderata for agent argumentation protocols. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:402-409 [Conf]
  48. Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge
    Preferences in Game Logics. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:152-159 [Conf]
  49. Simon Parsons, Michael Wooldridge, Leila Amgoud
    An analysis of formal inter-agent dialogues. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:394-401 [Conf]
  50. Simon Parsons, Michael Wooldridge, Leila Amgoud
    On the outcomes of formal inter-agent dialogues. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:616-623 [Conf]
  51. Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge
    Reasoning about action and cooperation. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:185-192 [Conf]
  52. 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. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1126-1127 [Conf]
  53. Michael Wooldridge
    Time, Knowledge, and Choice. [Citation Graph (0, 0)][DBLP]
    ATAL, 1995, pp:79-96 [Conf]
  54. Michael Wooldridge
    Agents as a Rorschach Test: A Response to Franklin and Graesser. [Citation Graph (0, 0)][DBLP]
    ATAL, 1996, pp:47-48 [Conf]
  55. Michael Wooldridge
    A Knowledge-Theoretic Semantics for Concurrent METATEM. [Citation Graph (0, 0)][DBLP]
    ATAL, 1996, pp:357-374 [Conf]
  56. Michael Wooldridge, Paul E. Dunne
    Optimistic and Disjunctive Agent Design Problems. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:1-14 [Conf]
  57. Michael Wooldridge, Paul E. Dunne
    The Computational Complexity of Agent Verification. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:115-127 [Conf]
  58. Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
    Model checking multi-agent systems with MABLE. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:952-959 [Conf]
  59. Michael Wooldridge, Alessio Lomuscio
    Reasoning about Visibility, Perception and Knowledge. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:1-12 [Conf]
  60. Michael Wooldridge, Jörg P. Müller
    A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:427-441 [Conf]
  61. Michael Wooldridge, Peter McBurney, Simon Parsons
    On the meta-logic of arguments. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:560-567 [Conf]
  62. Michael Wooldridge, Jörg P. Müller, Milind Tambe
    Agent Theories, Architectures, and Languages: A Bibliography. [Citation Graph (0, 0)][DBLP]
    ATAL, 1995, pp:408-431 [Conf]
  63. Michael Wooldridge, Simon Parsons
    Intention Reconsideration Reconsidered. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:63-79 [Conf]
  64. Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
    A Formal Specification of dMARS. [Citation Graph (0, 0)][DBLP]
    ATAL, 1997, pp:155-176 [Conf]
  65. Michael Wooldridge, Afsaneh Haddadi
    Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997, pp:15-30 [Conf]
  66. Hyacinth S. Nwana, Michael Wooldridge
    Sofware Agent Technologies. [Citation Graph (0, 0)][DBLP]
    Software Agents and Soft Computing, 1997, pp:59-78 [Conf]
  67. Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge
    Model Checking Multi-Agent Programs with CASP. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:110-113 [Conf]
  68. Michael Wooldridge
    Issues in Agent-Based Software Engineeing. [Citation Graph (0, 0)][DBLP]
    CIA, 1997, pp:1-18 [Conf]
  69. Michael Wooldridge, Wiebe van der Hoek
    Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:4- [Conf]
  70. Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge
    Programming Declarative Goals Using Plan Patterns. [Citation Graph (0, 0)][DBLP]
    DALT, 2006, pp:123-140 [Conf]
  71. Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
    On Obligations and Abilities. [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:165-181 [Conf]
  72. Michael Wooldridge
    Social Laws in Alternating Time. [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:2- [Conf]
  73. Paul E. Dunne, Michael Laurence, Michael Wooldridge
    Tractability Results for Automatic Contracting. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:1003-1004 [Conf]
  74. Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael Wooldridge
    Intention Reconsideration in Theory and Practice. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:378-382 [Conf]
  75. Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge
    SERSE: Searching for Semantic Web Content. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:63-67 [Conf]
  76. Michael Wooldridge
    Coherent Social Action. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:279-283 [Conf]
  77. Michael Wooldridge
    A Knowledge-theoretic Approach to Distributed Problem Solving. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:308-312 [Conf]
  78. Michael Wooldridge, Michael Fisher
    A First-Order Branching Time Logic of Multi-Agent System. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:234-238 [Conf]
  79. Michael Wooldridge, Simon Parsons
    Languages for Negotiation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:393-400 [Conf]
  80. Michael Wooldridge
    This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed. [Citation Graph (0, 0)][DBLP]
    ECAI Workshop on Agent Theories, Architectures, and Languages, 1994, pp:160-178 [Conf]
  81. Martijn C. Schut, Michael Wooldridge, Simon Parsons
    Reasoning about Intentions in Uncertain Domains. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:84-95 [Conf]
  82. Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge
    SERSE: Searching for Digital Content in Esperonto. [Citation Graph (0, 0)][DBLP]
    EKAW, 2004, pp:419-432 [Conf]
  83. Michael Fisher, Michael Wooldridge
    Specifying and Verifying Distributed Intelligence Systems. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:13-28 [Conf]
  84. Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
    Intentions and Strategies in Game-Like Scenarios. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:512-523 [Conf]
  85. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    An analysis of the Shapley Value and its Uncertainty for the Voting Game. [Citation Graph (0, 0)][DBLP]
    EUMAS, 2005, pp:480-481 [Conf]
  86. Michael Fisher, Michael Wooldridge, Clare Dixon
    A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:178-192 [Conf]
  87. Michael Wooldridge
    Practical Reasoning with Procedural Knowledge. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:663-678 [Conf]
  88. Adam Walker, Michael Wooldridge
    Understanding the Emergence of Conventions in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1995, pp:384-389 [Conf]
  89. Michael Wooldridge
    Computationally Grounded Theories of Agency. [Citation Graph (0, 0)][DBLP]
    ICMAS, 2000, pp:13-22 [Conf]
  90. Michael Wooldridge
    The Computational Complexity of Agent Design Problems. [Citation Graph (0, 0)][DBLP]
    ICMAS, 2000, pp:341-348 [Conf]
  91. Michael Wooldridge
    Verifiable Semantics for Agent Communication Languages. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1998, pp:349-356 [Conf]
  92. Paolo Ciancarini, Michael Wooldridge
    Agent-oriented software engineering (workshop). [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:816-817 [Conf]
  93. Michael Wooldridge, Michael Fisher
    A Decision Procedure for a Temporal Belief Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:317-331 [Conf]
  94. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    A Model for Multi-issue Negotiation. [Citation Graph (0, 0)][DBLP]
    IICAI, 2005, pp:2992-3008 [Conf]
  95. Mark d'Inverno, Michael Luck, Michael Wooldridge
    Cooperation Structures. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:600-605 [Conf]
  96. Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
    Quantified Coalition Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1181-1186 [Conf]
  97. Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge
    On the Logic of Normative Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1175-1180 [Conf]
  98. Michael Wooldridge, Alessio Lomuscio
    Multi-agent VSK Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:300-312 [Conf]
  99. Michael Wooldridge
    Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. [Citation Graph (0, 0)][DBLP]
    KI, 2002, pp:318- [Conf]
  100. Michael Wooldridge, Nicholas R. Jennings
    Towards a Theory of Cooperative Problem Solving. [Citation Graph (0, 0)][DBLP]
    MAAMAW, 1994, pp:40-53 [Conf]
  101. Michael Fisher, Michael Wooldridge
    Distributed Problem-Solving as Concurrent Theorem Proving. [Citation Graph (0, 0)][DBLP]
    MAAMAW, 1997, pp:128-140 [Conf]
  102. Michael Wooldridge
    Intelligent Agents: The Key Concepts. [Citation Graph (0, 0)][DBLP]
    Multi-Agent-Systems and Applications, 2001, pp:3-43 [Conf]
  103. Ian Dickinson, Michael Wooldridge
    An initial response to the OAS'03 challenge problem. [Citation Graph (0, 0)][DBLP]
    OAS, 2003, pp:63-0 [Conf]
  104. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Verifiable Multi-agent Programs. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2003, pp:72-89 [Conf]
  105. Valentina A. M. Tamma, Chris Aart, Thierry Moyaux, Shamimabi Paurobally, Ben Lithgow Smith, Michael Wooldridge
    An Ontological Framework for Dynamic Coordination. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:638-652 [Conf]
  106. Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge
    Introducing Autonomic Behaviour in Semantic Web Agents. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:653-667 [Conf]
  107. Wiebe van der Hoek, Michael Wooldridge
    Model Checking Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:95-111 [Conf]
  108. Martijn C. Schut, Michael Wooldridge, Simon Parsons
    On Partially Observable MDPs and BDI Models. [Citation Graph (0, 0)][DBLP]
    Foundations and Applications of Multi-Agent Systems, 2002, pp:243-260 [Conf]
  109. David Derbyshire, Innes A. Ferguson, Jörg P. Müller, Markus Pischel, Michael Wooldridge
    Agent-Based Digital Libraries: Driving the Information Economy. [Citation Graph (0, 0)][DBLP]
    WETICE, 1997, pp:82-86 [Conf]
  110. Nicholas R. Jennings, Michael Wooldridge
    Applying agent technology. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1995, v:9, n:4, pp:357-369 [Journal]
  111. Sieuwert van Otterloo, Wiebe Der, Michael Wooldridge
    Model Checking A Knowledge Exchange Scenario. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2004, v:18, n:9-10, pp:937-952 [Journal]
  112. Michael Wooldridge
    On the Sources of Complexity in Agent Design. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2000, v:14, n:7, pp:623-644 [Journal]
  113. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Verifying Multi-agent Programs by Model Checking. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2006, v:12, n:2, pp:239-256 [Journal]
  114. Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael Wooldridge
    The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2004, v:9, n:1-2, pp:5-53 [Journal]
  115. Simon Parsons, Michael Wooldridge
    Game Theory and Decision Theory in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2002, v:5, n:3, pp:243-254 [Journal]
  116. Nicholas R. Jennings, Katia P. Sycara, Michael Wooldridge
    A Roadmap of Agent Research and Development. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 1998, v:1, n:1, pp:7-38 [Journal]
  117. Katia P. Sycara, Michael Wooldridge
    In Appreciation. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2003, v:6, n:1, pp:5- [Journal]
  118. Michael Wooldridge
    Semantic Issues in the Verification of Agent Communication Languages. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2000, v:3, n:1, pp:9-31 [Journal]
  119. Michael Wooldridge
    Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2004, v:10, n:1, pp:91-93 [Journal]
  120. Michael Wooldridge
    Editorial. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 1999, v:2, n:1, pp:5- [Journal]
  121. Michael Wooldridge, Nicholas R. Jennings, David Kinny
    The Gaia Methodology for Agent-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2000, v:3, n:3, pp:285-312 [Journal]
  122. Paul E. Dunne, Michael Wooldridge, Michael Laurence
    The complexity of contract negotiation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:23-46 [Journal]
  123. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    An agenda-based framework for multi-issue negotiation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:152, n:1, pp:1-45 [Journal]
  124. Wiebe van der Hoek, Michael Wooldridge
    On the logic of cooperation and propositional control. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:81-119 [Journal]
  125. Michael Wooldridge, Paul E. Dunne
    On the computational complexity of qualitative coalitional games. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:158, n:1, pp:27-73 [Journal]
  126. Michael Wooldridge, Paul E. Dunne
    On the computational complexity of coalitional resource games. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:10, pp:835-871 [Journal]
  127. Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge
    Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2006, v:27, n:1, pp:103-107 [Journal]
  128. Jeffrey S. Rosenschein, Michael Wooldridge
    Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2004, v:25, n:1, pp:105-106 [Journal]
  129. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 2005, v:23, n:2, pp:187-205 [Journal]
  130. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Bargaining with incomplete information. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2005, v:44, n:3, pp:207-232 [Journal]
  131. Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael Wooldridge
    Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:135-169 [Journal]
  132. Michael Wooldridge, Paul E. Dunne
    The complexity of agent design problems: Determinism and history dependence. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2005, v:45, n:3-4, pp:343-371 [Journal]
  133. Paolo Ballarini, Michael Fisher, Michael Wooldridge
    Automated Game Analysis via Probabilistic Model Checking: a case study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:125-137 [Journal]
  134. Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:1-2 [Journal]
  135. Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:1-2 [Journal]
  136. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Model Checking Rational Agents. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2004, v:19, n:5, pp:46-52 [Journal]
  137. Michael Wooldridge
    Agent-based software engineering. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1997, v:144, n:1, pp:26-37 [Journal]
  138. Wiebe van der Hoek, Michael Wooldridge
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:2, pp:- [Journal]
  139. Wiebe van der Hoek, Michael Wooldridge
    Towards a Logic of Rational Agency. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:2, pp:135-159 [Journal]
  140. Michael Wooldridge, Alessio Lomuscio
    A Computationally Grounded Logic of Visibility, Perception, and Knowledge. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  141. Michael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons
    Model Checking for Multiagent Systems: the Mable Language and its Applications. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:2, pp:195-226 [Journal]
  142. Michael Fisher, Michael Wooldridge
    On the Formal Specification and Verification of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:37-66 [Journal]
  143. Paolo Ciancarini, Michael Wooldridge
    Agent-Based Software Engineering - Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:3, pp:205-206 [Journal]
  144. Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge
    Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:3, pp:303-328 [Journal]
  145. Steve Phelps, Valentina A. M. Tamma, Michael Wooldridge, Ian Dickinson
    Toward Open Negotiation. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 2004, v:8, n:2, pp:70-75 [Journal]
  146. Carles Sierra, Michael Wooldridge, Norman M. Sadeh
    Agents on the Web: Agent Research and Development in Europe. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 2000, v:4, n:5, pp:81-83 [Journal]
  147. Michael Wooldridge, Keith Decker
    Guest Editors' Introduction: Infrastructure, Technology, Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 2000, v:4, n:2, pp:46-48 [Journal]
  148. Michael Wooldridge, Nicholas R. Jennings
    Software Engineering with Agents: Pitfalls and Pratfalls. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 1999, v:3, n:3, pp:20-27 [Journal]
  149. Michael Wooldridge, Clare Dixon, Michael Fisher
    A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1998, v:8, n:3, pp:- [Journal]
  150. Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge
    Logic-Based Agent Verification. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:193-195 [Journal]
  151. Michael Wooldridge, Wiebe van der Hoek
    On obligations and normative ability: Towards a logical analysis of the social contract. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2005, v:3, n:3-4, pp:396-420 [Journal]
  152. Nicholas R. Jennings, Michael Wooldridge
    Agent Technology: Foundations, Applications and Markets. [Citation Graph (0, 0)][DBLP]
    J. Artificial Societies and Social Simulation, 1999, v:2, n:4, pp:- [Journal]
  153. Michael Wooldridge
    Reasoning about Rational Agents. [Citation Graph (0, 0)][DBLP]
    J. Artificial Societies and Social Simulation, 2002, v:5, n:1, pp:- [Journal]
  154. Michael Wooldridge
    An Introduction to Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    J. Artificial Societies and Social Simulation, 2004, v:7, n:3, pp:- [Journal]
  155. Martijn C. Schut, Michael Wooldridge, Simon Parsons
    The theory and practice of intention reconsideration. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 2004, v:16, n:4, pp:261-293 [Journal]
  156. Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge
    Knowledge Condition Games. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2006, v:15, n:4, pp:425-452 [Journal]
  157. Clare Dixon, Michael Fisher, Michael Wooldridge
    Resolution for Temporal Logics of Knowledge. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:3, pp:345-372 [Journal]
  158. Nicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:3, pp:231-232 [Journal]
  159. Simon Parsons, Michael Wooldridge, Leila Amgoud
    Properties and Complexity of Some Formal Inter-agent Dialogues. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:3, pp:347-376 [Journal]
  160. Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge
    ATL Satisfiability is Indeed EXPTIME-complete. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:6, pp:765-787 [Journal]
  161. Michael Wooldridge, Nicholas R. Jennings
    The Cooperative Problem-solving Process. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:4, pp:563-592 [Journal]
  162. Wiebe van der Hoek, Michael Wooldridge
    Preface. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:1, pp:3-5 [Journal]
  163. Wiebe van der Hoek, Michael Wooldridge
    Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:1, pp:125-157 [Journal]
  164. Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge
    Developing multiagent systems: The Gaia methodology. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:3, pp:317-370 [Journal]
  165. Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek
    Logic for Automated Mechanism Design - A Progress Report. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:9-0 [Conf]
  166. Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge
    Computational Complexity of Weighted Threshold Games. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:718-723 [Conf]
  167. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    On Efficient Procedures for Multi-issue Negotiation. [Citation Graph (0, 0)][DBLP]
    TADA/AMEC, 2006, pp:31-45 [Conf]
  168. Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge
    On the Logic of Normative Systems. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  169. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
    Multi-Issue Negotiation with Deadlines. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:27, n:, pp:381-417 [Journal]

  170. On the Dimensionality of Voting Games. [Citation Graph (, )][DBLP]


  171. Intentions in Equilibrium. [Citation Graph (, )][DBLP]


  172. On the Relevance of Utterances in Formal Inter-agent Dialogues. [Citation Graph (, )][DBLP]


  173. Normative system games. [Citation Graph (, )][DBLP]


  174. A randomized method for the shapley value for the voting game. [Citation Graph (, )][DBLP]


  175. On the relevance of utterances in formal inter-agent dialogues. [Citation Graph (, )][DBLP]


  176. Joint conversation specification and compliance. [Citation Graph (, )][DBLP]


  177. Approximate and online multi-issue negotiation. [Citation Graph (, )][DBLP]


  178. Web services negotiation in an insurance grid. [Citation Graph (, )][DBLP]


  179. Reasoning about judgment and preference aggregation. [Citation Graph (, )][DBLP]


  180. Robust normative systems. [Citation Graph (, )][DBLP]


  181. An anytime approximation method for the inverse Shapley value problem. [Citation Graph (, )][DBLP]


  182. Evaluation of election outcomes under uncertainty. [Citation Graph (, )][DBLP]


  183. Cooperative Boolean games. [Citation Graph (, )][DBLP]


  184. Quantifying over coalitions in epistemic logic. [Citation Graph (, )][DBLP]


  185. A tractable and expressive class of marginal contribution nets and its applications. [Citation Graph (, )][DBLP]


  186. Sequential Auctions in Uncertain Information Settings. [Citation Graph (, )][DBLP]


  187. Hedonic coalition nets. [Citation Graph (, )][DBLP]


  188. Boolean combinations of weighted voting games. [Citation Graph (, )][DBLP]


  189. Power in normative systems. [Citation Graph (, )][DBLP]


  190. Inconsistency tolerance in weighted argument systems. [Citation Graph (, )][DBLP]


  191. A logic of games and propositional control. [Citation Graph (, )][DBLP]


  192. An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. [Citation Graph (, )][DBLP]


  193. A distributed algorithm for anytime coalition structure generation. [Citation Graph (, )][DBLP]


  194. Optimal social laws. [Citation Graph (, )][DBLP]


  195. A logic-based representation for coalitional games with externalities. [Citation Graph (, )][DBLP]


  196. Combinatorial auctions with externalities. [Citation Graph (, )][DBLP]


  197. Joint Conversation Specification and Compliance. [Citation Graph (, )][DBLP]


  198. Optimal Coalition Structure Generation In Partition Function Games. [Citation Graph (, )][DBLP]


  199. Forming Fuzzy Coalitions in Cooperative Superadditive Games. [Citation Graph (, )][DBLP]


  200. Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities. [Citation Graph (, )][DBLP]


  201. Logic for Automated Mechanism Design and Analysis. [Citation Graph (, )][DBLP]


  202. Proof Systems and Transformation Games. [Citation Graph (, )][DBLP]


  203. A Common Semantic Basis for BDI Languages. [Citation Graph (, )][DBLP]


  204. Alternating-time temporal logic with explicit strategies. [Citation Graph (, )][DBLP]


  205. A logic of propositional control for truthful implementations. [Citation Graph (, )][DBLP]


  206. Model Checking Strategic Equilibria. [Citation Graph (, )][DBLP]


  207. Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms. [Citation Graph (, )][DBLP]


  208. Solving coalitional resource games. [Citation Graph (, )][DBLP]


  209. A linear approximation method for the Shapley value. [Citation Graph (, )][DBLP]


  210. Reasoning about coalitional games. [Citation Graph (, )][DBLP]


  211. Negotiation among autonomous computational agents: principles, analysis and challenges. [Citation Graph (, )][DBLP]


  212. On the computational complexity of weighted voting games. [Citation Graph (, )][DBLP]


  213. Exogenous coalition formation in the e-marketplace based on geographical proximity. [Citation Graph (, )][DBLP]


  214. Completeness and Complexity of Multi-modal CTL. [Citation Graph (, )][DBLP]


Search in 0.891secs, Finished in 0.898secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002