| 2008 | Verifying RUP Proofs of Propositional Unsatisfiability. | Allen Van Gelder |
| 2008 | Explicit Logics of Knowledge and Conservativity. | Melvin Fitting |
| 2008 | A Fast Way to Produce Optimal Fixed-Depth Decision Trees. | Alireza Farhangfar, Russell Greiner, Martin Zinkevich |
| 2008 | Sampling for Approximate Inference in Continuous Time Bayesian Networks. | Yu Fan, Christian R. Shelton |
| 2008 | Exploiting Conjunctive Queries in Description Logic Programs. | Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni |
| 2008 | Best-First Search with Maximum Edge Cost Functions. | P. Alex Dow, Richard E. Korf |
| 2008 | Reinforcement Learning with Limited Reinforcement: Using Bayes Risk for Active Learning in POMDPs. | Finale Doshi, Joelle Pineau, Nicholas Roy |
| 2008 | Paired Sampling in Density-Sensitive Active Learning. | Pinar Donmez, Jaime G. Carbonell |
| 2008 | Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. | Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2008 | A General Agnostic Active Learning Algorithm. | Sanjoy Dasgupta, Daniel J. Hsu, Claire Monteleoni |
| 2008 | Boolean and Matroidal Independence in Uncertainty Theory. | Fabio Cuzzolin |
| 2008 | An Interpretation of Consistent Belief Functions in Terms of Simplicial Complexes. | Fabio Cuzzolin |
| 2008 | Comparing Multiagent Systems Research in Combinatorial Auctions and Voting. | Vincent Conitzer |
| 2008 | A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs. | Douglas Cenzer, Jeffrey B. Remmel |
| 2008 | Continuous-State POMDPs with Hybrid Dynamics. | Emma Brunskill, Leslie Pack Kaelbling, Toms Lozano-Prez, Nicholas Roy |
| 2008 | Default Logic Generalized and Simplified. | Alex Bochman |
| 2008 | Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values. | Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera |
| 2008 | Scalable Action Respecting Embedding. | Michael Biggs, Ali Ghodsi, Dana F. Wilkinson, Michael H. Bowling |
| 2008 | Formalising Interaction-Situated Semantic Alignment: The Communication Product. | Manuel Atencia, W. Marco Schorlemmer |
| 2008 | More Flexible Term Schematisations via Extended Primal Grammars. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2008 | Hard SAT and CSP instances with Expander Graphs. | Carlos Anstegui, Ramn Bjar, Csar Fernndez, Carles Mateu |
| 2008 | Estimating the Number of Local Maxima for k-SAT Instances. | Andreas Alexander Albrecht, Peter C. R. Lane, Kathleen Steinhfel |
| 2006 | Experimental Results on the Satisfiable Core in Random 3SAT. | Honglei Zeng, Sheila A. McIlraith |
| 2006 | A Quotient Construction on Markov Chains with Applications to the Theory of Generalized Simulated Annealing. | John R. Wicks, Amy Greenwald |
| 2006 | Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach. | Mirek Truszczynski |