Program of the Sixth International Symposium on Artificial Intelligence and Mathematics


Friday, January 7, 2000

Machine Learning II

Knowledge Exploration II
(invited session)

9:00

An Efficient Algorithm for Learning Upper Convex Polyhedra Using Membership Queries, by Stephen Kwek

Computational Intelligence Methods Aid the Design of Safe Chemicals</I, by Les M. Sztandera, Charles Bock, and Mendel Trachtman

9:30

Discovering Critical Cases in Case-Based Reasoning, by Ken Satoh and Ryuichi Nakagawa,

Structure-Activity Relationship Models: Using the Results of Model Ensembles, by Nancy B. Sussman

10:00

Approximation Algorithms for the Class Cover Problem, by Adam Cannon and Lenore Cowen

 


10:30 - 11:00: Coffee break

11:00 - 12:00 Plenary lecture: INVITED TALK II

Heinz-Otto Peitgen

University of Bremen and Florida Atlantic University

Medical Imaging:

Mathematical and Software Assistance

for Planning Liver Surgery


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