Publisher's Synopsis
Constitutes the proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China. This book contains 18 papers which address various aspects in the area of symbolic computing and AI, such as mathematical foundations, implementations, and applications in industry and academia.