Sciweavers

42 search results - page 2 / 9
» jair 2010
Sort
View
JAIR
2010
99views more  JAIR 2010»
14 years 10 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»
14 years 10 months ago
Change in Abstract Argumentation Frameworks: Adding an Argument
Claudette Cayrol, Florence Dupin de Saint-Cyr, Mar...
JAIR
2010
100views more  JAIR 2010»
14 years 10 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»
14 years 10 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»
14 years 10 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