The course provides an introduction on how to represent knowledge in artificial intelligence. The main focus will be on decidable fragments of first order logic that are well suited for knowledge representation. The students will explore how such logics can be used to represent knowledge, identify relevant reasoning problems and show how these can be used to support the task of constructing suitable representations. We will also consider the computational properties of these logics, and study algorithms for solving the relevant reasoning problems.​