Proof systems and transformation games
From MaRDI portal
Publication:354613
DOI10.1007/s10472-012-9323-9zbMath1272.91022OpenAlexW2029955772MaRDI QIDQ354613
Yoram Bachrach, Jeffrey S. Rosenschein, Michael Zuckerman, Michael Wooldridge
Publication date: 19 July 2013
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.631.4209
Analysis of algorithms and problem complexity (68Q25) Cooperative games (91A12) Complexity of proofs (03F20)
Related Items (2)
Analyzing power in weighted voting games with super-increasing weights ⋮ Analyzing Power in Weighted Voting Games with Super-Increasing Weights
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- False-name-proof voting with costs over two alternatives
- Manipulating the quota in weighted voting games
- Computing cooperative solution concepts in coalitional skill games
- Linear logic
- Congestion games with failures
- Congestion games with load-dependent failures: Identical resources
- Evaluating cooperative game theory in water resources
- Handbook of game theory with economic applications. Vol. 2
- A heuristic technique for multi-agent planning
- Cost allocation in shortest path games
- On the computational complexity of weighted voting games
- On the computational complexity of coalitional resource games
- The Complexity of Counting in Sparse, Regular, and Planar Graphs
- Computational Aspects of Cooperative Game Theory
- False-Name Manipulations in Weighted Voting Games
- The Least-Core of Threshold Network Flow Games
- Efficient Auction Mechanisms for Supply Chain Procurement
- Confidentiality and Information Sharing in Supply Chain Coordination
- Minimal Subsidies in Expense Sharing Games
- The Cost of Stability in Network Flow Games
- The Complexity of Power-Index Comparison
- A test suite for the evaluation of mixed multi-unit combinatorial auctions
- Proof Systems and Transformation Games
- Multiagent Systems
- A New Solution Concept for Coalitional Games in Open Anonymous Environments
- Power Indices in Spanning Connectivity Games
- The Cost of Stability in Coalitional Games
- Minimum cost spanning tree games
- Multilinear extensions and the banzhaf value
- On the Complexity of Cooperative Solution Concepts
- Fixed-Parameter Tractability and Completeness I: Basic Results
- Sharing Rewards in Cooperative Connectivity Games
- The Nucleolus of a Characteristic Function Game
- Introduction to the Theory of Cooperative Games
- NP-completeness for calculating power indices of weighted majority games
This page was built for publication: Proof systems and transformation games
