The goal of this course is to introduce the theory and practice of Knowledge Technologies to graduate students. The course belongs to the general area of Artificial Intelligence and covers some modern topics in Knowledge Representation and Reasoning.