Journal of Artificial Intelligence Research
Volume Forty
Please Note: To view the abstract of a given article, select the link that is activated by the article title. The abstract will appear in a separate browser window. Full text of a given article can be selected in a similar manner from the link activitated by the title in the abstract window. (Most, but not all abstracts will link to full text.) PDF file sizes may be large!
This journal is also available in book and CD format.
Contents
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
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.