Abstract is missing.
- Symmetry Breaking in Constraint SatisfactionEugene M. Luks, Amitabha Roy. [doi]
- A Complete Axiomatization for Blocks WorldStephen A. Cook, Yongmei Liu. [doi]
- Theoretical Comparison between the Gini Index and Information Gain CriteriaLaura Elena Raileanu, Kilian Stoffel. [doi]
- Characterizing the Space of all Cliques in Random Graphs using ``Go with the Winners''Tassos Dimitriou. [doi]
- Part and Complement: Fundamental Concepts in Spatial RelationsJohn G. Stell. [doi]
- Common Derivations in Locally Determined Logic ProgramsDouglas Cenzer, Amy Vanderbilt. [doi]
- Quantitative measures of organizational degree induced by mobile agentsSorinel Adrian Oprisan. [doi]
- Negative Results on Learning Dependencies with QueriesMontserrat Hermo, Víctor Lavín. [doi]
- An Alternative Formulation of Dynamic-Programming Updates for POMDPsWeihong Zhang, Nevin Lianwen Zhang. [doi]
- Exact Projection Functions for Floating Point Number ConstraintsClaude Michel. [doi]
- Semantics for fuzzy disjunctive programs with similarityDusan Guller. [doi]
- Narrowing confidence interval width of PAC learning risk function by algorithmic inferenceBruno Apolloni, Dario Malchiodi. [doi]
- The Difficulty of Reduced Error Pruning of Leveled Branching ProgramsTapio Elomaa, Matti Kääriäinen. [doi]
- Construction of a Bayesian DAG from Conditional IndependenciesS. K. Michael Wong, Tao Lin, Dan Wu. [doi]
- Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution Allen Van Gelder. [doi]
- Graph decomposition heuristic for machine scheduling problemsEui-Seok Byeon. [doi]
- A Randomization Strategy for Combinatorial SearchHantao Zhang. [doi]
- Transductive Confidence Machines for Pattern RecognitionKostas Proedrou, Ilia Nouretdinov, Volodya Vovk, Alexander Gammerman. [doi]
- Automatic Generation of Benchmark Problems for Automated Theorem Proving SystemsSimon Colton, Geoff Sutcliffe. [doi]
- Bias-Variance-Decomposition of Zero-One Loss in Average-Case ModelMasaaki Tsuyuguchi, Kuniaki Uehara. [doi]
- Duality in Knowledge SharingW. Marco Schorlemmer. [doi]
- Adaptable Boundary SetsEvgueni N. Smirnov, H. Jaap van den Herik, Ida G. Sprinkhuizen-Kuyper. [doi]
- Inductive Confidence Machines for RegressionHarris Papadopoulos, Kostas Proedrou, Volodya Vovk, Alexander Gammerman. [doi]
- Information Gain Versus Gain Ratio: A Study of Split Method BiasesEarl Harris. [doi]
- The NumbersWithNames ProgramSimon Colton, Louise A. Dennis. [doi]
- Improvement of Boosting Algorithm by Modifying the Weighting RuleMasayuki Nakamura, Kuniaki Uehara. [doi]
- Minimizing Output Error in Multi-Layer PerceptronsJonathan P. Bernick. [doi]
- Proof planning Non-standard AnalysisEwen Maclean, Jacques D. Fleuriot, Alan Smaill. [doi]
- Generalizations of Watched Literals for Backtracking SearchAllen Van Gelder. [doi]