Artificial Intelligence and Symbolic Computation