Rules of encounter: designing conventions for automated negotiation among computers
Rules of encounter: designing conventions for automated negotiation among computers
On the complexity of cooperative solution concepts
Mathematics of Operations Research
Methods for task allocation via agent coalition formation
Artificial Intelligence
Coalition structure generation with worst case guarantees
Artificial Intelligence
Strategic negotiation in multiagent environments
Strategic negotiation in multiagent environments
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
On the computational complexity of qualitative coalitional games
Artificial Intelligence
Marginal contribution nets: a compact representation scheme for coalitional games
Proceedings of the 6th ACM conference on Electronic commerce
On the logic of cooperation and propositional control
Artificial Intelligence
Complexity of constructing solutions in the core based on synergies among coalitions
Artificial Intelligence
On the computational complexity of coalitional resource games
Artificial Intelligence
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Dependency in Cooperative Boolean Games
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Expressing properties of coalitional ability under resource bounds
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Monotone cooperative games and their threshold versions
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Non-transferable utility coalitional games via mixed-integer linear constraints
Journal of Artificial Intelligence Research
Designing incentives for Boolean games
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Verifying team formation protocols with probabilistic model checking
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Dependence in games and dependence games
Autonomous Agents and Multi-Agent Systems
A game-theoretic approach to cooperation in multi-agent systems
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Manipulating boolean games through communication
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Incentive engineering for Boolean games
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Towards tractable Boolean games
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Incentive engineering for Boolean games
Artificial Intelligence
Proof systems and transformation games
Annals of Mathematics and Artificial Intelligence
Taxation search in boolean games
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Strategic considerations in the design of committees
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Argumentation theoretic foundations for abstract dependence networks
AT'13 Proceedings of the Second international conference on Agreement Technologies
Computing cooperative solution concepts in coalitional skill games
Artificial Intelligence
Verifiable equilibria in boolean games
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Sharing rewards in cooperative connectivity games
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We present and formally investigate Cooperative Boolean Games, a new, natural family of coalitional games that are both compact and expressive. In such a game, an agent's primary aim is to achieve its individual goal, which is represented as a propositional logic formula over some set of Boolean variables. Each agent is assumed to exercise unique control over some subset of the overall set of Boolean variables, and the set of valuations for these variables corresponds to the set of actions the agent can take. However, the actions available to an agent are assumed to have some cost, and an agent's secondary aim is to minimise its costs. Typically, an agent must cooperate with others because it does not have sufficient control to ensure its goal is satisfied. However, the desire to minimise costs leads to preferences over possible coalitions, and hence to strategic behaviour. Following an introduction to the formal framework of Cooperative Boolean Games, we investigate solution concepts of the core and stable sets for them. In each case, we characterise the complexity of the associated solution concept, and discuss the surrounding issues. Finally, we present a bargaining protocol for cooperation in Boolean games, and characterise the strategies in equilibrium for this protocol.