Leram - A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, Reasoning and Learning (English Edition)