| 2012 |
Document Summarization Based on Data Reconstruction |
Zhanying He, Zhejiang University; et al. |
| Learning SVM Classiiers with Indeinite Kernels |
Suicheng Gu & Yuhong Guo, Temple University |
| 2011 |
Dynamic Resource Allocation in Conservation Planning |
Daniel Golovin, California Institute of Technology; et al. |
| Complexity of and Algorithms for Borda Manipulation |
Jessica Davies, University of Toronto; et al. |
| 2010 |
How Incomplete Is Your Semantic Web Reasoner? Systematic Analysis of the Completeness of Query Ans... |
Giorgos Stoilos, Oxford University; et al. |
| A Novel Transition Based Encoding Scheme for Planning as Satisfiability |
Ruoyun Huang, Washington University in St. Louis; et al. |
| 2008 |
How Good is Almost Perfect? |
Malte Helmert & Gabriele Röger, Albert-Ludwigs-Universität Freiburg |
| 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; et al. |
| 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; et al. |
| Towards an Axiom System for Default Logic |
Gerhard Lakemeyer, RWTH Aachen University |
| 2005 |
The Max K- Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection |
Vincent A. Cicirello, Drexel University |
| 2004 |
Learning and Inferring Transportation Routines |
Lin Liao, University of Washington; et al.
|
| 2002 |
On Computing All Abductive Explanations |
Thomas Eiter, Technische Universität Wien |
| 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; et al. |
| 1998 |
Learning Evaluation Functions for Global Optimization and Boolean Satisfiability |
Justin A. Boyan & Andrew W. Moore, Carnegie Mellon University |
| Acceleration Methods for Numeric CSPs |
Yahia Lebbah & Olivier Lhomme, Ecole des Mines de Nantes |
| The Interactive Museum Tour-Guide Robot |
Wolfram Burgard, University of Bonn; et al. |
| 1997 |
Statistical Parsing with a Context-Free Grammar and Word Statistics |
Eugene Charniak, Brown University |
| A Practical Algorithm for Finding Optimal Triangulations |
Krill Shoikhet & Dan Geiger, Technion |
| Fast Context Switching in Real-Time Propositional Reasoning |
P. Pandurang Nayak & Brian C. Williams, NASA Ames Research Center |
| Building Concept Representations from Reusable Components |
Peter Clark, Boeing |
| 1996 |
Verification of Knowledge Bases Based on Containment Checking |
Alon Y. Levy, AT&T Laboratories |
| A Novel Application of Theory Refinement to Student Modeling |
Paul T. Baffes, SciComp |
| Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search |
Henry Kautz & Bart Selman, AT&T Laboratories |