The aim of this course is to introduce the basic principles, methods and techniques of Artificial Intelligence, focusing in particular on the model-based/symbolic aspects of it. The course discusses a series of topics including search, first-order logic for knowledge representation, non-monotonic reasoning, temporal reasoning, planning and inductive learning. The work is exemplified using the AI programming language Prolog.