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