JAIR Volume 40 Articles
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
Y. Zhou and Y. Zhang (2011) "A Logical Study of Partial Entailment", Volume 40, pages 25-56
H. Aziz, Y. Bachrach, E. Elkind and M. Paterson (2011) "False-Name Manipulations in Weighted Voting Games", Volume 40, pages 57-93
J. Veness, K.S. Ng, M. Hutter, W. Uther and D. Silver (2011) "A Monte-Carlo AIXI Approximation", Volume 40, pages 95-142
C. Geist and U. Endriss (2011) "Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects", Volume 40, pages 143-174
C. Lecoutre, S. Cardon and J. Vion (2011) "Second-Order Consistencies", Volume 40, pages 175-219
Y. Wang, C. Hang and M. P. Singh (2011) "A Probabilistic Approach for Maintaining Trust Based on Evidence", Volume 40, pages 221-267
A. Hunter and J. P. Delgrande (2011) "Iterated Belief Change Due to Actions and Observations", Volume 40, pages 269-304
P. Faliszewski, E. Hemaspaandra and L. A. Hemaspaandra (2011) "Multimode Control Attacks on Elections", Volume 40, pages 305-351
A. Atserias, J. K. Fichte and M. Thurley (2011) "Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution", Volume 40, pages 353-373
X. Tannier and P. Muller (2011) "Evaluating Temporal Graphs Built from Texts via Transitive Reduction", Volume 40, pages 375-413
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
R. He, E. Brunskill and N. Roy (2011) "Efficient Planning under Uncertainty with Macro-actions", Volume 40, pages 523-570
I. A. Kash, E. J. Friedman and J. Y. Halpern (2011) "Multiagent Learning in Large Anonymous Games", Volume 40, pages 571-598
V. Aravantinos, R. Caferra and N. Peltier (2011) "Decidability and Undecidability Results for Propositional Schemata", Volume 40, pages 599-656
L. Bordeaux, G. Katsirelos, N. Narodytska and M. Y. Vardi (2011) "The Complexity of Integer Bound Propagation", Volume 40, pages 657-676
F. Wu, J. Madhavan and A. Halevy (2011) "Identifying Aspects for Web-Search Queries", Volume 40, pages 677-700
A. Cimatti, A. Griggio and R. Sebastiani (2011) "Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories", Volume 40, pages 701-728
W. Li, P. Poupart and P. van Beek (2011) "Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference", Volume 40, pages 729-765
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