Author: International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France)