| Year | Title | Authors |
|---|---|---|
| 2018 | Memory-Augmented Monte Carlo Tree Search | Chenjun Xiao, University of Alberta Jincheng Mei, University of Alberta Martin Müller, University of Alberta |
| 2017 | Label-Free Supervision of Neural Networks with Physics and Domain Knowledge | Russell Stewart & Stefano Ermon, Stanford University |
| 2016 | Bidirectional Search That Is Guaranteed to Meet in the Middle | Robert C. Holte, University of Alberta Ariel Felner, Ben-Gurion University Guni Sharon, Ben-Gurion University Nathan R. Sturtevant, University of Denver |
| 2015 | From Non-Negative to General Operator Cost Partitioning | Florian Pommerening, University of Basel Malte Helmert, University of Basel Gabriele Röger, University of Basel Jendrik Seipp, University of Basel |
| 2014 | Recovering from Selection Bias in Causal and Statistical Inference | Elias Bareinboim, University of California Los Angeles Jin Tian, Iowa State University Judea Pearl, University of California Los Angeles |
| 2013 | HC-Search: Learning Heuristics and Cost Functions for Structured Prediction | Janardhan Rao Doppa, Oregon State University Alan Fern, Oregon State University Prasad Tadepalli, Oregon State University |
| 2013 | SMILe: Shuffled Multiple-Instance Learning | Gary Doran & Soumya Ray, Case Western Reserve University |
| 2012 | Learning SVM Classifiers with Indefinite Kernels | Suicheng Gu & Yuhong Guo, Temple University |
| 2012 | Document Summarization Based on Data Reconstruction | Zhanying He, Zhejiang University Chun Chen, Zhejiang University Jiajun Bu, Zhejiang University Can Wang, Zhejiang University Lijan Zhang, Zhejiang University Deng Cai, Zhejiang University Xiaofei He, Zhejiang University |
| 2011 | Dynamic Resource Allocation in Conservation Planning | Daniel Golovin, California Institute of Technology Andreas Krause, ETH Zurich Beth Gardner, North Carolina State University Sarah J. Converse, Patuxent Wildlife Research Center Steve Morey, U.S. Fish and Wildlife Service |
| 2011 | Complexity of and Algorithms for Borda Manipulation | Jessica Davies, University of Toronto George Katsirelos, Université Paris-Sud Nina Narodytska, University of New South Wales Toby Walsh, NICTA |
| 2010 | How Incomplete Is Your Semantic Web Reasoner? Systematic Analysis of the Completeness of Query Answering Systems | Giorgos Stoilos, Oxford University Bernardo Cuenca Grau, Oxford University Ian Horrocks, Oxford University |
| 2010 | A Novel Transition Based Encoding Scheme for Planning as Satisfiability | Ruoyun Huang, Washington University in St. Louis Yixin Chen, Washington University in St. Louis Weixiong Zhang, Washington University in St. Louis |
| 2008 | How Good is Almost Perfect? | Malte Helmert & Gabriele Röger, Albert-Ludwigs-Universität Freiburg |
| 2008 | Optimal False-Name-Proof Voting Rules with Costly Voting | Liad Wagman & Vincent Conitzer, Duke University |
| 2007 | PLOW: A Collaborative Task Learning Agent | James Allen, Institute for Human and Machine Cognition Nathanael Chambers, Stanford University George Ferguson, University of Rochester Lucian Galescu, Institute for Human and Machine Cognition Hyuckchul Jung, Institute for Human and Machine Cognition Mary Swift, University of Rochester William Taysom, Institute for Human and Machine Cognition |
| 2007 | Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games | Colin McMillen & Manuela Veloso, Carnegie Mellon University |
| 2006 | Model Counting: A New Strategy for Obtaining Good Bounds | Carla P. Gomes, Cornell University Ashish Sabharwal, Cornell University Bart Selman, Cornell University |
| 2006 | Towards an Axiom System for Default Logic | Gerhard Lakemeyer, RWTH Aachen University Hector J. Levesque, University of Toronto |
| 2005 | The Max K- Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection | Vincent A. Cicirello, Drexel University Stephen F. Smith, Carnegie Mellon University |
| 2004 | Learning and Inferring Transportation Routines | Lin Liao, University of Washington Dieter Fox, University of Washington Henry Kautz, University of Washington |
| 2002 | On Computing All Abductive Explanations | Thomas Eiter, Technische Universität Wien Kazuhisa Makino, Osaka University |
| 2000 | The Game of Hex: An Automatic Theorem-Proving Approach to Game Programming | Vadim V. Anshelevich, Vanshel Consulting |
| 1999 | PROVERB: The Probabilistic Cruciverbalist | Greg A. Keim, Duke University Noam M. Shazeer, Duke University Michael L. Littman, Duke University Sushant Agarwal, Duke University Catherine M. Cheves, Duke University Joseph Fitzgerald, Duke University Jason Grosland, Duke University Fan Jiang, Duke University Shannon Pollard, Duke University Karl Weinmeister, Duke University |
| 1998 | Learning Evaluation Functions for Global Optimization and Boolean Satisfiability | Justin A. Boyan & Andrew W. Moore, Carnegie Mellon University |
| 1998 | Acceleration Methods for Numeric CSPs | Yahia Lebbah & Olivier Lhomme, Ecole des Mines de Nantes |
| 1998 | The Interactive Museum Tour-Guide Robot | Wolfram Burgard, University of Bonn Armin B. Cremers, University of Bonn Dieter Fox, University of Bonn Dirk Hähnel, University of Bonn Gerhard Lakemeyer, Aachen University of Technology Dirk Schulz, University of Bonn Walter Steiner, University of Bonn Sebastian Thrun, Carnegie Mellon University |
| 1997 | Statistical Parsing with a Context-Free Grammar and Word Statistics | Eugene Charniak, Brown University |
| 1997 | A Practical Algorithm for Finding Optimal Triangulations | Krill Shoikhet & Dan Geiger, Technion |
| 1997 | Fast Context Switching in Real-Time Propositional Reasoning | P. Pandurang Nayak & Brian C. Williams, NASA Ames Research Center |
| 1997 | Building Concept Representations from Reusable Components | Peter Clark, Boeing Bruce Porter, University of Texas at Austin |
| 1996 | Verification of Knowledge Bases Based on Containment Checking | Alon Y. Levy, AT&T Laboratories Marie-Christine Rousset, Université Paris-Sud |
| 1996 | A Novel Application of Theory Refinement to Student Modeling | Paul T. Baffes, SciComp Raymond J. Mooney, University of Texas at Austin |
| 1996 | Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search | Henry Kautz & Bart Selman, AT&T Laboratories |
