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.


Clause Elimination for SAT and QSAT

2019 Prize
Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl and Armin Biere
Citation: This paper describes fundamental and practical results on a range of clause elimination procedures as preprocessing and simplification techniques for SAT and QBF solvers. Since its publication, the techniques described therein have been demonstrated to have profound impact on the efficiency of state-of-the-art SAT and QBF solvers. The work is elegant and extends beautifully some well-established theoretical concepts. In addition, the paper gives new emphasis and impulse to pre- and in-processing techniques - an emphasis that resonates beyond the two key problems, SAT and QBF, covered by the authors.
 

Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics

2018 Prize
M. Hodosh, P. Young and J. Hockenmaier
Citation: This article deals with the problem of associating images with natural language sentences that describe what is depicted in them. It specifically considers the task of associating images with sentences drawn from a large, predefined pool of image descriptions, and introduces a benchmark collection for sentence-based image description and search that has since become widely used within the community. The authors describe and thoroughly evaluate several image description algorithms and demonstrate that image features capturing only low-level perceptual properties can work surprisingly well in cases where no in-domain detectors are available. In their empirical evaluation, they consider different metrics for the quality of single image-caption pairs. Automatically computed scores are also compared with detailed human judgments.
 
The work is recognised for its thorough empirical treatment of an interesting problem at the intersection of computer vision and natural language processing, and for its lasting impact on the literature in this area. It clearly demonstrates the value of carefully designed benchmark sets and computational experiments. Overall, this article serves as an excellent example for high-quality and impactful empirical work in AI.

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.