Lecture Notes in Artif icial Intelligence 5190 Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes in Computer Science