Lecture Notes in Artif icial Intelligence 2333 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen