Progress in Discovery Science : Final Report of the Japanese Discovery Science Project - Setsuo Arikawa, Ayumi Shinohara ((Lecture Notes in Computer Science))