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 AI: mathematical foundations, implementations, and applications in industry and academia.
AISC 2004, the 7th International Conference on Artificial Intelligence and Symbolic Computation, was the latest in the series of specialized biennial conferences founded in 1992 by Jacques Calmet of the Universität Karlsruhe and John Campbell of University College London with the initial title Artificial Intelligence and Symbolic Mathematical Computing (AISMC). The M disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 proceedings said, the organizers of the current meeting decided to drop the adjective ‘mathematical’ and to emphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia.
This remains the intended profile of the series, and will figure in the call for papers for AISC 2006, which is intended to take place in China. The distribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an effect that emerged because we were concerned to select the best relevant papers that were offered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchers over the entire spectrum of AISC, as expressed by the 1998 quotation above, to be in touch with us about their interests and the possibility of eventual submission of papers on their work for the next conference in the series.