This course is designed to provide the students with key concepts of knowledge representation and its role in artificial intelligence. Various topics are covered by this course, such as first-order logic, resolution as a method for generating proofs, Description Logics for expressing terminological knowledge and ontologies, and knowledge-based planning.