Sciweavers

59 search results - page 2 / 12
» Complexity of determining nonemptiness of the core
Sort
View
WECWIS
2007
IEEE
148views ECommerce» more  WECWIS 2007»
13 years 11 months ago
The Core and Shapley Value Analysis for Cooperative Formation of Procurement Networks
Formation of high value procurement networks involves a bottom-up assembly of complex production, assembly, and exchange relationships through supplier selection and contracting d...
T. S. Chandrashekar, Y. Narahari
WINE
2010
Springer
152views Economy» more  WINE 2010»
13 years 2 months ago
Collusion in VCG Path Procurement Auctions
We consider collusion in path procurement auctions, where payments are determined using the VCG mechanism. We show that collusion can increase the utility of the agents, and in som...
Yoram Bachrach, Peter Key, Morteza Zadimoghaddam
SAGT
2010
Springer
119views Game Theory» more  SAGT 2010»
13 years 3 months ago
Minimal Subsidies in Expense Sharing Games
A key solution concept in cooperative game theory is the core. The core of an expense sharing game contains stable allocations of the total cost to the participating players, such ...
Reshef Meir, Yoram Bachrach, Jeffrey S. Rosenschei...
FOCS
2005
IEEE
13 years 10 months ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
IJCAI
2003
13 years 6 months ago
Causal Theories of Action: A Computational Core
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
Jérôme Lang, Fangzhen Lin, Pierre Mar...