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