JAIR Volume 53 Articles
Each entry in this table of contents provides links to an individual article and its appendices (if any):
Pannaga Shivaswamy and Thorsten Joachims (2015) "Coactive Learning", Volume 53, pages 1-40
Krishna S. R. Dubba, Anthony G. Cohn, David C. Hogg, Mehul Bhatt and Frank Dylla (2015) "Learning Relational Event Models from Video", Volume 53, pages 41-90
Davide Grossi, Emiliano Lorini and Francois Schwarzentruber (2015) "The Ceteris Paribus Structure of Logics of Game Forms", Volume 53, pages 91-126
Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl and Armin Biere (2015) "Clause Elimination for SAT and QSAT", Volume 53, pages 127-168
Miquel Esplà-Gomis, Felipe Sánchez-Martínez and Mikel L. Forcada (2015) "Using Machine Translation to Provide Target-Language Edit Hints in Computer Aided Translation Based on Translation Memories", Volume 53, pages 169-222
Akshat Kumar, Shlomo Zilberstein and Marc Toussaint (2015) "Probabilistic Inference Techniques for Scalable Multiagent Decision Making", Volume 53, pages 223-270
Diego Figueira, Santiago Figueira and Carlos Areces (2015) "Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization", Volume 53, pages 271-314
Meghyn Bienvenu, Magdalena Ortiz and Mantas Simkus (2015) "Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms", Volume 53, pages 315-374
Timothy A. Mann, Shie Mannor and Doina Precup (2015) "Approximate Value Iteration with Temporally Extended Actions", Volume 53, pages 375-438
Felix Brandt, Markus Brill, Edith Hemaspaandra and Lane A. Hemaspaandra (2015) "Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates", Volume 53, pages 439-496
Matthew L Ginsberg (2015) "Satsisfiability and Systematicity", Volume 53, pages 497-540
Abstract | PDF | doi:10.1613/jair.4684
Appendix 1 - FLEX code | Appendix 2 - STLSAT code
Masood Feyzbakhsh Rankooh and Gholamreza Ghassem-Sani (2015) "ITSAT: An Efficient SAT-Based Temporal Planner", Volume 53, pages 541-632
Abstract | PDF | PostScript | doi:10.1613/jair.4697
Appendix - ITSAT planner code
Stefan Funke, Andre Nusser and Sabine Storandt (2015) "Placement of Loading Stations for Electric Vehicles: No Detours Necessary!", Volume 53, pages 633-658
Daan Bloembergen, Karl Tuyls, Daniel Hennes and Michael Kaisers (2015) "Evolutionary Dynamics of Multi-Agent Learning: A Survey", Volume 53, pages 659-697
Johan Kwisthout (2015) "Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks", Volume 53, pages 699-720
Piotr Krysta, Orestis Telelis and Carmine Ventre (2015) "Mechanisms for Multi-unit Combinatorial Auctions with a Few Distinct Goods", Volume 53, pages 721-744
Marius Lindauer, Holger H. Hoos, Frank Hutter and Torsten Schaub (2015) "AutoFolio: An Automatically Configured Algorithm Selector", Volume 53, pages 745-778
Aaron Hunter and James Delgrande (2015) "Belief Change with Uncertain Action Histories", Volume 53, pages 779-824
