JAIR Volume 40 Articles

Volume 40 MastHead

Each entry in this table of contents provides links to an individual article and its appendices (if any):

M. Milani Fard and J. Pineau (2011) "Non-Deterministic Policies in Markovian Decision Processes", Volume 40, pages 1-24

Abstract | PDF | PostScript | doi:10.1613/jair.3175

Y. Zhou and Y. Zhang (2011) "A Logical Study of Partial Entailment", Volume 40, pages 25-56

Abstract | PDF | PostScript | doi:10.1613/jair.3117

H. Aziz, Y. Bachrach, E. Elkind and M. Paterson (2011) "False-Name Manipulations in Weighted Voting Games", Volume 40, pages 57-93

Abstract | PDF | PostScript | doi:10.1613/jair.3166

J. Veness, K.S. Ng, M. Hutter, W. Uther and D. Silver (2011) "A Monte-Carlo AIXI Approximation", Volume 40, pages 95-142

Abstract | PDF | PostScript | doi:10.1613/jair.3125

C. Geist and U. Endriss (2011) "Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects", Volume 40, pages 143-174

Abstract | PDF | PostScript | doi:10.1613/jair.3126

C. Lecoutre, S. Cardon and J. Vion (2011) "Second-Order Consistencies", Volume 40, pages 175-219

Abstract | PDF | PostScript | doi:10.1613/jair.3180

Y. Wang, C. Hang and M. P. Singh (2011) "A Probabilistic Approach for Maintaining Trust Based on Evidence", Volume 40, pages 221-267

Abstract | PDF | PostScript | doi:10.1613/jair.3108

A. Hunter and J. P. Delgrande (2011) "Iterated Belief Change Due to Actions and Observations", Volume 40, pages 269-304

Abstract | PDF | PostScript | doi:10.1613/jair.3132

P. Faliszewski, E. Hemaspaandra and L. A. Hemaspaandra (2011) "Multimode Control Attacks on Elections", Volume 40, pages 305-351

Abstract | PDF | PostScript | doi:10.1613/jair.3136

A. Atserias, J. K. Fichte and M. Thurley (2011) "Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution", Volume 40, pages 353-373

Abstract | PDF | PostScript | doi:10.1613/jair.3152

X. Tannier and P. Muller (2011) "Evaluating Temporal Graphs Built from Texts via Transitive Reduction", Volume 40, pages 375-413

Abstract | PDF | PostScript | doi:10.1613/jair.3118

W. Ruml, M. B. Do, R. Zhou and M. P.J. Fromherz (2011) "On-line Planning and Scheduling: An Application to Controlling Modular Printers", Volume 40, pages 415-468

Abstract | PDF | PostScript | doi:10.1613/jair.3184
Appendix 1 - video: nominal operation in simulation | Appendix 2 - video: nominal operation on hardware | Appendix 3 - video: replanning in simulation | Appendix 4 - video: replanning on hardware

A. Rahman and V. Ng (2011) "Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution", Volume 40, pages 469-521

Abstract | PDF | PostScript | doi:10.1613/jair.3120

R. He, E. Brunskill and N. Roy (2011) "Efficient Planning under Uncertainty with Macro-actions", Volume 40, pages 523-570

Abstract | PDF | PostScript | doi:10.1613/jair.3171

I. A. Kash, E. J. Friedman and J. Y. Halpern (2011) "Multiagent Learning in Large Anonymous Games", Volume 40, pages 571-598

Abstract | PDF | PostScript | doi:10.1613/jair.3213

V. Aravantinos, R. Caferra and N. Peltier (2011) "Decidability and Undecidability Results for Propositional Schemata", Volume 40, pages 599-656

Abstract | PDF | PostScript | doi:10.1613/jair.3351

L. Bordeaux, G. Katsirelos, N. Narodytska and M. Y. Vardi (2011) "The Complexity of Integer Bound Propagation", Volume 40, pages 657-676

Abstract | PDF | PostScript | doi:10.1613/jair.3248

F. Wu, J. Madhavan and A. Halevy (2011) "Identifying Aspects for Web-Search Queries", Volume 40, pages 677-700

Abstract | PDF | PostScript | doi:10.1613/jair.3182

A. Cimatti, A. Griggio and R. Sebastiani (2011) "Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories", Volume 40, pages 701-728

Abstract | PDF | PostScript | doi:10.1613/jair.3196

W. Li, P. Poupart and P. van Beek (2011) "Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference", Volume 40, pages 729-765

Abstract | PDF | PostScript | doi:10.1613/jair.3232

T. De la Rosa, S. Jimenez, R. Fuentetaja and D. Borrajo (2011) "Scaling up Heuristic Planning with Relational Decision Trees", Volume 40, pages 767-813

Abstract | PDF | PostScript | doi:10.1613/jair.3231
Appendix 1 - Domain control-knowledge learned with ROLLER (domains: blocksworld, gold-miner, matching-bw, parking and satellite) | Appendix 2 - Domain control-knowledge learned with ROLLER (domains: depots, rovers, storage, thoughtful and TPP).

H. Papadopoulos, V. Vovk and A. Gammerman (2011) "Regression Conformal Prediction with Nearest Neighbours", Volume 40, pages 815-840

Abstract | PDF | PostScript | doi:10.1613/jair.3198