Teaching GuideTerm Faculty of Computer Science |
Máster Universitario en Intelixencia Artificial |
Subjects |
Reasoning and Planning |
Contents |
Identifying Data | 2022/23 | |||||||||||||
Subject | Reasoning and Planning | Code | 614544003 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Official Master's Degree | 1st four-month period |
First | Obligatory | 6 | ||||||||||
|
Topic | Sub-topic |
Knowledge Representation | Knowledge Representation |
Formal logic | Formal Logic and human thinking |
Automated Reasoning | Models and techniques of Automated Reasoning |
Uncertainty | Paradigms for reasoning with imprecision and uncertainty |
Planning | Automated planning, and planning under uncertainty Planning |
|