Program of the Seventh International Symposium on Artificial Intelligence and Mathematics

Wednesday, January 2, 2002

8:00 - 8:30 Registration

8:30 - 9:00

Conference Opening, by Marty Golumbic, General Chair, and Frederick Hoffman, Conference Chair

Learning I

Satisfiability (invited session)


E. Harris: Information Gain Versus Gain Ratio: A Study of Split Method Biases

John Franco: A Non-linear SAT Solver


B. Apolloni, D. Malchiodi: Narrowing confidence interval width of PAC learning risk function by algorithmic inference

Bert Randerath: On satisfiable CNF-formulas closed under literal flipping


L.E. Raileanu, K. Stoffel: Theoretical Comparison between the Gini Index and Information Gain Criteria

Ewald Speckenmayer: Worst case bounds for XSAT and Set Partitioning

10:30 - 11:00 Coffee break

Learning II

Graphs and Numbers


J.P. Bernick: Minimizing Output Error in Multi-Layer Perceptrons

S. Colton, L. Dennis: The NumbersWithNames Program


M. Nakamura and K. Uehara: Improvement of Boosting Algorithm by Modifying the Weighting Rule

T. Dimitriou: Characterizing the Space of all Cliques in Random Graphs using ``Go with the Winners''


S.K.M. Wong, T. Lin, D. Wu: Construction of a Bayesian DAG from Conditional Independencies

E. Byeon: Graph decomposition heuristic for machine scheduling problems

12:30 - 14:00 Lunch (on your own)

Learning III

Confidence machines, POMDPS


M. Hermo, V. Lavin: Negative Results on Learning Dependencies with Queries

H. Papadopoulos, K. Proedrou, V. Vovk, A. Gammerman: Inductive Confidence Machines for Regression


M. Tsuyuguchi, K. Uehara: Bias-Variance-Decomposition of Zero-One Loss in Average-Case Model

K. Proedrou, I. Nouretdinov, V. Vovk, A. Gammerman: Transductive Confidence Machines for Pattern Recognition


E.N. Smirnov, H.J. van den Herik, I.G. Sprinkhuizen-Kuyper: Adaptable Boundary Sets

W. Zhang, N.L. Zhang: An Alternative Formulation of Dynamic-Programming Updatesfor POMDPs

15:30 - 16:00 Coffee break

16:00 - 17:00 Plenary lecture: INVITED TALK I

Tom Dean:

Searching in the Space of Very Large Structured Models

Evening: Excursion by boat