Artificial Intelligence and Symbolic Computation: 7th International Conference, Aisc 2004, Linz, Austria, September 22-24, 2004. Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004. The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and mathematical foundations, implementations, and applications in industry and academia.