Abstraction, reformulation, and approximation : 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings - Zucker, Jean-Daniel; Saitta, L. (Lorenza), 1944- (Lecture notes in computer science, 2005)