Search the dblp DataBase
Michael Wooldridge :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Michael Wooldridge Verifying that Agents Implement a Communication Language. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1999, pp:52-57 [Conf ] 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 ] 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 ] 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 ] 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 ] S. Shaheen Fatima , Michael Wooldridge Adaptive task resources allocation in multi-agent systems. [Citation Graph (0, 0)][DBLP ] Agents, 2001, pp:537-544 [Conf ] Martijn C. Schut , Michael Wooldridge Intention reconsideration in complex environments. [Citation Graph (0, 0)][DBLP ] Agents, 2000, pp:209-216 [Conf ] Martijn C. Schut , Michael Wooldridge Principles of intention reconsideration. [Citation Graph (0, 0)][DBLP ] Agents, 2001, pp:340-347 [Conf ] Michael Wooldridge , Nicholas R. Jennings Pitfalls of Agent-Oriented Development. [Citation Graph (0, 0)][DBLP ] Agents, 1998, pp:385-391 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Michael Wooldridge , Paolo Ciancarini Agent-Oriented Software Engineering: The State of the Art. [Citation Graph (0, 0)][DBLP ] AOSE, 2000, pp:1-28 [Conf ] 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 ] 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 ] 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 ] 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 ] Michael Wooldridge , Peter McBurney , Simon Parsons On the Meta-logic of Arguments. [Citation Graph (0, 0)][DBLP ] ArgMAS, 2005, pp:42-56 [Conf ] 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 ] Thomas Ågotnes , Wiebe van der Hoek , Michael Wooldridge Temporal qualitative coalitional games. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:177-184 [Conf ] 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 ] 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 ] Rafael H. Bordini , Michael Fisher , Carmen Pardavila , Michael Wooldridge Model checking agentspeak. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:409-416 [Conf ] 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 ] Ian Dickinson , Michael Wooldridge Towards practical reasoning agents for the semantic web. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:827-834 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Wiebe van der Hoek , Wojciech Jamroga , Michael Wooldridge A logic for strategic reasoning. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:157-164 [Conf ] 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 ] Wiebe van der Hoek , Mark Roberts , Michael Wooldridge Knowledge and social laws. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:674-681 [Conf ] Wiebe van der Hoek , Michael Wooldridge Tractable multiagent planning for epistemic goals. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:1167-1174 [Conf ] 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 ] 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 ] Marc-Philippe Huget , Michael Wooldridge Model checking for ACL compliance verification. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:1016-1017 [Conf ] Peter McBurney , Simon Parsons , Michael Wooldridge Desiderata for agent argumentation protocols. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:402-409 [Conf ] Sieuwert van Otterloo , Wiebe van der Hoek , Michael Wooldridge Preferences in Game Logics. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:152-159 [Conf ] Simon Parsons , Michael Wooldridge , Leila Amgoud An analysis of formal inter-agent dialogues. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:394-401 [Conf ] 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 ] 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 ] 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 ] Michael Wooldridge Time, Knowledge, and Choice. [Citation Graph (0, 0)][DBLP ] ATAL, 1995, pp:79-96 [Conf ] Michael Wooldridge Agents as a Rorschach Test: A Response to Franklin and Graesser. [Citation Graph (0, 0)][DBLP ] ATAL, 1996, pp:47-48 [Conf ] Michael Wooldridge A Knowledge-Theoretic Semantics for Concurrent METATEM. [Citation Graph (0, 0)][DBLP ] ATAL, 1996, pp:357-374 [Conf ] Michael Wooldridge , Paul E. Dunne Optimistic and Disjunctive Agent Design Problems. [Citation Graph (0, 0)][DBLP ] ATAL, 2000, pp:1-14 [Conf ] Michael Wooldridge , Paul E. Dunne The Computational Complexity of Agent Verification. [Citation Graph (0, 0)][DBLP ] ATAL, 2001, pp:115-127 [Conf ] 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 ] Michael Wooldridge , Alessio Lomuscio Reasoning about Visibility, Perception and Knowledge. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:1-12 [Conf ] 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 ] Michael Wooldridge , Peter McBurney , Simon Parsons On the meta-logic of arguments. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:560-567 [Conf ] 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 ] Michael Wooldridge , Simon Parsons Intention Reconsideration Reconsidered. [Citation Graph (0, 0)][DBLP ] ATAL, 1998, pp:63-79 [Conf ] 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 ] 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 ] Hyacinth S. Nwana , Michael Wooldridge Sofware Agent Technologies. [Citation Graph (0, 0)][DBLP ] Software Agents and Soft Computing, 1997, pp:59-78 [Conf ] 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 ] Michael Wooldridge Issues in Agent-Based Software Engineeing. [Citation Graph (0, 0)][DBLP ] CIA, 1997, pp:1-18 [Conf ] 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 ] 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 ] Wojciech Jamroga , Wiebe van der Hoek , Michael Wooldridge On Obligations and Abilities. [Citation Graph (0, 0)][DBLP ] DEON, 2004, pp:165-181 [Conf ] Michael Wooldridge Social Laws in Alternating Time. [Citation Graph (0, 0)][DBLP ] DEON, 2004, pp:2- [Conf ] Paul E. Dunne , Michael Laurence , Michael Wooldridge Tractability Results for Automatic Contracting. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:1003-1004 [Conf ] 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 ] 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 ] Michael Wooldridge Coherent Social Action. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:279-283 [Conf ] Michael Wooldridge A Knowledge-theoretic Approach to Distributed Problem Solving. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:308-312 [Conf ] 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 ] Michael Wooldridge , Simon Parsons Languages for Negotiation. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:393-400 [Conf ] 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 ] Martijn C. Schut , Michael Wooldridge , Simon Parsons Reasoning about Intentions in Uncertain Domains. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2001, pp:84-95 [Conf ] 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 ] Michael Fisher , Michael Wooldridge Specifying and Verifying Distributed Intelligence Systems. [Citation Graph (0, 0)][DBLP ] EPIA, 1993, pp:13-28 [Conf ] 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 ] 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 ] 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 ] Michael Wooldridge Practical Reasoning with Procedural Knowledge. [Citation Graph (0, 0)][DBLP ] FAPR, 1996, pp:663-678 [Conf ] Adam Walker , Michael Wooldridge Understanding the Emergence of Conventions in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] ICMAS, 1995, pp:384-389 [Conf ] Michael Wooldridge Computationally Grounded Theories of Agency. [Citation Graph (0, 0)][DBLP ] ICMAS, 2000, pp:13-22 [Conf ] Michael Wooldridge The Computational Complexity of Agent Design Problems. [Citation Graph (0, 0)][DBLP ] ICMAS, 2000, pp:341-348 [Conf ] Michael Wooldridge Verifiable Semantics for Agent Communication Languages. [Citation Graph (0, 0)][DBLP ] ICMAS, 1998, pp:349-356 [Conf ] Paolo Ciancarini , Michael Wooldridge Agent-oriented software engineering (workshop). [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:816-817 [Conf ] Michael Wooldridge , Michael Fisher A Decision Procedure for a Temporal Belief Logic. [Citation Graph (0, 0)][DBLP ] ICTL, 1994, pp:317-331 [Conf ] 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 ] Mark d'Inverno , Michael Luck , Michael Wooldridge Cooperation Structures. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1997, pp:600-605 [Conf ] Thomas Ågotnes , Wiebe van der Hoek , Michael Wooldridge Quantified Coalition Logic. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:1181-1186 [Conf ] 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 ] Michael Wooldridge , Alessio Lomuscio Multi-agent VSK Logic. [Citation Graph (0, 0)][DBLP ] JELIA, 2000, pp:300-312 [Conf ] Michael Wooldridge Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. [Citation Graph (0, 0)][DBLP ] KI, 2002, pp:318- [Conf ] Michael Wooldridge , Nicholas R. Jennings Towards a Theory of Cooperative Problem Solving. [Citation Graph (0, 0)][DBLP ] MAAMAW, 1994, pp:40-53 [Conf ] Michael Fisher , Michael Wooldridge Distributed Problem-Solving as Concurrent Theorem Proving. [Citation Graph (0, 0)][DBLP ] MAAMAW, 1997, pp:128-140 [Conf ] Michael Wooldridge Intelligent Agents: The Key Concepts. [Citation Graph (0, 0)][DBLP ] Multi-Agent-Systems and Applications, 2001, pp:3-43 [Conf ] Ian Dickinson , Michael Wooldridge An initial response to the OAS'03 challenge problem. [Citation Graph (0, 0)][DBLP ] OAS, 2003, pp:63-0 [Conf ] Rafael H. Bordini , Michael Fisher , Willem Visser , Michael Wooldridge Verifiable Multi-agent Programs. [Citation Graph (0, 0)][DBLP ] PROMAS, 2003, pp:72-89 [Conf ] 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 ] 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 ] Wiebe van der Hoek , Michael Wooldridge Model Checking Knowledge and Time. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:95-111 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Michael Wooldridge Editorial. [Citation Graph (0, 0)][DBLP ] Autonomous Agents and Multi-Agent Systems, 1999, v:2, n:1, pp:5- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Michael Wooldridge Agent-based software engineering. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 1997, v:144, n:1, pp:26-37 [Journal ] Wiebe van der Hoek , Michael Wooldridge Editorial. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2003, v:11, n:2, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Michael Wooldridge Reasoning about Rational Agents. [Citation Graph (0, 0)][DBLP ] J. Artificial Societies and Social Simulation, 2002, v:5, n:1, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Wiebe van der Hoek , Michael Wooldridge Preface. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2003, v:75, n:1, pp:3-5 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] On the Dimensionality of Voting Games. [Citation Graph (, )][DBLP ] Intentions in Equilibrium. [Citation Graph (, )][DBLP ] On the Relevance of Utterances in Formal Inter-agent Dialogues. [Citation Graph (, )][DBLP ] Normative system games. [Citation Graph (, )][DBLP ] A randomized method for the shapley value for the voting game. [Citation Graph (, )][DBLP ] On the relevance of utterances in formal inter-agent dialogues. [Citation Graph (, )][DBLP ] Joint conversation specification and compliance. [Citation Graph (, )][DBLP ] Approximate and online multi-issue negotiation. [Citation Graph (, )][DBLP ] Web services negotiation in an insurance grid. [Citation Graph (, )][DBLP ] Reasoning about judgment and preference aggregation. [Citation Graph (, )][DBLP ] Robust normative systems. [Citation Graph (, )][DBLP ] An anytime approximation method for the inverse Shapley value problem. [Citation Graph (, )][DBLP ] Evaluation of election outcomes under uncertainty. [Citation Graph (, )][DBLP ] Cooperative Boolean games. [Citation Graph (, )][DBLP ] Quantifying over coalitions in epistemic logic. [Citation Graph (, )][DBLP ] A tractable and expressive class of marginal contribution nets and its applications. [Citation Graph (, )][DBLP ] Sequential Auctions in Uncertain Information Settings. [Citation Graph (, )][DBLP ] Hedonic coalition nets. [Citation Graph (, )][DBLP ] Boolean combinations of weighted voting games. [Citation Graph (, )][DBLP ] Power in normative systems. [Citation Graph (, )][DBLP ] Inconsistency tolerance in weighted argument systems. [Citation Graph (, )][DBLP ] A logic of games and propositional control. [Citation Graph (, )][DBLP ] An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. [Citation Graph (, )][DBLP ] A distributed algorithm for anytime coalition structure generation. [Citation Graph (, )][DBLP ] Optimal social laws. [Citation Graph (, )][DBLP ] A logic-based representation for coalitional games with externalities. [Citation Graph (, )][DBLP ] Combinatorial auctions with externalities. [Citation Graph (, )][DBLP ] Joint Conversation Specification and Compliance. [Citation Graph (, )][DBLP ] Optimal Coalition Structure Generation In Partition Function Games. [Citation Graph (, )][DBLP ] Forming Fuzzy Coalitions in Cooperative Superadditive Games. [Citation Graph (, )][DBLP ] Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities. [Citation Graph (, )][DBLP ] Logic for Automated Mechanism Design and Analysis. [Citation Graph (, )][DBLP ] Proof Systems and Transformation Games. [Citation Graph (, )][DBLP ] A Common Semantic Basis for BDI Languages. [Citation Graph (, )][DBLP ] Alternating-time temporal logic with explicit strategies. [Citation Graph (, )][DBLP ] A logic of propositional control for truthful implementations. [Citation Graph (, )][DBLP ] Model Checking Strategic Equilibria. [Citation Graph (, )][DBLP ] Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms. [Citation Graph (, )][DBLP ] Solving coalitional resource games. [Citation Graph (, )][DBLP ] A linear approximation method for the Shapley value. [Citation Graph (, )][DBLP ] Reasoning about coalitional games. [Citation Graph (, )][DBLP ] Negotiation among autonomous computational agents: principles, analysis and challenges. [Citation Graph (, )][DBLP ] On the computational complexity of weighted voting games. [Citation Graph (, )][DBLP ] Exogenous coalition formation in the e-marketplace based on geographical proximity. [Citation Graph (, )][DBLP ] Completeness and Complexity of Multi-modal CTL. [Citation Graph (, )][DBLP ] Search in 0.009secs, Finished in 0.832secs