Engineering in Computer Science and Artificial Intelligence

This course introduces the main ideas of automated planning and mechanism for formal logic reasoning within the field of artificial intelligence. The aim of the sources is to prepare the student so that they can use the existing systems for automated planning and understand their inner workings, which is fundamental to adapt them to cope with issues arising from specific problems. Furthermore, the student will understand the theoretical bases of the uses of formal logics in artificial intelligence.