AISC 2002 Conference Artificial Intelligence and Symbolic Computation Theory, Implementations and Applications