Volume 40, January 2011


Haris Aziz, Yoram Bachrach, Edith Elkind, Mike Paterson: False-Name Manipulations in Weighted Voting Games. 57-93
Joel Veness, Kee Siong Ng, Marcus Hutter, William T. B. Uther, David Silver: A Monte-Carlo AIXI Approximation. 95-142
C. Geist, Ulrich Endriss: Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects. 143-174
Yonghong Wang, Chung-Wei Hang, Munindar P. Singh: A Probabilistic Approach for Maintaining Trust Based on Evidence. 221-267
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra: Multimode Control Attacks on Elections. 305-351
Albert Atserias, Johannes Klaus Fichte, Marc Thurley: Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. 353-373
Xavier Tannier, Philippe Muller: Evaluating Temporal Graphs Built from Texts via Transitive Reduction. 375-413
Wheeler Ruml, Minh Binh Do, Rong Zhou, Markus P. J. Fromherz: On-line Planning and Scheduling: An Application to Controlling Modular Printers. 415-468
Altaf Rahman, Vincent Ng: Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution. 469-521
Ruijie He, Emma Brunskill, Nicholas Roy: Efficient Planning under Uncertainty with Macro-actions. 523-570
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent Learning in Large Anonymous Games. 571-598
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Decidability and Undecidability Results for Propositional Schemata. 599-656
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi: The Complexity of Integer Bound Propagation. 657-676
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. 701-728
Wei Li, Pascal Poupart, Peter van Beek: Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference. 729-765
Tomás de la Rosa, Sergio Jiménez, Raquel Fuentetaja, Daniel Borrajo: Scaling up Heuristic Planning with Relational Decision Trees. 767-813
Harris Papadopoulos, Vladimir Vovk, Alexander Gammerman: Regression Conformal Prediction with Nearest Neighbours. 815-840



