| 2004 | Production Inference, Nonmonotonicity and Abduction. | Alexander Bochman |
| 2002 | An Alternative Formulation of Dynamic-Programming Updates for POMDPs. | Weihong Zhang, Nevin Lianwen Zhang |
| 2002 | A Randomization Strategy for Combinatorial Search. | Hantao Zhang |
| 2002 | Construction of a Bayesian DAG from Conditional Independencies. | S. K. Michael Wong, Tao Lin, Dan Wu |
| 2002 | Bias-Variance-Decomposition of Zero-One Loss in Average-Case Model. | Masaaki Tsuyuguchi, Kuniaki Uehara |
| 2002 | Part and Complement: Fundamental Concepts in Spatial Relations. | John G. Stell |
| 2002 | Adaptable Boundary Sets. | Evgueni N. Smirnov, H. Jaap van den Herik, Ida G. Sprinkhuizen-Kuyper |
| 2002 | Duality in Knowledge Sharing. | W. Marco Schorlemmer |
| 2002 | Theoretical Comparison between the Gini Index and Information Gain Criteria. | Laura Elena Raileanu, Kilian Stoffel |
| 2002 | Transductive Confidence Machines for Pattern Recognition. | Kostas Proedrou, Ilia Nouretdinov, Volodya Vovk, Alex Gammerman |
| 2002 | Inductive Confidence Machines for Regression. | Harris Papadopoulos, Kostas Proedrou, Volodya Vovk, Alex Gammerman |
| 2002 | Quantitative measures of organizational degree induced by mobile agents. | Sorinel Adrian Oprisan |
| 2002 | Improvement of Boosting Algorithm by Modifying the Weighting Rule. | Masayuki Nakamura, Kuniaki Uehara |
| 2002 | Exact Projection Functions for Floating Point Number Constraints. | Claude Michel |
| 2002 | Proof planning Non-standard Analysis. | Ewen Maclean, Jacques D. Fleuriot, Alan Smaill |
| 2002 | Symmetry Breaking in Constraint Satisfaction. | Eugene M. Luks, Amitabha Roy |
| 2002 | Negative Results on Learning Dependencies with Queries. | Montserrat Hermo, Vctor Lavn |
| 2002 | Information Gain Versus Gain Ratio: A Study of Split Method Biases. | Earl Harris |
| 2002 | Semantics for fuzzy disjunctive programs with similarity. | Dusan Guller |
| 2002 | Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution. | Allen Van Gelder |
| 2002 | Generalizations of Watched Literals for Backtracking Search. | Allen Van Gelder |
| 2002 | The Difficulty of Reduced Error Pruning of Leveled Branching Programs. | Tapio Elomaa, Matti Kriinen |
| 2002 | Characterizing the Space of all Cliques in Random Graphs using "Go with the Winners". | Tassos Dimitriou |
| 2002 | A Complete Axiomatization for Blocks World. | Stephen A. Cook, Yongmei Liu |
| 2002 | Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. | Simon Colton, Geoff Sutcliffe |