Artificial Intelligence and Symbolic Computation [electronic resource] : 8th