Faculties and centres
Automated Reasoning is a subject that provides an overview of actual techniques and discussions of artificial intelligence based on human reasoning. It ranges from the classic logics to the most modern Machine Learning, Learning Theory and the PAC model.
Despite having a particular agenda, Automated Reasoning is a subject open to all topics, allowing students to develop, know and practice them from a professional point of view, with real problems. The focus of the course is entirely practical, with hands on problems for students that will take their skills to the limit, improving and expanding them.
Posed problems will use simulation environments based in computer games and nowadays Artificial Intelligence contests. In general, the subject will follow a Project Based Learning approach.
Specific Competences (Specific Technology):>>Computer Science