|
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 |
|
