Sciweavers

42 search results - page 2 / 9
» jair 2010
Sort
View
JAIR
2010
99views more  JAIR 2010»
13 years 3 months ago
Predicting the Performance of IDA* using Conditional Distributions
Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Ho...
JAIR
2010
95views more  JAIR 2010»
13 years 3 months ago
Change in Abstract Argumentation Frameworks: Adding an Argument
Claudette Cayrol, Florence Dupin de Saint-Cyr, Mar...
JAIR
2010
100views more  JAIR 2010»
13 years 3 months ago
Mechanisms for Multi-Unit Auctions
We present an incentive-compatible polynomial-time approximation scheme for multiunit auctions with general k-minded player valuations. The mechanism fully optimizes over an appro...
Shahar Dobzinski, Noam Nisan
JAIR
2010
145views more  JAIR 2010»
13 years 3 months ago
Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
Graeme Gange, Peter J. Stuckey, Vitaly Lagoon
JAIR
2010
97views more  JAIR 2010»
13 years 3 months ago
Mixed Strategies in Combinatorial Agency
We study a setting where a principal needs to motivate a team of agents whose combination of hidden efforts stochastically determines an outcome. In a companion paper we devise an...
Moshe Babaioff, Michal Feldman, Noam Nisan