The Annual IJCAI-JAIR Best Paper Prize is awarded to an outstanding paper published in JAIR in the preceding five calendar years. The prize committee is comprised of associate editors and members of the JAIR Advisory Board; their decision is based on both the significance of the paper and the quality of presentation. The recipient(s) of the award receives a prize of US$500 (to be split amongst the authors of a co-authored paper). Funding for this award was provided by the International Joint Conferences on Artificial Intelligence.

Multimodal Distributional Semantics

2017 Prize
E. Bruni, N. K. Tran, M. Baroni
Citation: This paper describes a procedure for constructing word representations using text- and image-based distributional information. This has been a fundamental and innovative contribution in the area of natural language and vision. Another key contribution is the data set, which has since been used extensively. This work is recognised for its impact within multiple areas in AI, including NLP, Vision, and Machine Learning, and for its seminal role in the introduction of a multimodal perspective in distributional semantics models for computational representations of word meaning.

COLIN: Planning with Continuous Linear Numeric Change

2017 Honorable Mention
A. J. Coles, A. I. Coles, M. Fox, D. Long
Citation: This paper combines classical planning over a domain model with reasoning over continuous change - a challenging topic of high relevance within the AI community as well as for real-world applications, including energy management, chemical engineering and robotics. It introduces a concrete instantiation of what has since become the dominant approach for temporal hybrid planning, by effectively combining heuristic search with an external numeric reasoner such as a linear program solver. This work is recognised for its impact within AI planning and beyond, and for its seminal role in the development of hybrid discrete-continuous planning techniques.

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects

2016 Prize
Christian Geist, Ulle Endriss
Citation: This article presents a core AI result in computational social choice using automatic theorem proving techniques, by studying axioms that relate preferences over individual objects with preferences over sets of objects. These axioms are represented as formulae in a many-sorted first-order-logic that are then mapped into propositional logic formulae amenable and tackled using a SAT solver. A key contribution of the paper is a result showing that inconsistencies found for a fixed domain size can be extended to larger domains, leading to an impossibility theorem. Using this approach, the authors verify a number of known theorems and discover several new ones. Overall, the contributions made in this work are of considerable importance for computational social choice and for AI in general; they include: (i) a practical automatic method for theorem search, (ii) the verification of a number of well-known theorems, and (iii) the automatic discovery of several new and non-trivial impossibility theorems in social choice.

Theoretical and Practical Foundations of Large-Scale Agent-Based Micro-Storage in the Smart Grid

2016 Honorable Mention
Perukrishnen Vytelingum, Thomas Voice, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings

The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks

2015 Prize
S. Richter, M. Westphal
Citation: This paper gives a comprehensive description and analysis of the award winning LAMA planner. LAMA's use of landmarks in combination with cost-sensitive heuristics is presented, and the performance of the planner in different configurations is evaluated and analyzed in a detailed and insightful experimental study. This excellently written paper has been very influential and has helped to establish the use of landmarks as a key technique in classical planning.

Wikipedia-based Semantic Interpretation for Natural Language Processing

2014 Prize
Evgeniy Gabrilovich, Shaul Markovitch
Citation: This paper demonstrates how contextual word meaning can be represented in a high-dimensional space of concepts derived from encyclopedic knowledge bases such as Wikipedia. A key insight is that the set of target documents provided for a semantic analysis task is normally insufficient; knowledge from publicly available resources, such as Wikipedia, allow much finer-grained representations of contextual word meaning to be recovered, which can significantly improve the quality of text categorization and assessments of semantic relatedness. This work represents one of the earliest and most influential investigations of using large-scale encyclopedic resources for extracting meaning representations---an idea that now lies at the heart of much work in natural language processing and information retrieval.

A Monte-Carlo AIXI Approximation

2014 Honorable Mention
Joel Veness, Kee Siong Ng, Marcus Hutter, William Uther, David Silver
Citation: This paper investigates the possibility of designing reinforcement learning agents based on a direct approximation of AIXI, a Bayesian notion of optimality in uncertain sequential decision making environments. Although it had been unclear whether AIXI could provide a practical foundation for designing learning agents, this paper demonstrates the first plausible realization of an AIXI agent by exploiting Monte Carlo tree search and context tree weighting algorithms. The paper presents a bold and original perspective on the difficult problem of partially observable reinforcement learning, while demonstrating impressive results on a range of applications.

SATzilla: Portfolio-based Algorithm Selection for SAT

2010 Prize
L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown

The Fast Downward Planning System

2009 Honorable Mention
M. Helmert

Pure Nash Equilibria: Hard and Easy Games

2008 Prize
G. Gottlob, G. Greco, F. Scarcello

Efficient Solution Algorithms for Factored MDPs

2007 Prize
Guestrin, C., Koller, D., Parr, R., Venkataraman, S.

Additive Pattern Database Heuristics

2007 Honorable Mention
Felner, A., Korf, R.E., Hanan, S.

A Knowledge Compilation Map

2006 Prize
Darwiche, A., Marquis, P.

The Computational Complexity of Probabilistic Planning

2003 Honorable Mention
Littman, M.L., Goldsmith, J., Mundhenk M.