Contents
Volume 28, 2007
Cutset Sampling for Bayesian Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
B. Bidyuk and R. Dechter
The Strategy-Proofness Landscape of Merging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
P. Everaere, S. Konieczny, and P. Marquis
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
H. Jia, C. Moore and D. Strain
Marvin: A Heuristic Search Planner with Online Macro-Action Learning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
A. I. Coles and A. J. Smith
Junta Distributions and the Average-Case Complexity of Manipulating Elections
A. D. Procaccia and J. S. Rosenschein
. . . . . . . . . . . . . . . . . . . . . . 157
Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
J. C. Beck and N. Wilson
Auctions with Severely Bounded Communication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
L. Blumrosen, N. Nisan, and I. Segal
Anytime Heuristic Search . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267
E. A. Hansen and R. Zhou
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets . . . . . . . . . . . . 299
C. Bettini, S. Mascetti, and X. S. Wang
Closed-Loop Learning of Visual Control Policies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 349
S. R. Jodogne and J. H. Piater
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems . . . . . . . . . . . . . 393
A. S. Fukunaga and R. E. Korf
Discovering Classes of Strongly Equivalent Logic Programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431
F. Lin and Y. Chen
Abstract Reasoning for Planning and Coordination . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 453
B. J. Clement, E. H. Durfee, and A. C. Barrett
Consistency and Random Constraint Satisfaction Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 517
Y. Gao and J. Culberson
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559
J ournal of Artificial Intelligence Research
AN INTERNATIONAL ELECTRONIC AND PRINT JOURNAL
Editors and Staff, 2007
Michael Wooldridge
Shlomo Zilberstein
Editor-in-Chief
Toby Walsh
Editorial Board
Associate Editor-in-Chief
Adnan Darwiche
Associate Editors
Ronen Brafman
Claire Cardie
Max Chickering
Nello Cristianini
James Cussens
Rina Dechter
Ed Durfee
Boi Faltings
Lise Getoor
Russell Greiner
Thorsten Joachims
Subbarao Kambhampati
Sven Koenig
Maurizio Lenzerini
Fangzhen Lin
Derek Long
Sridhar Mahadevan
Daniel Marcu
Francesca Rossi
Dan Roth
Yoav Shoham
Satinder Singh
Eyal Amir
Christian Bessiere
Mark Boddy
Chris Brew
Marco Cadoli
Michael Collins
Diane Cook
Mark Craven
James Delgrande
Marie DesJardins
Jurgen Dix
Carmel Domshlak
Marek Druzdzel
Giuseppe DeGiacomo
Peter Flach
Eibe Frank
Johannes Fuernkranz
Linda van der Gaag
Lise Getoor
Zoubin Ghahramani
Enrico Giunchiglia
Piotr Gmytrasiewicz
Eric Hansen
Joerg Hoffmann
Thomas Hoffmann
Holger Hoos
Nathalie Japkowicz
Phillipe Laborie
Piero La Mura
Mirella Lapata
Lillian Lee
Kevin Leyton-Brown
Stan Matwin
Chris Meek
Leora Morgenstern
David Musliner
Andrew Ng
Ilkka Niemela
Illah Nourbakhsh
Tim Oates
Kemal Oflazer
David Parkes
David Pynadath
Jussi Rintanen
Nick Roy
Wheeler Ruml
Michael Thielscher
Mirek Truszcynski
Ioannis Tsamardinos
Gerard Verfaillie
Mary-Anne Williams
Dit-Yan Yeung
Neil Yorke-Smith
Weixiong Zhang
Carla Brodley
Walter Daelemans
Luc De Raedt
Pedro Domingos
Thomas Eiter
Maria Fox
Alon Halevy
Tad Hogg
Daphne Koller
Gerhard Lakemeyer
Paolo Liberatore
Michael Littman
Steven Minton
Martha Pollack
David Poole
David Smith
Diana Spears
Milind Tambe
Michael Wellman
Makoto Yokoo
Nevin Zhang
Advisory Board
Lillian Bluestein
Managing Editor
Steven Minton
Special Projects
Moshe Tennenholtz
Production Supervisor
Fahiem Bacchus
Peter Bartlett
About JAIR
Subscriptions
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
JAIR (ISSN 1076-975) is published three times a year by the Association for
the Advancement of Artificial Intelligence (AAAI), 445 Burgess Drive,
Menlo Park, CA 94025-3442, telephone (650) 328-3123. Members of AAAI
receive a discount on JAIR subscriptions. JAIR subscription price is $85.00
per volume. Inquiries regarding membership in the AAAI should be sent
to the AAAI at the above address.
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
label with new address to AAAI, 445 Burgess Drive, Menlo Park, CA 940253442.
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 © 2008 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-352-2