Michael J. Wooldridge

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

Algorithms for the shapley and myerson values in graph-restricted games.

[BibT_eX]

[DOI]

Oskar Skibski

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

NormLab: a framework to support research on norm synthesis.

[BibT_eX]

[DOI]

Iosu Mendizabal

David Sanchez-Pinsach

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.

[BibT_eX]

[DOI]

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

Lukasiewicz games.

[BibT_eX]

[DOI]

Enrico Marchioni

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

Hard and soft equilibria in boolean games.

[BibT_eX]

[DOI]

Paolo Turrini

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

Power and welfare in noncooperative bargaining for coalition structure formation.

[BibT_eX]

[DOI]

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

Optimal Agendas for Sequential Negotiations.

[BibT_eX]

[DOI]

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2014

Them and Us: Autonomous Agents In Vivo and In Silico.

[BibT_eX]

[DOI]

Peter Millican

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

Principles of Automated Negotiation

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 9780511751691, 2014

2013

Building and using social structures: A case study using the agent ART testbed.

[BibT_eX]

[DOI]

Elisabetta Erriquez

ACM Trans. Intell. Syst. Technol., 2013

Program equilibrium - a program reasoning approach.

[BibT_eX]

[DOI]

Cees Witteveen

Int. J. Game Theory, 2013

Game Theory and Evolution.

[BibT_eX]

[DOI]

Steve Phelps

IEEE Intell. Syst., 2013

The Joy of Matching.

[BibT_eX]

[DOI]

David F. Manlove

IEEE Intell. Syst., 2013

The Shapley Axiomatization for Values in Partition Function Games.

[BibT_eX]

[DOI]

Oskar Skibski

CoRR, 2013

Proof systems and transformation games.

[BibT_eX]

[DOI]

Yoram Bachrach

Michael Zuckerman

Jeffrey S. Rosenschein

Ann. Math. Artif. Intell., 2013

Incentive engineering for Boolean games.

[BibT_eX]

[DOI]

Ulle Endriss

Jérôme Lang

Artif. Intell., 2013

Boolean Games with Epistemic Goals.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Verifiable Equilibria in Boolean Games.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

IRON: a machine for the automated synthesis of normative systems.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Automated synthesis of normative systems.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Strategic considerations in the design of committees.

[BibT_eX]

[DOI]

Dmitrii V. Pasechnik

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Reasoning about Choice.

[BibT_eX]

[DOI]

Proceedings of the Agreement Technologies - Second International Conference, 2013

2012

A heuristic approximation method for the Banzhaf index for voting games.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2012

Does Game Theory Work?

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2012

Computation and the prisoner's dilemma.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2012

The Triumph of Rationality.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2012

Cooperative Game Theory: Basic Concepts and Computational Challenges.

[BibT_eX]

[DOI]

Georgios Chalkiadakis

IEEE Intell. Syst., 2012

Logics for Multiagent Systems.

[BibT_eX]

[DOI]

AI Mag., 2012

Anytime coalition structure generation in multi-agent systems with positive or negative externalities.

[BibT_eX]

[DOI]

Artif. Intell., 2012

On the evaluation of election outcomes under uncertainty.

[BibT_eX]

[DOI]

Noam Hazon

Yonatan Aumann

Artif. Intell., 2012

Bad equilibria (and what to do about them).

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Delegating Decisions in Strategic Settings.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Conservative Social Laws.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Argument Aggregation: Basic Axioms and Complexity Results.

[BibT_eX]

[DOI]

Pierre Marquis

Proceedings of the Computational Models of Argument, 2012

A logic of revelation and concealment.

[BibT_eX]

[DOI]

Petar Iliev

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Towards tractable Boolean games.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Computational Aspects of Cooperative Game Theory

[BibT_eX]

[DOI]

Georgios Chalkiadakis

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01558-8, 2011

Reasoning About Social Choice Functions.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

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

[BibT_eX]

[DOI]

Artif. Intell., 2011

On the logic of preference and judgment aggregation.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2011

An Ontology for Coordination.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2011

Playing Games with Games.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Scandinavian Conference on Artificial Intelligence, 2011

Knowledge and Action in Semi-public Environments.

[BibT_eX]

[DOI]

Petar Iliev

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Computational Aspects of Cooperative Game Theory.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011

Manipulating Boolean Games through Communication.

[BibT_eX]

[DOI]

John Grant

Inon Zuckerman

Proceedings of the IJCAI 2011, 2011

Decomposing constraint systems: equivalences and computational properties.

[BibT_eX]

[DOI]

Cees Witteveen

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

Knowledge and control.

[BibT_eX]

[DOI]

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

On optimal agendas for package deal negotiation.

[BibT_eX]

[DOI]

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

An abstract framework for reasoning about trust.

[BibT_eX]

[DOI]

Elisabetta Erriquez

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

Designing incentives for Boolean games.

[BibT_eX]

[DOI]

Ulle Endriss

Jérôme Lang

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

Scientia potentia est.

[BibT_eX]

[DOI]

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

Constrained Coalition Formation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

Automated analysis of weighted voting games.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Electronic Commerce, 2011

2010

Postulates for revising BDI structures.

[BibT_eX]

[DOI]

John Grant

Donald Perlis

Synth., 2010

Sequential auctions for common value objects with budget constrained bidders.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2010

Reasoning About the Transfer of Control.

[BibT_eX]

[DOI]

Dirk Walther

J. Artif. Intell. Res., 2010

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

[BibT_eX]

[DOI]

Int. J. Metadata Semant. Ontologies, 2010

Robust normative systems and a logic of norm compliance.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

A supply chain as a network of auctions.

[BibT_eX]

[DOI]

Thierry Moyaux

Decis. Support Syst., 2010

Solving coalitional resource games.

[BibT_eX]

[DOI]

Efrat Manisterski

Artif. Intell., 2010

A distributed algorithm for anytime coalition structure generation.

[BibT_eX]

[DOI]

Jacek Sroka

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

A logic-based representation for coalitional games with externalities.

[BibT_eX]

[DOI]

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

Combinatorial auctions with externalities.

[BibT_eX]

[DOI]

Piotr Krysta

Tuomas Sandholm

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

Optimal social laws.

[BibT_eX]

[DOI]

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

Intentions in Equilibrium.

[BibT_eX]

[DOI]

John Grant

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Uncertain Agent Verification through Probabilistic Model-Checking.

[BibT_eX]

[DOI]

Paolo Ballarini

Proceedings of the Safety and Security in Multiagent Systems, 2009

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

[BibT_eX]

[DOI]

Stud Logica, 2009

A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications.

[BibT_eX]

[DOI]

Math. Log. Q., 2009

Verification of Games in the Game Description Language.

[BibT_eX]

[DOI]

Ji Ruan

J. Log. Comput., 2009

Property-based Slicing for Agent Verification.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Logics for Qualitative Coalitional Games.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

Exogenous coalition formation in the e-marketplace based on geographical proximity.

[BibT_eX]

[DOI]

Joanna Tyrowicz

Electron. Commer. Res. Appl., 2009

On the computational complexity of weighted voting games.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2009

Reasoning about coalitional games.

[BibT_eX]

[DOI]

Artif. Intell., 2009

A logic of propositional control for truthful implementations.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

On representing coalitional games with externalities.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Robust Normative Systems.

[BibT_eX]

[DOI]

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

A logic of games and propositional control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Boolean combinations of weighted voting games.

[BibT_eX]

[DOI]

Piotr Faliszewski

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

Hedonic coalition nets.

[BibT_eX]

[DOI]

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

Inconsistency tolerance in weighted argument systems.

[BibT_eX]

[DOI]

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

Power in normative systems.

[BibT_eX]

[DOI]

Moshe Tennenholtz

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

Complexity of Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Artificial Intelligence, 2009

A Temporal Logic of Normative Systems.

[BibT_eX]

[DOI]

Proceedings of the Towards Mathematical Philosophy, 2009

A Framework for Dynamic Agent Organizations.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

An Introduction to MultiAgent Systems, Second Edition.

[BibT_eX]

Wiley, ISBN: 978-0-470-51946-2, 2009

2008

Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

Quantified coalition logic.

[BibT_eX]

[DOI]

Synth., 2008

Negotiation among autonomous computational agents: principles, analysis and challenges.

[BibT_eX]

[DOI]

Fernando Lopes

Augusto Q. Novais

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).

[BibT_eX]

[DOI]

AI Mag., 2008

A linear approximation method for the Shapley value.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Model Checking Strategic Equilibria.

[BibT_eX]

[DOI]

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

Logic for Automated Mechanism Design and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms.

[BibT_eX]

[DOI]

Andrew James Dowell

Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Optimal Coalition Structure Generation In Partition Function Games.

[BibT_eX]

[DOI]

Andrew James Dowell

Proceedings of the ECAI 2008, 2008

An anytime approximation method for the inverse Shapley value problem.

[BibT_eX]

[DOI]

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

Cooperative Boolean games.

[BibT_eX]

[DOI]

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

Quantifying over coalitions in epistemic logic.

[BibT_eX]

[DOI]

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

On the Dimensionality of Voting Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

A Framework for Web service negotiation.

[BibT_eX]

[DOI]

Shamimabi Paurobally

ACM Trans. Auton. Adapt. Syst., 2007

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

[BibT_eX]

[DOI]

Mark Roberts

Synth., 2007

Towards a theory of intention revision.

[BibT_eX]

[DOI]

Synth., 2007

Logic-Based Agent Verification.

[BibT_eX]

[DOI]

Munindar P. Singh

Diana F. Spears

J. Appl. Log., 2007

A logical characterisation of qualitative coalitional games.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.

[BibT_eX]

[DOI]

Renata Vieira

Álvaro F. Moreira

J. Artif. Intell. Res., 2007

Completeness and Complexity of Multi-modal CTL.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Alternating-time temporal logic with explicit strategies.

[BibT_eX]

[DOI]

Dirk Walther

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Common Semantic Basis for BDI Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Forming Fuzzy Coalitions in Cooperative Superadditive Games.

[BibT_eX]

[DOI]

Minghua He

Xudong Luo

Proceedings of ICEBE 2007, 2007

Joint Conversation Specification and Compliance.

[BibT_eX]

[DOI]

Shamimabi Paurobally

Proceedings of the Declarative Agent Languages and Technologies V, 2007

On the Logic of Normative Systems.

[BibT_eX]

[DOI]

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

Web services negotiation in an insurance grid.

[BibT_eX]

[DOI]

Shamimabi Paurobally

Chris van Aart

Peter van Hapert

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

Sequential Auctions in Uncertain Information Settings.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Approximate and online multi-issue negotiation.

[BibT_eX]

[DOI]

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

Normative system games.

[BibT_eX]

[DOI]

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

Reasoning about judgment and preference aggregation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Elizabeth Sklar

Proceedings of the Argumentation in Multi-Agent Systems, 4th International Workshop, 2007

Logic for Automated Mechanism Design - A Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Computational Complexity of Weighted Threshold Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Foreword.

[BibT_eX]

[DOI]

Synth., 2006

ATL Satisfiability is Indeed EXPTIME-complete.

[BibT_eX]

[DOI]

Dirk Walther

Carsten Lutz

Frank Wolter

J. Log. Comput., 2006

Knowledge Condition Games.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2006

Multi-Issue Negotiation with Deadlines.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

Model Checking for Multiagent Systems: the Mable Language and its Applications.

[BibT_eX]

[DOI]

Marc-Philippe Huget

Int. J. Artif. Intell. Tools, 2006

Report on the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems.

[BibT_eX]

[DOI]

Sven Koenig

Munindar P. Singh

AI Mag., 2006

On the computational complexity of coalitional resource games.

[BibT_eX]

[DOI]

Artif. Intell., 2006

Verifying Multi-agent Programs by Model Checking.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2006

Programming Declarative Goals Using Plan Patterns.

[BibT_eX]

[DOI]

Jomi Fred Hübner

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Reasoning about action and cooperation.

[BibT_eX]

[DOI]

Luigi Sauro

Jelle Gerbrandy

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Plan patterns for declarative goals in AgentSpeak.

[BibT_eX]

[DOI]

Jomi Fred Hübner

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the complexity of practical ATL model checking.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On Efficient Procedures for Multi-issue Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets, 2006

Temporal qualitative coalitional games.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the logic of coalitional games.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Temporal Reasoning in Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

On obligations and normative ability: Towards a logical analysis of the social contract.

[BibT_eX]

[DOI]

J. Appl. Log., 2005

Automated Game Analysis via Probabilistic Model Checking: a case study.

[BibT_eX]

[DOI]

Paolo Ballarini

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Guest Editorial.

[BibT_eX]

[DOI]

Gerhard Weiß

Eng. Appl. Artif. Intell., 2005

Ontologies for supporting negotiation in e-commerce.

[BibT_eX]

[DOI]

Steve Phelps

Eng. Appl. Artif. Intell., 2005

The complexity of agent design problems: Determinism and history dependence.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2005

Bargaining with incomplete information.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2005

A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2005

On the logic of cooperation and propositional control.

[BibT_eX]

[DOI]

Artif. Intell., 2005

The complexity of contract negotiation.

[BibT_eX]

[DOI]

Michael Laurence

Artif. Intell., 2005

Introducing Autonomic Behaviour in Semantic Web Agents.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

An Ontological Framework for Dynamic Coordination.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

An Analysis of the Shapley Value and Its Uncertainty for the Voting Game.

[BibT_eX]

[DOI]

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms, 2005

An Analysis of Sequential Auctions for Common and Private Value Objects.

[BibT_eX]

[DOI]

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms, 2005

A Model for Multi-issue Negotiation.

[BibT_eX]

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Intentions and Strategies in Game-Like Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

On the dynamics of delegation, cooperation, and control: a logical account.

[BibT_eX]

[DOI]

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

Knowledge and social laws.

[BibT_eX]

[DOI]

Mark Roberts

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

A logic for strategic reasoning.

[BibT_eX]

[DOI]

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

MAGENTA technology: multi-agent systems for industrial logistics.

[BibT_eX]

[DOI]

Jonathan Himoff

Petr Skobelev

Proceedings of the 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, 2005

Sequential auctions for objects with common and private values.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sylvie Doutre

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

On the Meta-logic of Arguments.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

2004

The theory and practice of intention reconsideration.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2004

Toward Open Negotiation.

[BibT_eX]

[DOI]

Steve Phelps

IEEE Internet Comput., 2004

Model Checking Rational Agents.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2004

Preface.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming.

[BibT_eX]

[DOI]

David Stuart Robertson

Marc Esteva

Jordi Sabater

Ann. Math. Artif. Intell., 2004

Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems.

[BibT_eX]

[DOI]

Jeffrey S. Rosenschein

AI Mag., 2004

On the computational complexity of qualitative coalitional games.

[BibT_eX]

[DOI]

Artif. Intell., 2004

An agenda-based framework for multi-issue negotiation.

[BibT_eX]

[DOI]

Artif. Intell., 2004

Sarit Kraus, Strategic Negotiation in Multiagent Environments, MIT Press, 2001; ISBN: 0-262-11264-7.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2004

The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2004

Model Checking A Knowledge Exchange Scenario.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2004

SERSE: Searching for Digital Content in Esperonto.

[BibT_eX]

[DOI]

Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

SERSE: Searching for Semantic Web Content.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Tractability Results for Automatic Contracting.

[BibT_eX]

Michael Laurence

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Social Laws in Alternating Time.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 2004

On Obligations and Abilities.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 2004

Preferences in Game Logics.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Revenue Maximising Agendas for Sequential English Auctions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

State-Space Reduction Techniques in Agent Verification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004

2003

Developing multiagent systems: The Gaia methodology.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2003

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

[BibT_eX]

[DOI]

Stud Logica, 2003

Preface.

[BibT_eX]

[DOI]

Stud Logica, 2003

Properties and Complexity of Some Formal Inter-agent Dialogues.

[BibT_eX]

[DOI]

Leila Amgoud

J. Log. Comput., 2003

Towards a Logic of Rational Agency.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

Editorial.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

Knowledge as Strategic Ability.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Preface: Volume 85, Issue 2.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

In Appreciation.

[BibT_eX]

[DOI]

Katia P. Sycara

Auton. Agents Multi Agent Syst., 2003

Verifiable Multi-agent Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

An initial response to the OAS'03 challenge problem.

[BibT_eX]

[DOI]

Proceedings of the Ontologies in Agent Systems 2003, 2003

Model Checking Multi-Agent Programs with CASP.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christos Stergiou

Geert Arys

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

On the outcomes of formal inter-agent dialogues.

[BibT_eX]

[DOI]

Leila Amgoud

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Optimal agendas for multi-issue negotiation.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Towards practical reasoning agents for the semantic web.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Model checking agentspeak.

[BibT_eX]

[DOI]

Carmen Pardavila

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

The Mechanics of Some Formal Inter-agent Dialogues.

[BibT_eX]

[DOI]

Proceedings of the Advances in Agent Communication, 2003

Model Checking for ACL Compliance Verification.

[BibT_eX]

[DOI]

Marc-Philippe Huget

Proceedings of the Advances in Agent Communication, 2003

2002

Game Theory and Decision Theory in Multi-Agent Systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2002

On Partially Observable MDPs and BDI Models.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Multi-Agent Systems, 2002

Model Checking Knowledge and Time.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Model checking multi-agent systems with MABLE.

[BibT_eX]

[DOI]

Marc-Philippe Huget

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

An analysis of formal inter-agent dialogues.

[BibT_eX]

[DOI]

Leila Amgoud

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Desiderata for agent argumentation protocols.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Tractable multiagent planning for epistemic goals.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Multi-issue negotiation under time constraints.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

The computational complexity of boolean and stochastic agent design problems.

[BibT_eX]

[DOI]

Michael Laurence

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Re-use of Interaction Protocols for Agent-Based Control Applications.

[BibT_eX]

[DOI]

Stefan Bussmann

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

An Ontology Based Approach to Automated Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Agent-Mediated Electronic Commerce IV, 2002

The Influence of Information on Negotiation Equilibrium.

[BibT_eX]

[DOI]

Proceedings of the Agent-Mediated Electronic Commerce IV, 2002

Introduction to multiagent systems.

[BibT_eX]

Wiley, ISBN: 978-0-471-49691-5, 2002

2001

The control of reasoning in resource-bounded agents.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2001

Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2001

Agent-Based Software Engineering - Guest Editors' Introduction.

[BibT_eX]

[DOI]

Paolo Ciancarini

Int. J. Softw. Eng. Knowl. Eng., 2001

A Computationally Grounded Logic of Visibility, Perception, and Knowledge.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

Intelligent Agents: The Key Concepts.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent-Systems and Applications II, 2001

Reasoning about Intentions in Uncertain Domains.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

The Computational Complexity of Agent Verification.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Optimal Negotiation Strategies for Agents with Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

A Lifecycle for Models of Large Multi-agent Systems.

[BibT_eX]

[DOI]

David Stuart Robertson

Jaume Agustí-Cullell

Christopher Walton

Jordi Sabater

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

Principles of intention reconsideration.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

Adaptive task resources allocation in multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

A Classification Scheme for Negotiation in Electronic Commerce.

[BibT_eX]

[DOI]

Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

Agent-Oriented Software Engineering for Internet Applications.

[BibT_eX]

Andrea Omicini

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

Guest Editors' Introduction: Infrastructure, Technology, Applications.

[BibT_eX]

[DOI]

Keith Decker

IEEE Internet Comput., 2000

Agents on the Web: Agent Research and Development in Europe.

[BibT_eX]

[DOI]

Norman M. Sadeh

IEEE Internet Comput., 2000

The Gaia Methodology for Agent-Oriented Analysis and Design.

[BibT_eX]

[DOI]

David Kinny

Auton. Agents Multi Agent Syst., 2000

Semantic Issues in the Verification of Agent Communication Languages.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2000

On the Sources of Complexity in Agent Design.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2000

Multi-agent VSK Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Agent-oriented software engineering (workshop).

[BibT_eX]

[DOI]

Paolo Ciancarini

Proceedings of the 22nd International Conference on on Software Engineering, 2000

The Computational Complexity of Agent Design Problems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Computationally Grounded Theories of Agency.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Languages for Negotiation.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

Intention Reconsideration in Theory and Practice.

[BibT_eX]

Ola Pettersson

Alessandro Saffiotti

Proceedings of the ECAI 2000, 2000

Optimistic and Disjunctive Agent Design Problems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Panel Summary: Agent Development Tools.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Organizational Abstractions for the Analysis and Design of Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

Agent-Oriented Software Engineering: The State of the Art.

[BibT_eX]

[DOI]

Paolo Ciancarini

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

On the Identification of Agents in the Design of Production Control Systems.

[BibT_eX]

[DOI]

Stefan Bussmann

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages.

[BibT_eX]

[DOI]

Proceedings of the Agent-Mediated Electronic Commerce III, 2000

Intention reconsideration in complex environments.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomous Agents, 2000

Reasoning about rational agents.

[BibT_eX]

Intelligent robots and autonomous agents, MIT Press, ISBN: 978-0-262-23213-5, 2000

1999

The Cooperative Problem-solving Process.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Diversity and agent technology.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1999

Making money from agents.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1999

Software Engineering with Agents: Pitfalls and Pratfalls.

[BibT_eX]

[DOI]

IEEE Internet Comput., 1999

Editorial.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 1999

Reasoning about Visibility, Perception and Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VI, 1999

Agent-Oriented Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VI, 1999

A Methodology for Agent-Oriented Analysis and Design.

[BibT_eX]

[DOI]

David Kinny

Proceedings of the Third Annual Conference on Autonomous Agents, 1999

Verifying that Agents Implement a Communication Language.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ola Pettersson

Alessandro Saffiotti

Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999

1998

Editorial.

[BibT_eX]

[DOI]

Fausto Giunchiglia

J. Log. Comput., 1998

Resolution for Temporal Logics of Knowledge.

[BibT_eX]

[DOI]

Clare Dixon

J. Log. Comput., 1998

Rationality in Multi-Agent Systems.

[BibT_eX]

[DOI]

Ken Binmore

Cristiano Castelfranchi

James Doran

Knowl. Eng. Rev., 1998

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.

[BibT_eX]

[DOI]

Clare Dixon

J. Appl. Non Class. Logics, 1998

A Roadmap of Agent Research and Development.

[BibT_eX]

[DOI]

Katia P. Sycara

Auton. Agents Multi Agent Syst., 1998

Verifiable Semantics for Agent Communication Languages.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Multiagent Systems, 1998

A Knowledge-theoretic Approach to Distributed Problem Solving.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Intention Reconsideration Reconsidered.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents V, 1998

A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series.

[BibT_eX]

[DOI]

Jörg P. Müller

Proceedings of the Intelligent Agents V, 1998

The Belief-Desire-Intention Model of Agency.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents V, 1998

Pitfalls of Agent-Oriented Development.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomous Agents, 1998

1997

Formalisms for multi-agent systems.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1997

On the Formal Specification and Verification of Multi-Agent Systems.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1997

Agent-based software engineering.

[BibT_eX]

[DOI]

IEE Proc. Softw. Eng., 1997

Paying Their Way: Commercial Digital Libraries for the 21st Century.

[BibT_eX]

[DOI]

Innes A. Ferguson

D Lib Mag., 1997

Agent-Based Digital Libraries: Driving the Information Economy.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Distributed Problem-Solving as Concurrent Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Rationality, 1997

Cooperation Structures.

[BibT_eX]

Mark d'Inverno

Michael Luck

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

Issues in Agent-Based Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents, First International Workshop, 1997

Sofware Agent Technologies.

[BibT_eX]

[DOI]

Hyacinth S. Nwana

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).

[BibT_eX]

[DOI]

Afsaneh Haddadi

Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

A Formal Specification of dMARS.

[BibT_eX]

[DOI]

Mark d'Inverno

David Kinny

Michael Luck

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.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1996

Production Sequencing as Negotiation.

[BibT_eX]