Michael Wooldridge - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Weighted argument systems: Basic definitions, algorithms, and complexity resultsPaul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge. ai, 175(2):457-486, 2011. [doi]

Incentive Engineering for Boolean GamesUlle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge. IJCAI 2011: 2602-2607 [doi]

Manipulating Boolean Games through CommunicationJohn Grant, Sarit Kraus, Michael Wooldridge, Inon Zuckerman. IJCAI 2011: 210-215 [doi]

Constrained Coalition FormationTalal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicholas R. Jennings. AAAI 2011: [doi]

An Ontology for CoordinationBen Lithgow Smith, Valentina A. M. Tamma, Michael Wooldridge. aai, 25(3):235-265, 2011. [doi]

Computational Aspects of Cooperative Game TheoryMichael Wooldridge. kesamsta 2011: 1 [doi]

On the logic of preference and judgment aggregationThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. AAMAS, 22(1):4-30, 2011. [doi]

2010

Proof Systems and Transformation GamesYoram Bachrach, Michael Zuckerman, Michael Wooldridge, Jeffrey S. Rosenschein. mfcs 2010: 78-89 [doi]

ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, ProceedingsHelder Coelho, Rudi Studer, Michael Wooldridge, editors, Volume 215 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2010. [doi]

Solving coalitional resource gamesPaul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael Wooldridge. ai, 174(1):20-50, 2010. [doi]

Sequential auctions for common value objects with budget constrained biddersS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. mags, 6(5-6):403-414, 2010. [doi]

Intentions in EquilibriumJohn Grant, Sarit Kraus, Michael Wooldridge. AAAI 2010: [doi]

Postulates for revising BDI structuresJohn Grant, Sarit Kraus, Donald Perlis, Michael Wooldridge. synthese, 175(Supplement-1):39-62, 2010. [doi]

Combinatorial auctions with externalitiesPiotr Krysta, Tomasz P. Michalak, Tuomas Sandholm, Michael Wooldridge. atal 2010: 1471-1472 [doi]

A distributed algorithm for anytime coalition structure generationTomasz P. Michalak, Jacek Sroka, Talal Rahwan, Michael Wooldridge, Peter McBurney, Nicholas R. Jennings. atal 2010: 1007-1014 [doi]

A logic-based representation for coalitional games with externalitiesTomasz P. Michalak, Dorota Marciniak, Marcin Szamotulski, Talal Rahwan, Michael Wooldridge, Peter McBurney, Nicholas R. Jennings. atal 2010: 125-132 [doi]

A supply chain as a network of auctionsThierry Moyaux, Peter McBurney, Michael Wooldridge. dss, 50(1):176-190, 2010. [doi]

Reasoning About the Transfer of ControlWiebe van der Hoek, Dirk Walther, Michael Wooldridge. jair, 37:437-477, 2010. [doi]

Robust normative systems and a logic of norm complianceThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. igpl, 18(1):4-30, 2010. [doi]

Optimal social lawsThomas Ågotnes, Michael Wooldridge. atal 2010: 667-674 [doi]

2009

Property-based Slicing for Agent VerificationRafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser. logcom, 19(6):1385-1425, 2009. [doi]

Inconsistency tolerance in weighted argument systemsPaul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge. atal 2009: 851-858 [doi]

Hedonic coalition netsEdith Elkind, Michael Wooldridge. atal 2009: 417-424 [doi]

On the computational complexity of weighted voting gamesEdith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge. AMAI, 56(2):109-131, 2009. [doi]

A Tractable and Expressive Class of Marginal Contribution Nets and Its ApplicationsEdith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge. mlq, 55(4):362-376, 2009. [doi]

Boolean combinations of weighted voting gamesPiotr Faliszewski, Edith Elkind, Michael Wooldridge. atal 2009: 185-192 [doi]

An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functionsS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. atal 2009: 1041-1048 [doi]

Exogenous coalition formation in the e-marketplace based on geographical proximityTomasz P. Michalak, Joanna Tyrowicz, Peter McBurney, Michael Wooldridge. ecra, 8(4):203-223, 2009. [doi]

Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited PapersDoron Peled, Michael Wooldridge, editors, Volume 5348 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Coalition Structure Generation in Multi-Agent Systems with Positive and Negative ExternalitiesTalal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings, Michael Wooldridge, Peter McBurney. IJCAI 2009: 257-263 [doi]

Verification of Games in the Game Description LanguageJi Ruan, Wiebe van der Hoek, Michael Wooldridge. logcom, 19(6):1127-1156, 2009. [doi]

A logic of games and propositional controlNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge. atal 2009: 961-968 [doi]

A logic of propositional control for truthful implementationsNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge. tark 2009: 237-246 [doi]

Multi-Modal CTL: Completeness, Complexity, and an ApplicationThomas Ã…gotnes, Wiebe van der Hoek, Juan A. RodrÃguez-Aguilar, Carles Sierra, Michael Wooldridge. sLogica, 92(1):1-26, 2009. [doi]

Reasoning about coalitional gamesThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. ai, 173(1):45-79, 2009. [doi]

Power in normative systemsThomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge. atal 2009: 145-152 [doi]

Logics for Qualitative Coalitional GamesThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. igpl, 17(3):299-321, 2009. [doi]

Completeness and Complexity of Multi-modal CTLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. ENTCS, 231:259-275, 2009. [doi]

2008

Cooperative Boolean gamesPaul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge. atal 2008: 1015-1022 [doi]

A tractable and expressive class of marginal contribution nets and its applicationsEdith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge. atal 2008: 1007-1014 [doi]

On the Dimensionality of Voting GamesEdith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge. AAAI 2008: 69-74

A linear approximation method for the Shapley valueS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. ai, 172(14):1673-1699, 2008. [doi]

An anytime approximation method for the inverse Shapley value problemS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. atal 2008: 935-942 [doi]

Evaluation of election outcomes under uncertaintyNoam Hazon, Yonatan Aumann, Sarit Kraus, Michael Wooldridge. atal 2008: 959-966 [doi]

Negotiation among autonomous computational agents: principles, analysis and challengesFernando Lopes, Michael Wooldridge, Augusto Q. Novais. air, 29(1):1-44, 2008. [doi]

Pre-processing Techniques for Anytime Coalition Structure Generation AlgorithmsTomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge. kramas 2009: 99-113 [doi]

Optimal Coalition Structure Generation In Partition Function GamesTomasz Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge. ecai 2008: 388-392 [doi]

Model Checking Strategic EquilibriaNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge. mochart 2009: 166-188 [doi]

How Inappropriately Heavyweight AI Solutions Dragged Down A Startup (and Made Me Realize that Industrial Salaries Are High for a Good Reason)Michael Wooldridge. aim, 29(2):49-50, 2008. [doi]

Logic for Automated Mechanism Design and AnalysisMichael Wooldridge. MATES 2008: 1 [doi]

Robust normative systemsThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2008: 747-754 [doi]

Quantified coalition logicThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. synthese, 165(2):269-294, 2008. [doi]

Quantifying over coalitions in epistemic logicThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2008: 665-672 [doi]

2007

A Common Semantic Basis for BDI LanguagesLouise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge. promas 2008: 124-139 [doi]

A logical characterisation of qualitative coalitional gamesPaul E. Dunne, Wiebe van der Hoek, Michael Wooldridge. jancl, 17(4):477-509, 2007. [doi]

Computational Complexity of Weighted Threshold GamesEdith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge. AAAI 2007: 718-723

A randomized method for the shapley value for the voting gameS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. atal 2007: 157 [doi]

Approximate and online multi-issue negotiationS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. atal 2007: 156 [doi]

Sequential Auctions in Uncertain Information SettingsS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. atal 2009: 16-29 [doi]

Logic-Based Agent VerificationMichael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge. japll, 5(2):193-195, 2007. [doi]

Forming Fuzzy Coalitions in Cooperative Superadditive GamesMinghua He, Xudong Luo, Nicholas R. Jennings, Michael Wooldridge. icebe 2007: 221-228 [doi]

On the relevance of utterances in formal inter-agent dialoguesSimon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge. atal 2007: 240 [doi]

On the Relevance of Utterances in Formal Inter-agent DialoguesSimon Parsons, Peter McBurney, Elizabeth Sklar, Michael Wooldridge. argmas 2008: 47-62 [doi]

Joint Conversation Specification and ComplianceShamimabi Paurobally, Michael Wooldridge. dalt 2008: 18-35 [doi]

Joint conversation specification and complianceShamimabi Paurobally, Michael Wooldridge. atal 2007: 30 [doi]

A Framework for Web service negotiationShamimabi Paurobally, Valentina A. M. Tamma, Michael Wooldridge. taas, 2(4), 2007. [doi]

Web services negotiation in an insurance gridShamimabi Paurobally, Chris van Aart, Valentina A. M. Tamma, Michael Wooldridge, Peter van Hapert. atal 2007: 275 [doi]

Towards a theory of intention revisionWiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge. synthese, 155(2):265-290, 2007. [doi]

Social laws in alternating time: effectiveness, feasibility, and synthesisWiebe van der Hoek, Mark Roberts, Michael Wooldridge. synthese, 156(1):1-19, 2007. [doi]

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming LanguageRenata Vieira, Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini. jair, 29:221-267, 2007. [doi]

Alternating-time temporal logic with explicit strategiesDirk Walther, Wiebe van der Hoek, Michael Wooldridge. tark 2007: 269-278 [doi]

Logic for Automated Mechanism Design - A Progress ReportMichael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek. AAAI 2007: 9

Normative system gamesThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2007: 129 [doi]

Reasoning about judgment and preference aggregationThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2007: 85 [doi]

Quantified Coalition LogicThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. IJCAI 2007: 1181-1186 [doi]

On the Logic of Normative SystemsThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge. IJCAI 2007: 1175-1180 [doi]

On the Logic of Normative SystemsThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge. dagstuhl 2007: [doi]

2006

Automated Game Analysis via Probabilistic Model Checking: a case studyPaolo Ballarini, Michael Fisher, Michael Wooldridge. ENTCS, 149(2):125-137, 2006. [doi]

Verifying Multi-agent Programs by Model CheckingRafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge. AAMAS, 12(2):239-256, 2006. [doi]

Multi-Issue Negotiation with DeadlinesS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. jair, 27:381-417, 2006. [doi]

On Efficient Procedures for Multi-issue NegotiationS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. atal 2007: 31-45 [doi]

Plan patterns for declarative goals in AgentSpeakJomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge. atal 2006: 1291-1293 [doi]

Programming Declarative Goals Using Plan PatternsJomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge. dalt 2006: 123-140 [doi]

Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent SystemsSven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge. aim, 27(1):103-107, 2006.

Reasoning about action and cooperationLuigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge. atal 2006: 185-192 [doi]

PrefaceWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge. ENTCS, 157(4):1-2, 2006. [doi]

On the complexity of practical ATL model checkingWiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge. atal 2006: 201-208 [doi]

Knowledge Condition GamesSieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge. jolli, 15(4):425-452, 2006. [doi]

ForewordSieuwert van Otterloo, Michael Wooldridge, Peter McBurney. synthese, 149(2):255-256, 2006. [doi]

ATL Satisfiability is Indeed EXPTIME-completeDirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge. logcom, 16(6):765-787, 2006. [doi]

Model Checking for Multiagent Systems: the Mable Language and its ApplicationsMichael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons. ijait, 15(2):195-226, 2006. [doi]

On the Complexity of Linking Deductive and Abstract Argument SystemsMichael Wooldridge, Paul E. Dunne, Simon Parsons. AAAI 2006:

On the computational complexity of coalitional resource gamesMichael Wooldridge, Paul E. Dunne. ai, 170(10):835-871, 2006. [doi]

Temporal qualitative coalitional gamesThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2006: 177-184 [doi]

On the logic of coalitional gamesThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2006: 153-160 [doi]

2005

4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The NetherlandsFrank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge, editors, ACM, 2005.

A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software AgentsS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. air, 23(2):187-205, 2005. [doi]

Bargaining with incomplete informationS. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings. AMAI, 44(3):207-232, 2005. [doi]

Intentions and Strategies in Game-Like ScenariosWojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge. epia 2005: 512-523 [doi]

On the dynamics of delegation, cooperation, and control: a logical accountWiebe van der Hoek, Michael Wooldridge. atal 2005: 701-708 [doi]

PreviousNext