This specialist course focuses on acquiring a deep understanding of the principles and techniques that are needed to design and build autonomous intelligent systems (AISs). The course will start with an introduction to AISs and real-world examples of them. It will then cover knowledge representation and engineering techniques based on formal logic. The course will then tackle autonomous decision-making techniques, from AI planning to probabilistic reasoning and Markov Decision Processes. All these topics will be discussed both from a theoretical point of view, during the lectures, and from a practical point of view, during the labs.