| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge |
The Triumph of Rationality.  |
IEEE Intelligent Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge |
Multi-Issue Negotiation with Deadlines  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ben Lithgow Smith, Valentina A. M. Tamma, Michael Wooldridge |
An Ontology for Coordination.  |
Applied Artificial Intelligence  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Reasoning About Social Choice Functions.  |
J. Philosophical Logic  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about Social Choice Functions  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge |
Weighted argument systems: Basic definitions, algorithms, and complexity results.  |
Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
On the logic of preference and judgment aggregation.  |
Autonomous Agents and Multi-Agent Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Chalkiadakis, Edith Elkind, Michael Wooldridge |
Computational Aspects of Cooperative Game Theory  |
|
2011 |
DOI RDF |
|
| 1 | Wiebe van der Hoek, Petar Iliev, Michael Wooldridge |
Knowledge and Action in Semi-public Environments.  |
LORI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge |
Incentive Engineering for Boolean Games.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | John Grant, Sarit Kraus, Michael Wooldridge, Inon Zuckerman |
Manipulating Boolean Games through Communication.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Wooldridge |
Computational Aspects of Cooperative Game Theory.  |
KES-AMSTA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge |
Playing Games with Games.  |
SCAI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
On optimal agendas for package deal negotiation.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Scientia potentia est.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Cees Witteveen, Michael Wooldridge |
Decomposing constraint systems: equivalences and computational properties.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Elisabetta Erriquez, Wiebe van der Hoek, Michael Wooldridge |
An abstract framework for reasoning about trust.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge |
Designing incentives for Boolean games.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Nicolas Troquard, Michael Wooldridge |
Knowledge and control.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicholas R. Jennings |
Constrained Coalition Formation.  |
AAAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ian Blacoe, Valentina A. M. Tamma, Michael J. Wooldridge |
Evaluation of scalable multi-agent system architectures for searching the Semantic Web.  |
IJMSO  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Moyaux, Peter McBurney, Michael Wooldridge |
A supply chain as a network of auctions.  |
Decision Support Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Robust normative systems and a logic of norm compliance.  |
Logic Journal of the IGPL  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
Sequential auctions for common value objects with budget constrained bidders.  |
Multiagent and Grid Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Dirk Walther 0002, Michael Wooldridge |
Reasoning About the Transfer of Control.  |
J. Artif. Intell. Res. (JAIR)  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael Wooldridge |
Solving coalitional resource games.  |
Artif. Intell.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Grant, Sarit Kraus, Donald Perlis, Michael Wooldridge |
Postulates for revising BDI structures.  |
Synthese  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Helder Coelho, Rudi Studer, Michael Wooldridge (eds.) |
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings  |
ECAI  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yoram Bachrach, Michael Zuckerman, Michael Wooldridge, Jeffrey S. Rosenschein |
Proof Systems and Transformation Games.  |
MFCS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Krysta, Tomasz P. Michalak, Tuomas Sandholm, Michael Wooldridge |
Combinatorial auctions with externalities.  |
AAMAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz P. Michalak, Jacek Sroka, Talal Rahwan, Michael Wooldridge, Peter McBurney, Nicholas R. Jennings |
A distributed algorithm for anytime coalition structure generation.  |
AAMAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Michael Wooldridge |
Optimal social laws.  |
AAMAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Grant, Sarit Kraus, Michael Wooldridge |
Intentions in Equilibrium.  |
AAAI  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Wooldridge |
An Introduction to MultiAgent Systems (2. ed.).  |
|
2009 |
RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
coalition structure generation, partition function games, representation |
| 1 | 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  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Logics for Qualitative Coalitional Games.  |
Logic Journal of the IGPL  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
2009 |
DBLP DOI BibTeX RDF |
Computation Tree Logic (ctl), Social Laws, Normative Systems |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Completeness and Complexity of Multi-modal CTL.  |
Electr. Notes Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Ruan, Wiebe van der Hoek, Michael Wooldridge |
Verification of Games in the Game Description Language.  |
J. Log. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser |
Property-based Slicing for Agent Verification.  |
J. Log. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about coalitional games.  |
Artif. Intell.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge |
On the computational complexity of weighted voting games.  |
Ann. Math. Artif. Intell.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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  |
MoChArt  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge |
Inconsistency tolerance in weighted argument systems.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
handling inconsistency, complexity, argumentation |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge |
Power in normative systems.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
complexity, logic, normative systems, coalitional games |
| 1 | Edith Elkind, Michael Wooldridge |
Hedonic coalition nets.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
hedonic games, marginal contribution nets, complexity |
| 1 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
game-theory, approximation, negotiation |
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
A logic of games and propositional control.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
effectivity functions, game solvability, propositional control, modal logic, solution concepts, strategic games |
| 1 | Piotr Faliszewski, Edith Elkind, Michael Wooldridge |
Boolean combinations of weighted voting games.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
complexity, games, weighted voting games |
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
A logic of propositional control for truthful implementations.  |
TARK  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
A linear approximation method for the Shapley value.  |
Artif. Intell.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantified coalition logic.  |
Synthese  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Lopes, Michael Wooldridge, Augusto Q. Novais |
Negotiation among autonomous computational agents: principles, analysis and challenges.  |
Artif. Intell. Rev.  |
2008 |
DBLP DOI BibTeX RDF |
Negotiation framework, Pre-negotiation, Impasse, Renegotiation, Negotiation systems, Multi-agent systems, Autonomous agents, Automated negotiation, Bargaining |
| 1 | Tomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge |
Optimal Coalition Structure Generation In Partition Function Games.  |
ECAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge |
Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms.  |
KRAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge |
Logic for Automated Mechanism Design and Analysis.  |
MATES  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Model Checking Strategic Equilibria.  |
MoChArt  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
An anytime approximation method for the inverse Shapley value problem.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael Wooldridge |
Evaluation of election outcomes under uncertainty.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantifying over coalitions in epistemic logic.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge |
Cooperative Boolean games.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge |
A tractable and expressive class of marginal contribution nets and its applications.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Robust normative systems.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge |
On the Dimensionality of Voting Games.  |
AAAI  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Wiebe van der Hoek, Michael Wooldridge |
A logical characterisation of qualitative coalitional games.  |
Journal of Applied Non-Classical Logics  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge |
Logic-Based Agent Verification.  |
J. Applied Logic  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shamimabi Paurobally, Valentina A. M. Tamma, Michael Wooldridge |
A Framework for Web service negotiation.  |
TAAS  |
2007 |
DBLP DOI BibTeX RDF |
Web services, Grid, negotiation, insurance |
| 1 | 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)  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Mark Roberts, Michael Wooldridge |
Social laws in alternating time: effectiveness, feasibility, and synthesis.  |
Synthese  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge |
Towards a theory of intention revision.  |
Synthese  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge |
On the Logic of Normative Systems.  |
IJCAI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantified Coalition Logic.  |
IJCAI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Shamimabi Paurobally, Michael Wooldridge |
Joint Conversation Specification and Compliance.  |
DALT  |
2007 |
DBLP DOI BibTeX RDF |
joint conversation, communicative action, compliance, intention |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge |
A Common Semantic Basis for BDI Languages.  |
PROMAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge |
On the Relevance of Utterances in Formal Inter-agent Dialogues.  |
ArgMAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Normative system games.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
complexity, games, logic, goals, normative systems |
| 1 | Shamimabi Paurobally, Chris van Aart, Valentina A. M. Tamma, Michael Wooldridge, Peter van Hapert |
Web services negotiation in an insurance grid.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
insurance grid, web services, negotiation |
| 1 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
Approximate and online multi-issue negotiation.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
game-theory, approximation, negotiation, online computation |
| 1 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
Sequential Auctions in Uncertain Information Settings.  |
AMEC/TADA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge |
On the relevance of utterances in formal inter-agent dialogues.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
argumentation, relevance, dialogue |
| 1 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
A randomized method for the shapley value for the voting game.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
game-theory, approximation, coalition formation, Shapley value |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about judgment and preference aggregation.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
modal logic, preference aggregation, judgment aggregation |
| 1 | Shamimabi Paurobally, Michael Wooldridge |
Joint conversation specification and compliance.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
joint communicative action, agent, protocol, belief |
| 1 | Dirk Walther 0002, Wiebe van der Hoek, Michael Wooldridge |
Alternating-time temporal logic with explicit strategies.  |
TARK  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek |
Logic for Automated Mechanism Design - A Progress Report.  |
AAAI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge |
Computational Complexity of Weighted Threshold Games.  |
AAAI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Minghua He, Xudong Luo, Nicholas R. Jennings, Michael Wooldridge |
Forming Fuzzy Coalitions in Cooperative Superadditive Games.  |
ICEBE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Michael Fisher, Michael Wooldridge |
Automated Game Analysis via Probabilistic Model Checking: a case study.  |
Electr. Notes Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Walther 0002, Carsten Lutz, Frank Wolter, Michael Wooldridge |
ATL Satisfiability is Indeed EXPTIME-complete.  |
J. Log. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge |
Knowledge Condition Games.  |
Journal of Logic, Language and Information  |
2006 |
DBLP DOI BibTeX RDF |
complexity, protocol, game theory, knowledge, strategy, epistemic logic, imperfect information |