Lecture notes in artificial intelligence