|
Teaching GuideTerm Faculty of Computer Science |
| Grao en Enxeñaría Informática |
 Subjects |
| Knowledge Representation and Automatic Reasoning |
| Methodologies |
|
|
| Identifying Data | 2020/21 | |||||||||||||
| Subject | Knowledge Representation and Automatic Reasoning | Code | 614G01036 | |||||||||||
| Study programme |
|
|||||||||||||
| Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
| Graduate | 2nd four-month period |
Third | Optional | 6 | ||||||||||
|
||||||||||||||
| Methodologies | Description |
| Guest lecture / keynote speech | Espérase participación colaborativa do estudante. Os temas tratados serán sometidos a discusión co alumnado. Esta circunstancia poderá ser tida en conta á hora de avaliar ao alumno. Poderá requirirse que o alumno, en cada tema, que o alumno dispoña duns coñecementos básicos. Para iso, toda a información básica estará accesible en Moodle. |
| Mixed objective/subjective test | Proba escrita sobre os contidos da materia. |
| Directed discussion | Selección de temas de interese, formulación en clase e desenvolvemento coa tutela do profesor. |
| Laboratory practice | As probas prácticas consistirán no desenrolo no laboratorio de exercicios de Representación e Razoamento. |
| Workshop | Eventualmente, se así o suxire o desenvolvemento da docencia, poderán proporse. |
| Problem solving | Resolución de problemas da materia. Este recurso suporá a partiicipación e colaboración do estudante. |
| Supervised projects | Análise conxunta e en equipo de supostos prácticos. |
|
