Contents Volume 40, 2011 Non-Deterministic Policies in Markovian Decision Processes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 M. Milani Fard, J. Pineau A Logical Study of Partial Entailment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Y. Zhou, Y. Zhang False-Name Manipulations in Weighted Voting Games . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 H. Aziz, Y. Bachrach, E. Elkind, M. Paterson A Monte-Carlo AIXI Approximation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 J. Veness, K. S. Ng, M. Hutter, W. Uther, D. Silver Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects . . . . . . . . . 143 C. Geist, U. Endriss Second-Order Consistencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 C. Lecoutre, S. Cardon, J. Vion A Probabilistic Approach for Maintaining Trust Based on Evidence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221 Y. Wang, C.-W. Hang, M. P. Singh Iterated Belief Change Due to Actions and Observations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .269 A. Hunter, J. P. Delgrande Multimode Control Attacks on Elections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305 P. Faliszewski, E. Hemaspaandra, L. A. Hemaspaandra Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution . . . . . . . . . . . . . . . . . . . . . . . 353 A. Atserias, J. K. Fichte, M. Thurley Evaluating Temporal Graphs Built from Texts via Transitive Reduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375 X. Tannier, P. Muller On-Line Planning and Scheduling: An Application to Controlling Modular Printers . . . . . . . . . . . . . . . . . . . . 415 W. Ruml, M. B. Do, R. Zhou, M. P. J. Fromherz Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution . . . . . . . . . . . . . . . . . 469 A. Rahman, V. Ng Efficient Planning under Uncertainty with Macro-Actions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 523 R. He, E. Brunskill, N. Roy Multiagent Learning in Large Anonymous Games . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571 I. A. Kash, E. J. Friedman, J. Y. Halpern Decidability and Undecidability Results for Propositional Schemata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 599 V. Aravantinos, R. Caferra, N. Peltier The Complexity of Integer Bound Propagation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 657 L. Bordeaux, G. Katsirelos, N. Narodytska, M. Y. Vardi Identifying Aspects for Web-Search Queries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 677 F. Wu, J. Madhavan, A. Halevy Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 701 A. Cimatti, A. Griggio, R. Sebastiani Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference . . . . . . . . . . . . . . . 729 W. Li, P. Poupart, P. van Beek Scaling up Heuristic Planning with Relational Decision Trees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 767 T. de la Rosa, S. Jiménez, R. Fuentetaja, D. Borrajo Regression Conformal Prediction with Nearest Neighbours . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 815 H. Papadopoulos, V. Vovk, A. Gammerman Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 841 J ournal of Artificial Intelligence Research AN INTERNATIONAL ELECTRONIC AND PRINT JOURNAL Editors and Staff, 2011 Editor-in-Chief Shlomo Zilberstein Associate Editor-in-Chief Craig Boutilier Associate Editors Regina Barzilay Chris Beck Michael Bowling Ronen Brafman Gerhard Brewka Vincent Conitzer Giuseppe De Giacomo James Delgrande Marie desJardins Carmel Domshlak Dieter Fox Hector Geffner Malte Helmert Joerg Hoffmann Manfred Jaeger Thorsten Joachims Jerome Lang Lillian Lee Kevin Leyton-Brown Shaul Markovitch Pierre Marquis Dragomir Radev Thomas Schiex Dale Schuurmans Alex Smola Prasad Tadepalli Sylvie Thiebaux Gerard Verfaillie Michael Wooldridge Editorial Board David Blei Adi Botea Olivier Buffet Diego Calvanese Xiaoping Chen Yiling Chen Yixin Chen David Chiang Hal Daume Minh Binh Do Prashant Doshi Stefan Edelkamp Gal Elidan Edith Elkind Ulle Endriss Alan Fern Amir Globerson Judy Goldsmith Eric Hansen Paul Harrenstein Patrik Haslum Holger Hoos Kristian Kersting Roni Khardon Dan Klein About JAIR JAIR’s editorial board is dedicated to the rapid dissemination of important research results to the global AI community. The journal's scope encompasses all areas of artificial intelligence, including automated reasoning, cognitive modeling, knowledge representation, learning, natural language, neural networks, perception, and robotics. For information regarding submissions, AI Access Foundation, or the JAIR editorial charter, please see jair.org Microfilm, Back, or Replacement Copies Back issues of JAIR (from volume 18 onward) are available from the Association for the Advancement of Artificial Intelligence. Send requests to AAAI, 445 Burgess Drive, Menlo Park, California 94025. Microform copies are available from ProQuest Information and Learning, 300 North Zeeb Road, Ann Arbor, MI 48106. Telephone (800) 521-3044 or (734) 761-4700. Copying Articles for Personal Use Authorization to photocopy items for internal or personal use, or the internal or personal use of specific clients, or for educational classroom use, is granted by AI Access Foundation. This consent does not extend to other kinds of copying, such as for general distribution, resale, advertising, or for creating new collective works. Please contact AAAI for such permission. Address Change Please notify AAAI eight weeks in advance of a change of address. Send old Sebastien Konieczny Javier Larrosa Carsten Lutz Ines Lynce Felip Manya Lluis Marquez Petri Myllymaki Jennifer Neville Hwee Tou Ng Ilkka Niemela Bo Pang Simon Parsons Joelle Pineau Pascal Poupart Ariel Procaccia Silja Renooij Riccardo Rosati Wheeler Ruml Ashish Sabharwal Lakhdar Sais Torsten Schaub Tobias Scheffer Christian Shelton Ben Taskar Jennifer Wortman Vaughan Kristen Venable Shimon Whiteson Jia-Huai You Advisory Board Maria Fox Russell Greiner Adele Howe Subbarao Kambhampati Sven Koenig Gerhard Lakemeyer Fangzhen Lin Daniel Marcu Steven Minton Martha Pollack Jeff Rosenschein Francesca Rossi Moshe Tennenholtz Michael Wellman Nevin Zhang Toby Walsh Dan Weld Managing Editor Steven Minton Electronic Publishing Editor Daniel Bryce Special Projects Toby Walsh Production Supervisor Lillian Bluestein Rina Dechter Oren Etzioni Adnan Darwiche Boi Faltings label with new address to AAAI, 445 Burgess Drive, Suite 100, Menlo Park, CA 94025-3442. Subscriptions JAIR (ISSN 1076-975) is published three times a year by the Association for the Advancement of Artificial Intelligence (AAAI), 445 Burgess Drive, Suite 100 Menlo Park, CA 94025-3442, telephone (650) 328-3123. Members of AAAI receive a discount on JAIR subscriptions. The JAIR subscription price is $90.00 per volume or issue. Inquiries regarding membership in the AAAI should be sent to the AAAI at the above address. Periodicals Postage paid at Menlo Park, CA and additional mailing offices. Postmaster: Change Service Requested. Send address changes to AAAI, 445 Burgess Drive, Suite 100, Menlo Park, CA 94025-3442. Copyright © 2011 by AI Access Foundation and the Association for the Advancement of Artificial Intelligence. All rights reserved. No part of this publication may be reproduced in whole or in part without prior written permission. Unless otherwise stated, the views expressed in published material are those of the authors and do not necessarily reflect the policies or opinions of JAIR, its editors and staff, AI Access Foundation, or the Association for the Advancement of Artificial Intelligence. ISBN 978-1-57735-536-6