Lecture Notes in Artificial Intelligence 1237