Program of the Sixth International Symposium on Artificial Intelligence and Mathematics

Friday, January 7, 2000

Machine Learning II

Knowledge Exploration II
(invited session)


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


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


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