Lecture Notes in Artiļ¬cial Intelligence 5485 Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes in Computer Science