Program of the Fifth International Symposium on Artificial Intelligence and Mathematics

Tuesday, January 6, 1998


Learning I
Chair: Dan Roth
Room: Causeway 1-2
Reasoning
Chair: Erica Melis
Room: Causeway 3
8:30: Semantic Dimension: On the Effectiveness of Naive Data Fusion Methods in Certain Learning and Detection Problems, by Paul Kantor, SCILS, Rutgers University, New Jersey Perceive This as That - Analogical and Metaphorical Cognitive Transitions with Categorical Tools, by Zippora Arzi-Gonczarowski, Typographics, Ltd. Jerusalem, Israel
9:00: An Information-Theoretic Approach to Data Mining, by Mark Last, Tel-Aviv University, Tel-Aviv, Israel Characterizing consistency based diagnosis, by Sylvie Coste-Marquis, CRIL/UniversitÚ d'Artois & IUT de Lens, France
9:30: Nonlinear Regularization, by Joerg C. Lemm, Institut für Theoretische Physik I, Münster, Germany Geometric Foundations for Interval-Based Probabilities, by Vu Ha, University of Wisconsin-Milwaukee
10:00: An automated conversion of documents containing math to SGML, by Janusz Wnek. Science Applications International Corporation, Vienna, VA (Canceled) A Hybrid Concept Language, by Miroslava Tzakova, Max-Planck Institute fur Informatik, Saarbrucken, Germany

10:30 - 11:00: Coffee break

Learning II
Chair: Zippora Arzi-Gonczarowski
Room: Causeway 1-2
Boolean Functions
Chair: Allen Van Gelder
Room: Causeway 3
11:00: Continuous And Discrete-Time Nonlinear Gradient Descent Relative Loss Bounds and Convergence, by Arun Jagota, University of California at Santa Cruz Monotonocity, decision listsá and partially defined discrete functions, by Jan C. Bioch,
11:30: Computational Learning by an Optical Thin-Film Model, by Xiaodong Li, Charles Sturt University, Albury, Australia Functional Dependencies in Horn Theories, by Alexander Kogan, Rutgers University, New Jersey
12:00: Pattern Recognition using Artificial Neural Networks with White Noise, by A. Osanlou, De Montfort University, Leicester, UK Sequential diagnosis of double regular systems, by Tonguç Ünlüyurt, Rutgers University, New Jersey

12:30: Lunch (on your own) -- END OF MEETING