7. AMAI 2002: Fort Lauderdale, Florida, USA

• Jonathan P. Bernick:
  Minimizing Output Error in Multi-Layer Perceptrons.
  Electronic Edition (link) BibTeX
• Douglas A. Cenzer, Amy Vanderbilt:
  Common Derivations in Locally Determined Logic Programs.
  Electronic Edition (link) BibTeX
• Simon Colton, Louise A. Dennis:
  The NumbersWithNames Program.
  Electronic Edition (link) BibTeX
• Simon Colton, Geoff Sutcliffe:
  Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.
  Electronic Edition (link) BibTeX
• Stephen A. Cook, Yongmei Liu:
  A Complete Axiomatization for Blocks World.
  Electronic Edition (link) BibTeX
• Tassos Dimitriou:
  Characterizing the Space of all Cliques in Random Graphs using "Go with the Winners".
  Electronic Edition (link) BibTeX
• Tapio Elomaa, Matti Kääriäinen:
  The Difficulty of Reduced Error Pruning of Leveled Branching Programs.
  Electronic Edition (link) BibTeX
• Eui-Seok Byeon:
  Graph decomposition heuristic for machine scheduling problems.
  Electronic Edition (link) BibTeX
• Dusan Guller:
  Semantics for fuzzy disjunctive programs with similarity.
  Electronic Edition (link) BibTeX
• Hantao Zhang:
  A Randomization Strategy for Combinatorial Search.
  Electronic Edition (link) BibTeX
• Earl Harris:
  Information Gain Versus Gain Ratio: A Study of Split Method Biases.
  Electronic Edition (link) BibTeX
• Montserrat Hermo, Víctor Lavín:
  Negative Results on Learning Dependencies with Queries.
  Electronic Edition (link) BibTeX
• Ewen Maclean, Jacques D. Fleuriot, Alan Smaill:
  Proof planning Non-standard Analysis.
  Electronic Edition (link) BibTeX
• Bruno Apolloni, Dario Malchiodi:
  Narrowing confidence interval width of PAC learning risk function by algorithmic inference.
  Electronic Edition (link) BibTeX
• Claude Michel:
  Exact Projection Functions for Floating Point Number Constraints (pdf).
  Electronic Edition (link) BibTeX
• Masayuki Nakamura, Kuniaki Uehara:
  Improvement of Boosting Algorithm by Modifying the Weighting Rule.
  Electronic Edition (link) BibTeX
• Harris Papadopoulos, Kostas Proedrou, Volodya Vovk, Alexander Gammerman:
  Inductive Confidence Machines for Regression.
  Electronic Edition (link) BibTeX
• Kostas Proedrou, Ilia Nouretdinov, Volodya Vovk, Alexander Gammerman:
  Transductive Confidence Machines for Pattern Recognition.
  Electronic Edition (link) BibTeX
• Laura Elena Raileanu, Kilian Stoffel:
  Theoretical Comparison between the Gini Index and Information Gain Criteria.
  Electronic Edition (link) BibTeX
• W. Marco Schorlemmer:
  Duality in Knowledge Sharing.
  Electronic Edition (link) BibTeX
• John G. Stell:
  Part and Complement: Fundamental Concepts in Spatial Relations.
  Electronic Edition (link) BibTeX
• Masaaki Tsuyuguchi, Kuniaki Uehara:
  Bias-Variance-Decomposition of Zero-One Loss in Average-Case Model.
  Electronic Edition (link) BibTeX
• Allen Van Gelder:
  Generalizations of Watched Literals for Backtracking Search.
  Electronic Edition (link) BibTeX
• Allen Van Gelder:
  Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution.
  Electronic Edition (link) BibTeX
• Weihong Zhang, Nevin Lianwen Zhang:
  An Alternative Formulation of Dynamic-Programming Updates for POMDPs.
  Electronic Edition (link) BibTeX
• Eugene M. Luks, Amitabha Roy:
  Symmetry Breaking in Constraint Satisfaction.
  Electronic Edition (link) BibTeX
• S. K. Michael Wong, Tao Lin, Dan Wu:
  Construction of a Bayesian DAG from Conditional Independencies.
  Electronic Edition (link) BibTeX
• Sorinel Adrian Oprisan:
  Quantitative measures of organizational degree induced by mobile agents.
  Electronic Edition (link) BibTeX
• Evgueni N. Smirnov, H. Jaap van den Herik, Ida G. Sprinkhuizen-Kuyper:
  Adaptable Boundary Sets.
  Electronic Edition (link) BibTeX