AISC'2000 Fifth International Conference Artificial Intelligence and Symbolic Computation