Volume 40, January 2011

• 
  Mahdi Milani Fard, Joelle Pineau: Non-Deterministic Policies in Markovian Decision Processes. 1-24
• 
  Y. Zhou, Y. Zhang: A Logical Study of Partial Entailment. 25-56
• 
  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
• 
  Christophe Lecoutre, Stéphane Cardon, Julien Vion: Second-Order Consistencies. 175-219
• 
  Yonghong Wang, Chung-Wei Hang, Munindar P. Singh: A Probabilistic Approach for Maintaining Trust Based on Evidence. 221-267
• 
  Aaron Hunter, James P. Delgrande: Iterated Belief Change Due to Actions and Observations. 269-304
• 
  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
• 
  Fei Wu, Jayant Madhavan, Alon Y. Halevy: Identifying Aspects for Web-Search Queries. 677-700
• 
  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

last updated on Sun May 26 02:56:23 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page