Michael Wooldridge | Academic Influence

Michael Wooldridge 's AcademicInfluence.com Rankings

Michael Wooldridge

Computer Science

#1057

World Rank

#1095

Historical Rank

Artificial Intelligence

#109

World Rank

#112

Historical Rank

Database

#271

World Rank

#282

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Michael Wooldridge 's Degrees

PhD Computer Science University of Aberdeen
Bachelors Computer Science University of Aberdeen

Similar Degrees You Can Earn

Why Is Michael Wooldridge Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Michael John Wooldridge is a professor of computer science at the University of Oxford. His main research interests is in multi-agent systems, and in particular, in the computational theory aspects of rational action in systems composed of multiple self-interested agents. His work is characterised by the use of techniques from computational logic, game theory, and social choice theory.

(See a Problem?)

Michael Wooldridge 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Intelligent agents: theory and practice (1995) (6986)
The Gaia Methodology for Agent-Oriented Analysis and Design (2000) (2200)
A Roadmap of Agent Research and Development (2004) (1752)
Agent-based software engineering (1997) (1702)
Agent Theories, Architectures, and Languages: A Survey (1995) (1681)
Automated Negotiation: Prospects, Methods and Challenges (2001) (1556)
Intelligent agents: theory and practice The Knowledge Engineering Review (1995) (1454)
Developing multiagent systems: The Gaia methodology (2003) (1417)
Reasoning about rational agents (2000) (1402)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) (2007) (1336)
Agent technology: foundations, applications, and markets (1998) (969)
Applications of intelligent agents (1998) (794)
The Belief-Desire-Intention Model of Agency (1998) (634)
A Classification Scheme for Negotiation in Electronic Commerce (2001) (557)
Agent-Oriented Software Engineering: The State of the Art (2009) (523)
A methodology for agent-oriented analysis and design (1999) (462)
A Formal Specification of dMARS (1997) (397)
Computational Aspects of Cooperative Game Theory (2011) (393)
An agenda-based framework for multi-issue negotiation (2004) (391)
Pitfalls of agent-oriented development (1998) (353)
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications (2003) (322)
Weighted argument systems: Basic definitions, algorithms, and complexity results (2011) (318)
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence (1999) (310)
Autonomous Agents and Multi-Agent Systems (1998) (291)
Introduction to Multi-Agent Systems (2016) (265)
Software Engineering with Agents: Pitfalls and Pratfalls (1999) (248)
The Cooperative Problem-solving Process (1999) (241)
Knowledge and control (2011) (236)
Understanding the Emergence of Conventions in Multi-Agent Systems (1995) (235)
Game Theory and Decision Theory in Multi-Agent Systems (2002) (226)
Tractable multiagent planning for epistemic goals (2002) (224)
Organizational Abstractions for the Analysis and Design of Multi-agent Systems (2000) (220)
Properties and Complexity of Some Formal Inter-agent Dialogues (2003) (217)
Applying agent technology (1995) (214)
Intelligent Agents III (1997) (208)
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (2001) (206)
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System (2004) (195)
Verifying Multi-agent Programs by Model Checking (2006) (191)
Agent-oriented software engineering (1999) (191)
A linear approximation method for the Shapley value (2008) (188)
Model checking agentspeak (2003) (187)
Agent-Oriented Software Engineering for Internet Applications (2001) (181)
Complexity of Abstract Argumentation (2009) (180)
Multi-issue negotiation under time constraints (2002) (180)
Agent-Oriented Software Engineering II (2002) (177)
Desiderata for agent argumentation protocols (2002) (173)
Semantic Issues in the Verification of Agent Communication Languages (2000) (165)
On the logic of cooperation and propositional control (2005) (165)
Model checking multi-agent systems with MABLE (2002) (162)
The logical modelling of computational multi-agent systems (1992) (158)
A logic for strategic reasoning (2005) (155)
Multi-Issue Negotiation with Deadlines (2006) (149)
Optimal Negotiation Strategies for Agents with Incomplete Information (2001) (147)
Coalition structure generation: A survey (2015) (146)
Towards a Logic of Rational Agency (2003) (143)
Intelligent agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, the Netherlands, August 8-9, 1994 : proceedings (1995) (139)
Hiding individuals and communities in a social network (2016) (139)
Negotiation among autonomous computational agents: principles, analysis and challenges (2008) (138)
Towards a Theory of Cooperative Problem Solving (1994) (136)
Model Checking Knowledge and Time (2002) (134)
Organisational Abstractions for the Analysis and Design of Multi-Agent Systems (2000) (128)
Formalizing the Cooperative Problem Solving Process (1997) (126)
On the Formal Specification and Verification of Multi-Agent Systems (1997) (125)
Foundations of Rational Agency (1999) (124)
Ontologies for supporting negotiation in e-commerce (2005) (123)
An analysis of formal inter-agent dialogues (2002) (120)
Languages for Negotiation (2000) (118)
On the Logic of Normative Systems (2007) (115)
On obligations and normative ability: Towards a logical analysis of the social contract (2005) (112)
Artificial Intelligence Today (2001) (111)
Social laws in alternating time: effectiveness, feasibility, and synthesis (2006) (110)
Computationally grounded theories of agency (2000) (109)
Intelligent Agents: The Key Concepts (2001) (109)
Computational Complexity of Weighted Threshold Games (2007) (108)
The complexity of contract negotiation (2005) (105)
On the computational complexity of qualitative coalitional games (2004) (101)
Optimal negotiation of multiple issues in incomplete information settings (2004) (99)
Alternating-time temporal logic with explicit strategies (2007) (98)
Hedonic coalition nets (2009) (96)
Cooperative Boolean games (2008) (96)
On the computational complexity of coalitional resource games (2006) (93)
Principles of Automated Negotiation (2014) (89)
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language (2007) (89)
Optimal agendas for multi-issue negotiation (2003) (87)
Multi-Agent Systems (2008) (87)
On the complexity of practical ATL model checking (2006) (85)
Verifiable semantics for agent communication languages (1998) (85)
On the outcomes of formal inter-agent dialogues (2003) (79)
An Ontology Based Approach to Automated Negotiation (2002) (79)
Intention Reconsideration Reconsidered (1998) (78)
A distributed algorithm for anytime coalition structure generation (2010) (78)
Proceedings of the 21st International Joint Conference on Artificial Intelligence (2009) (78)
Agents are not (just) web services : considering BDI agents and web services ♦ (2005) (78)
Resolution for Temporal Logics of Knowledge (1998) (77)
ATL Satisfiability is Indeed EXPTIME-complete (2006) (77)
Computational Aspects of Cooperative Game Theory (Synthesis Lectures on Artificial Inetlligence and Machine Learning) (2011) (77)
Inconsistency tolerance in weighted argument systems (2009) (76)
A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents (2005) (75)
Intelligence agents: Theory and practice (1994) (75)
Formalisms for multi-agent systems (1997) (75)
Anytime coalition structure generation in multi-agent systems with positive or negative externalities (2012) (73)
Incentive Engineering for Boolean Games (2011) (72)
Adaptive task resources allocation in multi-agent systems (2001) (72)
Constrained Coalition Formation (2011) (70)
On the evaluation of election outcomes under uncertainty (2008) (70)
On the computational complexity of weighted voting games (2009) (70)
A Framework for Web service negotiation (2007) (69)
Agent-Based Computing (1997) (69)
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers (2009) (69)
Model Checking Multi-Agent Programs with CASP (2003) (68)
On the Identification of Agents in the Design of Production Control Systems (2000) (68)
Model checking rational agents (2004) (66)
Towards a theory of intention revision (2007) (64)
Iterated Boolean games (2013) (64)
A Common Semantic Basis for BDI Languages (2007) (64)
Applications of Agent Technology (1998) (63)
On the meta-logic of arguments (2005) (62)
Automated synthesis of normative systems (2013) (61)
Reasoning about coalitional games (2009) (61)
Multi-Agent Systems as Computational Organizations: The Gaia Methodology (2005) (61)
An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions (2009) (61)
Knowledge and Ability (2015) (61)
A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications (2008) (60)
Approximate and online multi-issue negotiation (2007) (60)
Reasoning about action and cooperation (2006) (59)
Software agent technologies (1996) (58)
A hybrid exact algorithm for complete set partitioning (2016) (58)
Towards practical reasoning agents for the semantic web (2003) (57)
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (1998) (57)
Normative system games (2007) (56)
This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed (1995) (55)
Logic and the Foundations of Game and Decision Theory - LOFT (2009) (55)
An ontology for automated negotiation (2002) (54)
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes (1997) (54)
The theory and practice of intention reconsideration (2004) (53)
Principles of intention reconsideration (2001) (53)
A Computationally Grounded Logic of Visibility, Perception, and Knowledge (2001) (52)
Reasoning about rational agents MIT Press (2000) (51)
Does Game Theory Work? (2012) (51)
MAGENTA technology: multi-agent systems for industrial logistics (2005) (50)
The control of reasoning in resource-bounded agents (2001) (49)
Multiagent Systems for Manufacturing Control: A Design Methodology (2010) (49)
Cooperative Game Theory: Basic Concepts and Computational Challenges (2012) (49)
Verifiable Multi-agent Programs (2003) (49)
Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks (2013) (48)
Quantified coalition logic (2007) (48)
Bargaining with incomplete information (2005) (48)
Agent-oriented software engineering for Internet agents (2001) (47)
Model checking cooperation, knowledge, and time—a case study (2003) (46)
Programming Declarative Goals Using Plan Patterns (2006) (46)
Proceedings of the second international conference on Autonomous agents (1998) (46)
Model Checking for Multiagent Systems: the Mable Language and its Applications (2006) (45)
Intention reconsideration in complex environments (2000) (45)
Multi-agent VSK Logic (2000) (44)
Solving coalitional resource games (2010) (44)
Cooperation Structures (1997) (43)
The computational complexity of agent design problems (2000) (43)
State-space reduction techniques in agent verification (2004) (43)
Robust normative systems and a logic of norm compliance (2010) (41)
Sofware Agent Technologies (1997) (41)
Rational Verification: From Model Checking to Equilibrium Checking (2016) (41)
Forming coalitions and facilitating relationships for completing tasks in social networks (2014) (41)
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications (2002) (40)
A Knowledge-Theoretic Semantics for Concurrent METATEM (1996) (40)
The complexity of agent design problems: Determinism and history dependence (2005) (40)
Reasoning about Visibility, Perception and Knowledge (1999) (40)
Game theoretic and decision theoretic agents (2000) (40)
Preferences in game logics (2004) (39)
Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities (2009) (39)
Coherent Social Action (1994) (39)
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming (2004) (39)
A randomized method for the shapley value for the voting game (2007) (39)
Logic for Automated Mechanism Design - A Progress Report (2007) (39)
Adaptive Task and Resource Allocation in Multi-Agent Systems (2001) (39)
On the logic of coalitional games (2006) (38)
A logic-based representation for coalitional games with externalities (2010) (38)
Logic for Mechanism Design A Manifesto (2003) (38)
Cooperative Problem Solving (1999) (38)
Re-use of Interaction Protocols for Agent-Based Control Applications (2002) (38)
Intelligent Agents III. Agent Theories, Architectures, and Languages ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings (1997) (38)
Artificial Intelligence Today: Recent Trends and Developments (1999) (37)
On the logic of preference and judgment aggregation (2009) (36)
Manipulating Boolean Games through Communication (2011) (36)
On the relevance of utterances in formal inter-agent dialogues (2007) (36)
Algorithms for the shapley and myerson values in graph-restricted games (2014) (36)
Power in normative systems (2009) (35)
Designing incentives for Boolean games (2011) (34)
Proceedings of the 24th International Conference on Artificial Intelligence (2015) (34)
A Decision Procedure for a Temporal Belief Logic (1994) (34)
Specifying and Verifying Distributed Intelligence Systems (1993) (33)
Argument Aggregation: Basic Axioms and Complexity Results (2012) (33)
Imperfect Information in Reactive Modules Games (2016) (33)
On Efficient Procedures for Multi-issue Negotiation (2006) (33)
Optimal social laws (2010) (33)
Reasoning About Social Choice Functions (2011) (32)
INTELLIGENT AGENTS IV (1998) (32)
Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents (1995) (32)
Online Automated Synthesis of Compact Normative Systems (2015) (31)
The Computational Complexity of Agent Verification (2001) (31)
Intention Reconsideration in Theory and Practice (2000) (30)
The Mechanics of Some Formal Inter-agent Dialogues (2003) (30)
Complexity Results for Agent Design Problems (2003) (30)
Agent Theories, Architectures, and Languages: A Bibliography (1995) (30)
An Ontological Framework for Dynamic Coordination (2005) (30)
A software engineering perspective on multi-agent system design: experience in the development of MADE (1992) (30)
Reasoning about equilibria in game-like concurrent systems (2014) (29)
A First-Order Branching Time Logic of Multi-Agent System (1992) (29)
An anytime approximation method for the inverse Shapley value problem (2008) (29)
Defeating Terrorist Networks with Game Theory (2015) (29)
On the Dimensionality of Voting Games (2008) (29)
How to Rig Elections and Competitions (2008) (28)
Reasoning about Intentions in Uncertain Domains (2001) (28)
Intentions and Strategies in Game-Like Scenarios (2005) (28)
From model checking to equilibrium checking: Reactive modules for rational verification (2017) (28)
Verification of Games in the Game Description Language (2009) (27)
Robust normative systems (2008) (27)
Reasoning About the Transfer of Control (2014) (27)
Game Theory and Evolution (2013) (27)
Time, Knowledge, and Choice (1995) (27)
Sequential auctions for objects with common and private values (2005) (26)
Comparing equilibria for game theoretic and evolutionary bargaining models (2003) (26)
Synthesising Liberal Normative Systems (2015) (26)
Boolean Hedonic Games (2015) (26)
On Partially Observable MDPs and BDI Models (2002) (26)
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (2015) (25)
Optimal Coalition Structure Generation In Partition Function Games (2008) (25)
Practical Reasoning with Procedural Knowledge (1996) (25)
Verifying that Agents Implement a Communication Language (1999) (25)
Combinatorial auctions with externalities (2010) (25)
Exogenous coalition formation in the e-marketplace based on geographical proximity (2009) (25)
Agents as a Rorschach Test: A Response to Franklin and Graesser (1996) (24)
Moral Values in Norm Decision Making (2018) (24)
Nash Equilibria in Concurrent Games with Lexicographic Preferences (2017) (24)
The Influence of Information on Negotiation Equilibrium (2002) (24)
On representing coalitional games with externalities (2009) (24)
Closeness Centrality for Networks with Overlapping Community Structure (2016) (23)
Conservative Social Laws (2012) (23)
Temporal qualitative coalitional games (2006) (23)
Specifying and Executing Protocols for Cooperative Action (1994) (23)
Minimality and simplicity in the on-line automated synthesis of normative systems (2014) (23)
Property-based Slicing for Agent Verification (2009) (23)
Optimistic and Disjunctive Agent Design Problems (2000) (23)
SERSE: Searching for Semantic Web Content (2004) (22)
Boolean combinations of weighted voting games (2009) (22)
Issues in Agent-Based Software Engineering (1997) (22)
Agent-Based Modeling for Complex Financial Systems (2018) (22)
On the Complexity of Linking Deductive and Abstract Argument Systems (2006) (22)
Desiderata for argumentation protocols (2002) (22)
Imitative Follower Deception in Stackelberg Games (2019) (21)
Stackelberg Security Games with Multiple Uncoordinated Defenders (2018) (21)
On the dynamics of delegation, cooperation, and control: a logical account (2005) (21)
Feline : A Case Study in the Design and Implementation of a Co-operating Expert System (1991) (21)
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief (1996) (21)
Understanding Flash Crash Contagion and Systemic Risk: A Micro-Macro Agent-Based Approach (2018) (21)
On the Construction of Covert Networks (2017) (21)
Expresiveness and Complexity Results for Strategic Reasoning (2015) (20)
A Lifecycle for Models of Large Multi-agent Systems (2001) (20)
On the sources of complexity in agent design (2000) (20)
Boolean Games with Epistemic Goals (2013) (19)
Knowledge and social laws (2005) (19)
A logic of revelation and concealment (2012) (19)
Off-line synthesis of evolutionarily stable normative systems (2018) (19)
Distributed Problem-Solving as Concurrent Theorem Proving (1997) (19)
Efficient Computation of Semivalues for Game-Theoretic Network Centrality (2015) (19)
Model checking for ACL compliance verification (2003) (18)
Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS) (2003) (18)
Measuring Inconsistency in Multi-Agent Systems (2014) (18)
Strategic Social Network Analysis (2017) (18)
Forming k coalitions and facilitating relationships in social networks (2018) (18)
Temporal and Dynamic Logic (2010) (18)
EVE: A Tool for Temporal Equilibrium Analysis (2018) (18)
Verifiable Equilibria in Boolean Games (2013) (18)
Postulates for revising BDI structures (2010) (17)
Robots with the Best of Intentions (1999) (17)
Toward open negotiation (2004) (17)
A logic of games and propositional control (2009) (17)
A Logical Approach to the Representation of Societies of Agents (1995) (17)
Social Laws in Alternating Time (2004) (17)
Uncertain Agent Verification through Probabilistic Model-Checking (2009) (17)
Exploiting Moral Values to Choose the Right Norms (2018) (17)
Practical Reasoning with Procedural Knowledge (A LOGIC OF BDI AGENTS WITH KNOW-HOW) (2002) (16)
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games (2020) (16)
Argumentation in Multi-Agent Systems (2010) (16)
Intelligent agents II : agent theories, architectures, and languages : IJCAI '95 Workshop (ATAL) : Montréal, Canada, August 19-20, 1995 : proceedings (1996) (16)
A supply chain as a network of auctions (2010) (16)
Łukasiewicz Games (2015) (16)
MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO (2004) (16)
Multi-Agent Reinforcement Learning with Temporal Logic Specifications (2021) (16)
Knowledge as Strategic Ability (2004) (16)
A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value (2014) (16)
On Obligations and Abilities (2004) (16)
A Knowledge-theoretic Approach to Distributed Problem Solving (1998) (15)
Weighted Voting Games (2016) (15)
Cooperation and Agreement between Semantic Web Services (2005) (15)
The Stochastic Shapley Value for coalitional games with externalities (2017) (15)
Hard and soft equilibria in boolean games (2014) (15)
Reasoning about judgment and preference aggregation (2007) (15)
Nash Equilibrium and Bisimulation Invariance (2018) (14)
aamas03 : proceedings of the second International Joint Conference on Autonomous Agents and Multiagent Systems, July 14-18, 2003, Melbourne, Australia (2003) (14)
What agents aren't: a discussion paper (1996) (14)
Logics for Multiagent Systems (2012) (14)
Towards tractable Boolean games (2012) (14)
Model Checking Electronic Institutions (14)
Software Agent Technologies 1 (1996) (14)
Proceedings of the Second International Conference on Autonomous Agents, Minneapolis/St. Paul, MN USA, May 9-13, 1998 (1998) (14)
Enumerating Connected Subgraphs and Computing the Myerson and Shapley Values in Graph-Restricted Games (2019) (14)
Logics for Coalitional Games (2007) (14)
Multi-Agent Hierarchical Reinforcement Learning with Dynamic Termination (2019) (14)
An Introduction to Game Theory and Decision Theory (2002) (13)
Iterated Games with LDL Goals over Finite Traces (2017) (13)
Manipulating a Learning Defender and Ways to Counteract (2019) (13)
Rationality in Multi-Agent Systems (1998) (13)
AN ONTOLOGY FOR COORDINATION (2011) (13)
Introducing Autonomic Behaviour in Semantic Web Agents (2005) (13)
4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands (2005) (12)
Game-theoretic Network Centrality: A Review (2017) (12)
Temporal belief logics for modeling distributed artificial intelligence systems (1996) (12)
Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings (1998) (12)
A Temporal Logic of Normative Systems (2009) (12)
Equilibria of concurrent games on event structures (2014) (12)
Information›seeking agent dialogs with permissions and arguments (2006) (12)
The Negotiation Game (2014) (11)
Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues (2004) (11)
Towards formal methods for agent-based systems (1996) (11)
An Automata Theoretic Approach to Multiagent Planning (2005) (11)
Plan patterns for declarative goals in AgentSpeak (2006) (11)
Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages (1997) (11)
Implementation and Computation of a Value for Generalized Characteristic Function Games (2014) (11)
Re-use of interaction protocols for decision-oriented applications (2002) (11)
Manipulating Games by Sharing Information (2014) (11)
Towards a Logic of Social Welfare (2006) (11)
An analysis of the shapley value and its uncertainty for the voting game (2005) (10)
Communication and Interaction (2007) (10)
Paying Their Way: Commercial Digital Libraries for the 21st Century (1997) (10)
Intentions in Equilibrium (2010) (10)
Future Communication Networks using Software Agents (1999) (10)
Minds and Machines Special Issue: Ethics and Artificial Intelligence (2017) (10)
A formal specification of dMARS AGENT THEORIES, ARCHITECTURES, AND LANGUAGES (1998) (10)
Law-governed Linda as a semantics for agent dialogue protocols (2005) (10)
An abstract framework for reasoning about trust (2011) (10)
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series (1998) (10)
A Logic of Visibility , Perception , and Knowledge : Completeness and Correspondence Results (2000) (10)
Executable Temporal Logic for Distributed A.I (2002) (9)
On Computational Tractability for Rational Verification (2019) (9)
Model Checking Strategic Equilibria (2009) (9)
Automated Game Analysis via Probabilistic Model Checking: a case study (2006) (9)
Multiagent systems as computational organisations: the Gaia methodology (2005) (9)
Bad equilibria (and what to do about them) (2012) (9)
Program equilibrium—a program reasoning approach (2013) (9)
Multi-agent \mathcal{V}\mathcal{S}\mathcal{K} Logic (2000) (8)
AGENTS AND SOFTWARE ENGINEERING (2002) (8)
Iterated Boolean Games for Rational Verification (2017) (8)
Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper) (1997) (8)
A Graphical Representation for Games in Partition Function Form (2015) (8)
On the use of logic in negotiation (2000) (8)
A new approach to measure social capital using game-theoretic techniques (2015) (8)
Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions (2002) (8)
Temporal Reasoning in Agent-Based Systems (2005) (8)
Preferences in Qualitative Coalitional Games (2004) (8)
Learning action effects in partially observable domains (2010) (8)
Agent-based digital libraries: driving the information economy (1997) (7)
Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages (2000) (7)
Evaluation of election outcomes under uncertainty (2008) (7)
A New Age of AI: Features and Futures (2022) (7)
An approximation method for power indices for voting games (2010) (7)
A LOGIC OF BDI AGENTS WITH PROCEDURAL KNOWLEDGE (1996) (7)
Strategy Logics and the Game Description Language (2007) (7)
Strategy Logics and the Game Description Language (2007) (7)
On the Identification of Agents (2000) (7)
Lukasiewicz games (2014) (7)
A heuristic approximation method for the Banzhaf index for voting games (2012) (7)
Multi-Modal CTL: Completeness, Complexity, and an Application (2009) (6)
Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents (2015) (6)
Mechanism Design for Defense Coordination in Security Games (2020) (6)
ESPERONTO APPLICATION: SERVICE PROVISION OF SEMANTIC ANNOTATION, AGGREGATION, INDEXING AND ROUTING OF TEXTUAL, MULTIMEDIA, AND MULTILINGUAL WEB CONTENT (2003) (6)
Reasoning about knowledge by Ronald Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi, MIT Press, Cambridge, MA, 1995, pp 477, $45.00 cloth, ISBN 0-262-06162-7 (1996) (6)
Proof systems and transformation games (2010) (6)
Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms (2009) (6)
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (2016) (6)
Revenue maximising agendas for sequential English auctions (2004) (6)
Programming multi-agent systems in AgentSpeak using Jason : a practical introduction with Jason (2008) (6)
Agent research and development in Europe (2000) (6)
Equilibria for games with combined qualitative and quantitative objectives (2020) (6)
k-Coalitional Cooperative Games (2016) (6)
Logics for Qualitative Coalitional Games (2009) (6)
Logic-Based Agent Verification (2007) (5)
Principles of Automated Negotiation: Applications (2014) (5)
Computing optimal coalition structures in polynomial time (2018) (5)
Sequential auctions for common value objects with budget constrained bidders (2010) (5)
Knowledge Condition Games (2006) (5)
Specifying and verifying distributed artificial intelligent systems (1993) (5)
A logic of propositional control for truthful implementations (2009) (5)
Evolutionary Synthesis of Stable Normative Systems (2017) (5)
SERSE: Searching for Digital Content in Esperonto (2004) (5)
Completeness and Complexity of Multi-modal CTL (2009) (5)
A logical characterisation of qualitative coalitional games (2007) (5)
A Measure of Synergy in Coalitions (2014) (5)
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers (2009) (5)
NormLab: a framework to support research on norm synthesis (2014) (5)
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice (2021) (5)
Extending NormLab to Spur Research on Norm Synthesis (2015) (5)
Automating Decision Making to Help Establish Norm-Based Regulations (2017) (5)
Building and using social structures: A case study using the agent ART testbed (2013) (4)
Semantic intelligent middleware for the web and the grid (2004) (4)
Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces (2020) (4)
Them and Us: Autonomous Agents In Vivo and In Silico (2014) (4)
Tractability Results for Automatic Contracting (2004) (4)
Scientia potentia est (2011) (4)
33 Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions (2015) (4)
Sequential Auctions in Uncertain Information Settings (2007) (4)
Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages (1996) (4)
AI and Economics (2017) (4)
Agent Development Tools (2001) (4)
Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II (2001) (4)
Web services negotiation in an insurance grid (2007) (4)
Computation and the prisoner's dilemma (2012) (4)
Intention reconsider-ation reconsidered (1999) (4)
Power and welfare in bargaining for coalition structure formation (2016) (4)
A Measure of Added Value in Groups (2019) (4)
Equilibrium Design for Concurrent Games (2021) (4)
The computational complexity of boolean and stochastic agent design problems (2002) (4)
Cooperative Concurrent Games (2019) (4)
First international workshop, AOSE 2000 on Agent-oriented software engineering (2001) (4)
Evaluation of scalable multi-agent system architectures for searching the Semantic Web (2010) (4)
Forming Fuzzy Coalitions in Cooperative Superadditive Games (2007) (3)
Thinking Backward with Professor Zermelo (2015) (3)
Model Checking Knowledge and Time via Local Propositions: Cooperative and Adversarial Systems (2004) (3)
Decomposing constraint systems: equivalences and computational properties (2011) (3)
Optimal Agendas for Sequential Auctions for Common and Private Value Objects (2005) (3)
Artificial Intelligence requires more than deep learning - but what, exactly? (2020) (3)
Consumer Flexibility Aggregation Using Partition Function Games With Non-Transferable Utility (2021) (3)
An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction (2016) (3)
Architectures and Languages: A Survey (1995) (3)
Non-Utilitarian Coalition Structure Generation (2016) (3)
Computational Analysis of Connectivity Games with Applications to Terrorist Networks (2013) (3)
A Framework for Dynamic Agent Organizations (2009) (3)
Marginality Approach to Shapley Value in Games with Externalities (2013) (3)
Quantifying over coalitions in epistemic logic (2008) (3)
Social Laws and Anti-Social Behaviour (2008) (3)
Knowledge and Action in Semi-public Environments (2011) (3)
Expressiveness and Nash Equilibrium in Iterated Boolean Games (2016) (3)
On the structure of events in Boolean games (2014) (3)
Combinatorial Auctions with Externalities (Extended Abstract) (2010) (3)
Agents on the Web: Agent Research and Development in Europe (2000) (3)
Łukasiewicz logics for cooperative games (2019) (3)
A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns (2003) (3)
MYWORLD: AN AGENT-ORIENTED TESTBED FOR DISTRIBUTED ARTIFICIAL INTELLIGENCE (2002) (3)
Characterising the Manipulability of Boolean Games (2017) (3)
Qualitative Coalitional Reasoning with Preferences (2004) (3)
Knowledge , and Time : Alternating-time Temporal Epistemic Logic and its Applications (2003) (3)
Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities (2019) (3)
Knowledge , and Time : Alternating-time Temporal Epistemic Logic and its Applications (2003) (3)
The cooperative problem solving process: A formal model (1994) (3)
Agent-oriented software engineering (workshop). (2000) (3)
Rational Verification for Probabilistic Systems (2021) (2)
A logical approach to simulating societies (2006) (2)
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25-31 July 2015 (2015) (2)
An Analysis of Sequential Auctions for Common and Private Value Objects (2005) (2)
Towards the Verification of Human-Robot Teams (2005) (2)
Delegating Decisions in Strategic Settings (2012) (2)
The Triumph of Rationality (2012) (2)
Mean-Payoff Games with ω-Regular Specifications (2022) (2)
State-of-the-art in Agent-based Services (2005) (2)
Behavioural strategies in weighted Boolean games (2020) (2)
Intelligent Agents: Proceedings of 1st Int. Workshop on Agent Theories Architectures and Languages (ATAL-94) (1995) (2)
Who speaks for AI? (2016) (2)
The Shapley Axiomatization for Values in Partition Function Games (2013) (2)
Proceedings of the workshop on Intelligent agents II : agent theories, architectures, and languages: agent theories, architectures, and languages (1996) (2)
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 (2015) (2)
How Members of Covert Networks Conceal the Identities of Their Leaders (2021) (2)
Making money from agents (1999) (2)
An initial response to the OAS'03 challenge problem (2003) (2)
Program models and semi-public environments (2019) (2)
The DACS Methodology for Production Control (2004) (2)
On optimal agendas for package deal negotiation (2011) (2)
Intention Reconsideration as Discrete Deliberation Scheduling (2001) (2)
Multi-Player Games with LDL Goals over Finite Traces (2020) (2)
ECAI 2010 : 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal : including Prestigious Applications of Artificial Intelligence (PAIS-2010) : proceedings (2010) (2)
Optimal Agendas for Sequential Negotiations (2014) (2)
Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (2006) (2)
Negotiated Path Planning for Non-Cooperative Multi-Robot Systems (2022) (2)
Strategic considerations in the design of committees (2013) (2)
The Jason Agent Programming Language (2007) (2)
The Joy of Matching (2013) (2)
The Simple Normative Systems Language (2006) (1)
Evaluation of the DACS Methodology (2004) (1)
Intelligent Agents IV : Proceedings of the Fourth International Workshop on Agent Theories , Architectures and Languages (2014) (1)
Proof systems and transformation games (2012) (1)
Logics of Interaction, Coalitions and Social Choice (extended abstract of invited (2008) (1)
An abstract framework for reasoning about trust (Extended Abstract) (2011) (1)
The BDI Agent Model (2007) (1)
IRON: a machine for the automated synthesis of normative systems (2013) (1)
The Architecture of Co-operating Intelligent Agents (1990) (1)
Automated analysis of weighted voting games (2011) (1)
Towards a Fair Allocation of Rewards in Multi-Level Marketing (2014) (1)
Panel Summary: Agent Development Tools (2000) (1)
Web Economics: A Case for Agent-Based Digital Libraries (2002) (1)
Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems (2004) (1)
Editorial (2003) (1)
Majority bargaining for resource division (2016) (1)
The Computational Difficulty of Bribery in Qualitative Coalitional Games (2007) (1)
From model checking to equilibrium checking (2016) (1)
A Cooperation Logic Framework for Social Laws (1)
Diversity and agent technology (1999) (1)
Partial Order Games (2021) (1)
Logic for Automated Mechanism Design and Analysis (2008) (1)
Hard and Soft Preparation Sets in Boolean Games (2016) (1)
On the Complexity of Rational Verification (2022) (1)
A Review of " Reasoning about Rational Agents " by Michael Wooldridge, Mit Press 2000 (2006) (1)
Specification and Verification of Multi-Agent Systems (1997) (1)
Agent-Based Software Engineering - Guest Editors' Introduction (2001) (1)
A Game-Theoretic Algorithm for Link Prediction (2019) (1)
Model Checking GDL through MOCHA : A Case Study (2009) (1)
Understanding Mechanism Design—Part 2 of 3: The Vickrey-Clarke-Groves Mechanism (2021) (1)
What Is Missing from Contemporary AI? The World (2022) (1)
Extended Modal Logics for Social Software (extended abstract of invited talk) (2007) (1)
Desiderata for Agent Argumentation Protocols (Tracking number 215) (2001) (1)
Some Experiences with the Use of Ontologies in Deliberative Agents (2005) (1)
Proceedings of the Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2010) (2010) (1)
Local Equilibria in Logic-Based Multi-Player Games (2018) (1)
Summary of Notation (2003) (1)
Monte Carlo Techniques for Approximating the Myerson Value - Theoretical and Empirical Analysis (2019) (1)
Combinatorial Auctions with Externalities: Basic Properties and Bidding Languages (2011) (1)
Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers (2009) (0)
Proceedings of LCMAS04 (International Workshop on Logic in Multi-Agent Systems) (2005) (0)
Contents of Volume 23 (1991) (0)
Redistribution Schemes for Resource-Bounded Agents (2015) (0)
Cognitive Architectures and Autonomy : Commentary and Response (2012) (0)
Proceedings of the 4th International Workshop on Strategic Reasoning: Imperfect Information in Reactive Modules Games (Abstract) (2016) (0)
Principles of Automated Negotiation: Multilateral negotiations (2014) (0)
Logics of Time and Action (2012) (0)
Replication Robust Payoff Allocation in Submodular Cooperative Games (2022) (0)
Chapter 11 Knowledge and Ability (2016) (0)
Multilateral Bargaining for Resource Division (2014) (0)
A formal analysis of trust and distrust relationships in Shakespeare’s Othello (2014) (0)
ENGINEERING WITH AGENTS : Pitfalls and Pratfalls (1999) (0)
SOFTWARE WITH AGENTS: Pitfalls and Pratfalls (1999) (0)
Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2009) (2009) (0)
Agent-Based Production Control (2004) (0)
Games in extensive form (2014) (0)
Strategic analysis of multi-issue negotiation (2014) (0)
Games in normal form (2014) (0)
Complexity results for an independent friendly propositional Logic (2004) (0)
Teams over Time — a Logical Perspective (2005) (0)
Man–machine negotiations (2014) (0)
Proceedings of the 4th International Workshop on Strategic Reasoning: Expressiveness and Nash Equilibrium in Iterated Boolean Games (Abstract) (2016) (0)
Understanding Mechanism Design––Part 1 of 3 (2020) (0)
On two perspectives in decomposing constraint systems (2010) (0)
Foreword (2005) (0)
Off-line synthesis of evolutionarily stable normative systems (2018) (0)
Axiomatic analysis of negotiation (2014) (0)
Power and welfare in bargaining for coalition structure formation (2015) (0)
How Inappropriately Heavyweight AI Solutions Dragged Down A Startup (and Made Me Realize that Industrial Salaries Are High for a Good Reason) (2008) (0)
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings (2010) (0)
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence (2010) (0)
Through the Veil of Ignorance: Understanding Social Welfare (2020) (0)
Appendix: Reference Guide (2007) (0)
Advanced Goal‐Based Programming (2007) (0)
Majority Bargaining for Resource Division (Extended Abstract) (2014) (0)
A. RAO AND M. WOOLDRIDGE FOUNDATIONS OF RATIONAL AGENCY (0)
Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities (2019) (0)
Optimal coalition structures for probabilistically monotone partition function games (2022) (0)
Main Program – Best Papers Best Papers Session II Designing Incentives for Boolean Games (0)
Knowledge in Public Environments (2013) (0)
Matthew Weiner and Nuel belnap/how causal probabilities might fit into our objectively indeterministic world mp lynch/zombies and the case of the phenomenal pickpocket (2006) (0)
User‐Defined Components (2007) (0)
Cooperation Structures Cooperation Structures (2014) (0)
Defense coordination in security games: Equilibrium analysis and mechanism design (2022) (0)
G T ] 2 0 M ay 2 01 9 Imitative Follower Deception in Stackelberg Games ∗ (2019) (0)
On the Computational Complexity of Designing Bounded Agents (2003) (0)
Editor-in-chief Table of Contents Section Knowledge Systems in Law and Computer Science (section-editor Radboud Winkels) .................28 Teaching Case-based Argumentation through a Model and Examples (bram Roth) ............................. Clime: Juridische Informatica Ontsloten via Het Intern (1999) (0)
Towards a Logic of Social Welfare 1 (2006) (0)
Summary of key notation (2014) (0)
Incentive En g ineerin g for Boolean Games (2012) (0)
Stabilizing Boolean Games by Sharing Information (2012) (0)
Principles of Automated Negotiation: The negotiation agenda (2014) (0)
Agent Research and Development in Europe (Part Two). (2000) (0)
Cooperative Games in MultiAgent Systems (2011) (0)
Retrieval of scientific data in Esperonto (0)
Ontheuseof logic in negotiation (2002) (0)
Reasoning about Choice (2013) (0)
Qualitative Coalitional Games We give a brief introduction to Qualitative Coalitional Games (2007) (0)
Joint conversation specification and compliance (2007) (0)
Computing optimal coalition structures in polynomial time (2018) (0)
On two perspectives in decomposing constraint systems Equivalences and computational properties (2010) (0)
Program equilibrium—a program reasoning approach (2011) (0)
Reasoning about strategic games with hybrid logic of choice and preferences ( draft ) (2008) (0)
Synthesising Evolutionarily Stable Normative Systems (2017) (0)
Logic for Negotiation (2010) (0)
Preface (2003) (0)
Principles of Automated Negotiation: Strategic analysis of single-issue negotiation (2014) (0)
Principles of Automated Negotiation: Negotiation domains (2014) (0)
C HAPTER 10 : Temporal Belief Logics for Modelling Distributed Artificial Intelligence Systems (1995) (0)
A Model for Multi-issue Negotiation (2005) (0)
THE S TRUCTURE OF E VENTS IN B OOLEAN G AMES (2017) (0)
Intelligent agents (1999) (0)
Evolutionary Synthesis of Stable Normative Systems ( Extended Abstract ) (2017) (0)
Extended Modal Logics for Social Software (2007) (0)
Senior Program Committee Members (2004) (0)
Automated Synthesis of Compact Normative Systems (2015) (0)
Preface to the SR-2015 special issue (2017) (0)
Completeness, Complexity, and an Application (2009) (0)
Bargaining for Coalition Structure Formation (2014) (0)
Ieee Intelligent Systems a I a N Hawks and Doves (0)
(cid:32)Lukasiewicz Logics for Cooperative Games (2019) (0)
MDP Abstraction with Successor Features (2021) (0)
Power and welfare in noncooperative bargaining for coalition structure formation (2014) (0)
The Simple Normative System Language (SNL) (2007) (0)
Majority bargaining for resource division (2015) (0)
Multiagent Model-based Credit Assignment for Continuous Control (2021) (0)

This paper list is powered by the following services:

Other Resources About Michael Wooldridge

en.wikipedia.org

What Schools Are Affiliated With Michael Wooldridge ?

Michael Wooldridge is affiliated with the following schools:

Image Attributions

Image Source for Michael Wooldridge