Artificial Intelligence And Symbolic Computation: 7Th International Conference, Aisc 2004, Linz, Austria, September 22 24, 2004. Proceedings