Michael Wooldridge

According to our database1, Michael Wooldridge authored at least 367 papers between 1992 and 2018.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2015, "For contributions to multi-agent systems and the formalization of rational action in multi-agent environments.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Preface to the SR-2015 special issue.
Inf. Comput., 2018

The Stochastic Shapley Value for coalitional games with externalities.
Games and Economic Behavior, 2018

Agent-Based Modeling for Complex Financial Systems.
IEEE Intelligent Systems, 2018

Forming k coalitions and facilitating relationships in social networks.
Artif. Intell., 2018

Off-line synthesis of evolutionarily stable normative systems.
Autonomous Agents and Multi-Agent Systems, 2018

EVE: A Tool for Temporal Equilibrium Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Moral Values in Norm Decision Making.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Stackelberg Security Games with Multiple Uncoordinated Defenders.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Local Equilibria in Logic-Based Multi-Player Games.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Exploiting Moral Values to Choose the Right Norms.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017
Minds and Machines Special Issue: Ethics and Artificial Intelligence.
Minds and Machines, 2017

AI and Economics.
IEEE Intelligent Systems, 2017

Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111).
Dagstuhl Reports, 2017

From model checking to equilibrium checking: Reactive modules for rational verification.
Artif. Intell., 2017

Characterising the Manipulability of Boolean Games.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Nash Equilibrium and Bisimulation Invariance.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

On the Construction of Covert Networks.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Evolutionary Synthesis of Stable Normative Systems.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Automating Decision Making to Help Establish Norm-Based Regulations.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Iterated Boolean Games for Rational Verification.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Iterated Games with LDL Goals over Finite Traces.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Strategic Social Network Analysis.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Weighted Voting Games.
Proceedings of the Handbook of Computational Social Choice, 2016

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction.
Synthese, 2016

Hard and Soft Preparation Sets in Boolean Games.
Studia Logica, 2016

A hybrid exact algorithm for complete set partitioning.
Artif. Intell., 2016

Power and welfare in bargaining for coalition structure formation.
Autonomous Agents and Multi-Agent Systems, 2016

Imperfect Information in Reactive Modules Games.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Boolean Hedonic Games.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

From model checking to equilibrium checking.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Non-Utilitarian Coalition Structure Generation.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

k-Coalitional Cooperative Games.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Expressiveness and Nash Equilibrium in Iterated Boolean Games.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Rational Verification: From Model Checking to Equilibrium Checking.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Closeness Centrality for Networks with Overlapping Community Structure.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions.
ACM Trans. Comput. Log., 2015

Online Automated Synthesis of Compact Normative Systems.
TAAS, 2015

A new approach to measure social capital using game-theoretic techniques.
SIGecom Exchanges, 2015

Thinking Backward with Professor Zermelo.
IEEE Intelligent Systems, 2015

Defeating Terrorist Networks with Game Theory.
IEEE Intelligent Systems, 2015

Who speaks for AI?
AI Matters, 2015

Coalition structure generation: A survey.
Artif. Intell., 2015

A Tool for the Automated Verification of Nash Equilibria in Concurrent Games.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Expresiveness and Complexity Results for Strategic Reasoning.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Extending NormLab to Spur Research on Norm Synthesis.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Synthesising Liberal Normative Systems.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Efficient Computation of Semivalues for Game-Theoretic Network Centrality.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

A Graphical Representation for Games in Partition Function Form.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Implementation and Computation of a Value for Generalized Characteristic Function Games.
ACM Trans. Economics and Comput., 2014

Manipulating Games by Sharing Information.
Studia Logica, 2014

Measuring Inconsistency in Multi-Agent Systems.
KI, 2014

The Negotiation Game.
IEEE Intelligent Systems, 2014

Reasoning about Equilibria in Game-Like Concurrent Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Multilateral Bargaining for Resource Division.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Bargaining for Coalition Structure Formation.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Equilibria of concurrent games on event structures.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Forming coalitions and facilitating relationships for completing tasks in social networks.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Algorithms for the shapley and myerson values in graph-restricted games.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

NormLab: a framework to support research on norm synthesis.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Minimality and simplicity in the on-line automated synthesis of normative systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Lukasiewicz games.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Hard and soft equilibria in boolean games.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Majority bargaining for resource division.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Power and welfare in noncooperative bargaining for coalition structure formation.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Them and Us: Autonomous Agents In Vivo and In Silico.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

Principles of Automated Negotiation
Cambridge University Press, ISBN: 9780511751691, 2014

2013
Building and using social structures: A case study using the agent ART testbed.
ACM TIST, 2013

Program equilibrium - a program reasoning approach.
Int. J. Game Theory, 2013

Game Theory and Evolution.
IEEE Intelligent Systems, 2013

The Joy of Matching.
IEEE Intelligent Systems, 2013

Incentive engineering for Boolean games.
Artif. Intell., 2013

Boolean Games with Epistemic Goals.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks.
Proceedings of the IJCAI 2013, 2013

Iterated Boolean Games.
Proceedings of the IJCAI 2013, 2013

Verifiable Equilibria in Boolean Games.
Proceedings of the IJCAI 2013, 2013

IRON: a machine for the automated synthesis of normative systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Automated synthesis of normative systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Strategic considerations in the design of committees.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Reasoning about Choice.
Proceedings of the Agreement Technologies - Second International Conference, 2013

2012
A heuristic approximation method for the Banzhaf index for voting games.
Multiagent and Grid Systems, 2012

Does Game Theory Work?
IEEE Intelligent Systems, 2012

Computation and the prisoner's dilemma.
IEEE Intelligent Systems, 2012

The Triumph of Rationality.
IEEE Intelligent Systems, 2012

Cooperative Game Theory: Basic Concepts and Computational Challenges.
IEEE Intelligent Systems, 2012

Logics for Multiagent Systems.
AI Magazine, 2012

Anytime coalition structure generation in multi-agent systems with positive or negative externalities.
Artif. Intell., 2012

On the evaluation of election outcomes under uncertainty.
Artif. Intell., 2012

Bad equilibria (and what to do about them).
Proceedings of the ECAI 2012, 2012

Delegating Decisions in Strategic Settings.
Proceedings of the ECAI 2012, 2012

Conservative Social Laws.
Proceedings of the ECAI 2012, 2012

Argument Aggregation: Basic Axioms and Complexity Results.
Proceedings of the Computational Models of Argument, 2012

A logic of revelation and concealment.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Towards tractable Boolean games.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Computational Aspects of Cooperative Game Theory
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, 2011

Reasoning About Social Choice Functions.
J. Philosophical Logic, 2011

Weighted argument systems: Basic definitions, algorithms, and complexity results.
Artif. Intell., 2011

On the logic of preference and judgment aggregation.
Autonomous Agents and Multi-Agent Systems, 2011

An Ontology for Coordination.
Applied Artificial Intelligence, 2011

Playing Games with Games.
Proceedings of the Eleventh Scandinavian Conference on Artificial Intelligence, 2011

Knowledge and Action in Semi-public Environments.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Computational Aspects of Cooperative Game Theory.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011

Manipulating Boolean Games through Communication.
Proceedings of the IJCAI 2011, 2011

Incentive Engineering for Boolean Games.
Proceedings of the IJCAI 2011, 2011

Decomposing constraint systems: equivalences and computational properties.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Knowledge and control.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

On optimal agendas for package deal negotiation.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

An abstract framework for reasoning about trust.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Designing incentives for Boolean games.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Scientia potentia est.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Constrained Coalition Formation.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Postulates for revising BDI structures.
Synthese, 2010

Sequential auctions for common value objects with budget constrained bidders.
Multiagent and Grid Systems, 2010

Reasoning About the Transfer of Control.
J. Artif. Intell. Res., 2010

Evaluation of scalable multi-agent system architectures for searching the Semantic Web.
IJMSO, 2010

Robust normative systems and a logic of norm compliance.
Logic Journal of the IGPL, 2010

A supply chain as a network of auctions.
Decision Support Systems, 2010

Solving coalitional resource games.
Artif. Intell., 2010

Proof Systems and Transformation Games.
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

A distributed algorithm for anytime coalition structure generation.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

A logic-based representation for coalitional games with externalities.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Combinatorial auctions with externalities.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Optimal social laws.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Intentions in Equilibrium.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Uncertain Agent Verification through Probabilistic Model-Checking.
Proceedings of the Safety and Security in Multiagent Systems, 2009

Multi-Modal CTL: Completeness, Complexity, and an Application.
Studia Logica, 2009

Verification of Games in the Game Description Language.
J. Log. Comput., 2009

Property-based Slicing for Agent Verification.
J. Log. Comput., 2009

Logics for Qualitative Coalitional Games.
Logic Journal of the IGPL, 2009

Completeness and Complexity of Multi-modal CTL.
Electr. Notes Theor. Comput. Sci., 2009

Exogenous coalition formation in the e-marketplace based on geographical proximity.
Electronic Commerce Research and Applications, 2009

On the computational complexity of weighted voting games.
Ann. Math. Artif. Intell., 2009

Reasoning about coalitional games.
Artif. Intell., 2009

A logic of propositional control for truthful implementations.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

On representing coalitional games with externalities.
Proceedings of the Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), 2009

Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities.
Proceedings of the IJCAI 2009, 2009

Robust Normative Systems.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

A logic of games and propositional control.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Boolean combinations of weighted voting games.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Hedonic coalition nets.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Inconsistency tolerance in weighted argument systems.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Power in normative systems.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Complexity of Abstract Argumentation.
Proceedings of the Argumentation in Artificial Intelligence, 2009

An Introduction to MultiAgent Systems (2. ed.).
Wiley, ISBN: 978-0-470-51946-2, 2009

2008
Multi-Agent Systems.
Proceedings of the Handbook of Knowledge Representation, 2008

Negotiation among autonomous computational agents: principles, analysis and challenges.
Artif. Intell. Rev., 2008

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

A linear approximation method for the Shapley value.
Artif. Intell., 2008

Model Checking Strategic Equilibria.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Logic for Automated Mechanism Design and Analysis.
Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms.
Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Optimal Coalition Structure Generation In Partition Function Games.
Proceedings of the ECAI 2008, 2008

Evaluation of election outcomes under uncertainty.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

An anytime approximation method for the inverse Shapley value problem.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

A tractable and expressive class of marginal contribution nets and its applications.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Cooperative Boolean games.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Robust normative systems.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Quantifying over coalitions in epistemic logic.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

On the Dimensionality of Voting Games.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
A Framework for Web service negotiation.
TAAS, 2007

Social laws in alternating time: effectiveness, feasibility, and synthesis.
Synthese, 2007

Towards a theory of intention revision.
Synthese, 2007

Logic-Based Agent Verification.
J. Applied Logic, 2007

A logical characterisation of qualitative coalitional games.
Journal of Applied Non-Classical Logics, 2007

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.
J. Artif. Intell. Res., 2007

Alternating-time temporal logic with explicit strategies.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Common Semantic Basis for BDI Languages.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Quantified Coalition Logic.
Proceedings of the IJCAI 2007, 2007

On the Logic of Normative Systems.
Proceedings of the IJCAI 2007, 2007

Forming Fuzzy Coalitions in Cooperative Superadditive Games.
Proceedings of ICEBE 2007, 2007

Joint Conversation Specification and Compliance.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

On the Logic of Normative Systems.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Joint conversation specification and compliance.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Web services negotiation in an insurance grid.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

On the relevance of utterances in formal inter-agent dialogues.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Sequential Auctions in Uncertain Information Settings.
Proceedings of the Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, 2007

A randomized method for the shapley value for the voting game.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Approximate and online multi-issue negotiation.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Normative system games.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Reasoning about judgment and preference aggregation.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

On the Relevance of Utterances in Formal Inter-agent Dialogues.
Proceedings of the Argumentation in Multi-Agent Systems, 4th International Workshop, 2007

Logic for Automated Mechanism Design - A Progress Report.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Computational Complexity of Weighted Threshold Games.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Foreword.
Synthese, 2006

ATL Satisfiability is Indeed EXPTIME-complete.
J. Log. Comput., 2006

Knowledge Condition Games.
Journal of Logic, Language and Information, 2006

Multi-Issue Negotiation with Deadlines.
J. Artif. Intell. Res., 2006

Model Checking for Multiagent Systems: the Mable Language and its Applications.
International Journal on Artificial Intelligence Tools, 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Automated Game Analysis via Probabilistic Model Checking: a case study.
Electr. Notes Theor. Comput. Sci., 2006

Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems.
AI Magazine, 2006

On the computational complexity of coalitional resource games.
Artif. Intell., 2006

Verifying Multi-agent Programs by Model Checking.
Autonomous Agents and Multi-Agent Systems, 2006

Programming Declarative Goals Using Plan Patterns.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Reasoning about action and cooperation.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Plan patterns for declarative goals in AgentSpeak.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the complexity of practical ATL model checking.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On Efficient Procedures for Multi-issue Negotiation.
Proceedings of the Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets, 2006

Temporal qualitative coalitional games.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the logic of coalitional games.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the Complexity of Linking Deductive and Abstract Argument Systems.
Proceedings of the Proceedings, 2006

2005
Temporal Reasoning in Agent-Based Systems.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

On obligations and normative ability: Towards a logical analysis of the social contract.
J. Applied Logic, 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

Guest Editorial.
Eng. Appl. of AI, 2005

Ontologies for supporting negotiation in e-commerce.
Eng. Appl. of AI, 2005

The complexity of agent design problems: Determinism and history dependence.
Ann. Math. Artif. Intell., 2005

Bargaining with incomplete information.
Ann. Math. Artif. Intell., 2005

A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents.
Artif. Intell. Rev., 2005

On the logic of cooperation and propositional control.
Artif. Intell., 2005

The complexity of contract negotiation.
Artif. Intell., 2005

Introducing Autonomic Behaviour in Semantic Web Agents.
Proceedings of the Semantic Web, 2005

An Ontological Framework for Dynamic Coordination.
Proceedings of the Semantic Web, 2005

An Analysis of the Shapley Value and Its Uncertainty for the Voting Game.
Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms, 2005

An Analysis of Sequential Auctions for Common and Private Value Objects.
Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms, 2005

A Model for Multi-issue Negotiation.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

An analysis of the Shapley Value and its Uncertainty for the Voting Game.
Proceedings of the EUMAS 2005, 2005

Intentions and Strategies in Game-Like Scenarios.
Proceedings of the Progress in Artificial Intelligence, 2005

On the meta-logic of arguments.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

On the dynamics of delegation, cooperation, and control: a logical account.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Knowledge and social laws.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A logic for strategic reasoning.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

MAGENTA technology: multi-agent systems for industrial logistics.
Proceedings of the 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, 2005

An analysis of the shapley value and its uncertainty for the voting game.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Sequential auctions for objects with common and private values.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Law-governed Linda as a semantics for agent dialogue protocols.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

On the Meta-logic of Arguments.
Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

2004
The theory and practice of intention reconsideration.
J. Exp. Theor. Artif. Intell., 2004

Toward Open Negotiation.
IEEE Internet Computing, 2004

Model Checking Rational Agents.
IEEE Intelligent Systems, 2004

Knowledge as Strategic Ability.
Electr. Notes Theor. Comput. Sci., 2004

Preface: Volume 85, Issue 2.
Electr. Notes Theor. Comput. Sci., 2004

Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming.
Ann. Math. Artif. Intell., 2004

Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems.
AI Magazine, 2004

On the computational complexity of qualitative coalitional games.
Artif. Intell., 2004

An agenda-based framework for multi-issue negotiation.
Artif. Intell., 2004

Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7.
Autonomous Agents and Multi-Agent Systems, 2004

The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.
Autonomous Agents and Multi-Agent Systems, 2004

Model Checking A Knowledge Exchange Scenario.
Applied Artificial Intelligence, 2004

SERSE: Searching for Digital Content in Esperonto.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

SERSE: Searching for Semantic Web Content.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Tractability Results for Automatic Contracting.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Social Laws in Alternating Time.
Proceedings of the Deontic Logic in Computer Science, 2004

On Obligations and Abilities.
Proceedings of the Deontic Logic in Computer Science, 2004

Preferences in Game Logics.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Revenue Maximising Agendas for Sequential English Auctions.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Optimal Negotiation of Multiple Issues in Incomplete Information Settings.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

State-Space Reduction Techniques in Agent Verification.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues.
Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004

2003
Developing multiagent systems: The Gaia methodology.
ACM Trans. Softw. Eng. Methodol., 2003

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.
Studia Logica, 2003

Preface.
Studia Logica, 2003

Properties and Complexity of Some Formal Inter-agent Dialogues.
J. Log. Comput., 2003

Towards a Logic of Rational Agency.
Logic Journal of the IGPL, 2003

Editorial.
Logic Journal of the IGPL, 2003

In Appreciation.
Autonomous Agents and Multi-Agent Systems, 2003

Verifiable Multi-agent Programs.
Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

An initial response to the OAS'03 challenge problem.
Proceedings of the Ontologies in Agent Systems 2003, 2003

Model Checking Multi-Agent Programs with CASP.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

On the outcomes of formal inter-agent dialogues.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Model checking for ACL compliance verification.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Optimal agendas for multi-issue negotiation.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Towards practical reasoning agents for the semantic web.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Model checking agentspeak.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

The Mechanics of Some Formal Inter-agent Dialogues.
Proceedings of the Advances in Agent Communication, 2003

Model Checking for ACL Compliance Verification.
Proceedings of the Advances in Agent Communication, 2003

2002
Game Theory and Decision Theory in Multi-Agent Systems.
Autonomous Agents and Multi-Agent Systems, 2002

On Partially Observable MDPs and BDI Models.
Proceedings of the Foundations and Applications of Multi-Agent Systems, 2002

Model Checking Knowledge and Time.
Proceedings of the Model Checking of Software, 2002

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Model checking multi-agent systems with MABLE.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

An analysis of formal inter-agent dialogues.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Desiderata for agent argumentation protocols.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Tractable multiagent planning for epistemic goals.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Multi-issue negotiation under time constraints.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

The computational complexity of boolean and stochastic agent design problems.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Re-use of Interaction Protocols for Agent-Based Control Applications.
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

An Ontology Based Approach to Automated Negotiation.
Proceedings of the Agent-Mediated Electronic Commerce IV, 2002

The Influence of Information on Negotiation Equilibrium.
Proceedings of the Agent-Mediated Electronic Commerce IV, 2002

Introduction to multiagent systems.
Wiley, ISBN: 978-0-471-49691-5, 2002

2001
The control of reasoning in resource-bounded agents.
Knowledge Eng. Review, 2001

Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems.
International Journal of Software Engineering and Knowledge Engineering, 2001

Agent-Based Software Engineering - Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2001

A Computationally Grounded Logic of Visibility, Perception, and Knowledge.
Logic Journal of the IGPL, 2001

Intelligent Agents: The Key Concepts.
Proceedings of the Multi-Agent-Systems and Applications II, 2001

Reasoning about Intentions in Uncertain Domains.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

The Computational Complexity of Agent Verification.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Optimal Negotiation Strategies for Agents with Incomplete Information.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

A Lifecycle for Models of Large Multi-agent Systems.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

Principles of intention reconsideration.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

Adaptive task resources allocation in multi-agent systems.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

A Classification Scheme for Negotiation in Electronic Commerce.
Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

Agent-Oriented Software Engineering for Internet Applications.
Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000
Guest Editors' Introduction: Infrastructure, Technology, Applications.
IEEE Internet Computing, 2000

Agents on the Web: Agent Research and Development in Europe.
IEEE Internet Computing, 2000

The Gaia Methodology for Agent-Oriented Analysis and Design.
Autonomous Agents and Multi-Agent Systems, 2000

Semantic Issues in the Verification of Agent Communication Languages.
Autonomous Agents and Multi-Agent Systems, 2000

On the Sources of Complexity in Agent Design.
Applied Artificial Intelligence, 2000

Multi-agent VSK Logic.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Agent-oriented software engineering (workshop).
Proceedings of the 22nd International Conference on on Software Engineering, 2000

The Computational Complexity of Agent Design Problems.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Computationally Grounded Theories of Agency.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Languages for Negotiation.
Proceedings of the ECAI 2000, 2000

Intention Reconsideration in Theory and Practice.
Proceedings of the ECAI 2000, 2000

Optimistic and Disjunctive Agent Design Problems.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Panel Summary: Agent Development Tools.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Organizational Abstractions for the Analysis and Design of Multi-agent Systems.
Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

Agent-Oriented Software Engineering: The State of the Art.
Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

On the Identification of Agents in the Design of Production Control Systems.
Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages.
Proceedings of the Agent-Mediated Electronic Commerce III, 2000

Intention reconsideration in complex environments.
Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1999
The Cooperative Problem-solving Process.
J. Log. Comput., 1999

Diversity and agent technology.
Knowledge Eng. Review, 1999

Making money from agents.
Knowledge Eng. Review, 1999

Software Engineering with Agents: Pitfalls and Pratfalls.
IEEE Internet Computing, 1999

Editorial.
Autonomous Agents and Multi-Agent Systems, 1999

Reasoning about Visibility, Perception and Knowledge.
Proceedings of the Intelligent Agents VI, 1999

Agent-Oriented Software Engineering.
Proceedings of the Intelligent Agents VI, 1999

A Methodology for Agent-Oriented Analysis and Design.
Proceedings of the Third Annual Conference on Autonomous Agents, 1999

Verifying that Agents Implement a Communication Language.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Robots with the Best of Intentions.
Artificial Intelligence Today, 1999

1998
Editorial.
J. Log. Comput., 1998

Resolution for Temporal Logics of Knowledge.
J. Log. Comput., 1998

Rationality in Multi-Agent Systems.
Knowledge Eng. Review, 1998

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.
Journal of Applied Non-Classical Logics, 1998

A Roadmap of Agent Research and Development.
Autonomous Agents and Multi-Agent Systems, 1998

Verifiable Semantics for Agent Communication Languages.
Proceedings of the Third International Conference on Multiagent Systems, 1998

A Knowledge-theoretic Approach to Distributed Problem Solving.
ECAI, 1998

Intention Reconsideration Reconsidered.
Proceedings of the Intelligent Agents V, 1998

A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series.
Proceedings of the Intelligent Agents V, 1998

The Belief-Desire-Intention Model of Agency.
Proceedings of the Intelligent Agents V, 1998

Pitfalls of Agent-Oriented Development.
Proceedings of the Second International Conference on Autonomous Agents, 1998

1997
Formalisms for multi-agent systems.
Knowledge Eng. Review, 1997

On the Formal Specification and Verification of Multi-Agent Systems.
Int. J. Cooperative Inf. Syst., 1997

Agent-based software engineering.
Software Engineering - IEE Proceedings, 1997

Paying Their Way: Commercial Digital Libraries for the 21st Century.
D-Lib Magazine, 1997

Agent-Based Digital Libraries: Driving the Information Economy.
Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Distributed Problem-Solving as Concurrent Theorem Proving.
Proceedings of the Multi-Agent Rationality, 1997

Cooperation Structures.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Issues in Agent-Based Software Engineering.
Proceedings of the Cooperative Information Agents, First International Workshop, 1997

Sofware Agent Technologies.
Proceedings of the Software Agents and Soft Computing: Towards Enhancing Machine Intelligence, 1997

Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper).
Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

A Formal Specification of dMARS.
Proceedings of the Intelligent Agents IV, 1997

1996
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.
Knowledge Eng. Review, 1996

Practical Reasoning with Procedural Knowledge.
Proceedings of the Practical Reasoning, 1996

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.
Proceedings of the Practical Reasoning, 1996

A Knowledge-Theoretic Semantics for Concurrent METATEM.
Proceedings of the Intelligent Agents III, 1996

Agents as a Rorschach Test: A Response to Franklin and Graesser.
Proceedings of the Intelligent Agents III, 1996

1995
Intelligent agents: theory and practice.
Knowledge Eng. Review, 1995

Applying agent technology.
Applied Artificial Intelligence, 1995

Understanding the Emergence of Conventions in Multi-Agent Systems.
Proceedings of the First International Conference on Multiagent Systems, 1995

Agent Theories, Architectures, and Languages: A Bibliography.
Proceedings of the Intelligent Agents II, 1995

Time, Knowledge, and Choice.
Proceedings of the Intelligent Agents II, 1995

1994
Towards a Theory of Cooperative Problem Solving.
Proceedings of the Distributed Software Agents and Applications, 1994

A Decision Procedure for a Temporal Belief Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

Agent Theories, Architectures, and Languages: A Survey.
Proceedings of the Intelligent Agents, 1994

This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed.
Proceedings of the Intelligent Agents, 1994

Coherent Social Action.
ECAI, 1994

1993
Specifying and Verifying Distributed Intelligence Systems.
Proceedings of the Progress in Artificial Intelligence, 1993

1992
The logical modelling of computational multi-agent systems.
PhD thesis, 1992

A First-Order Branching Time Logic of Multi-Agent System.
ECAI, 1992


  Loading...