|
Researchers:
|
Jorge Santos
|
|
Title:
|
Verificação e Validação de Sistemas Baseados em Conhecimento com Raciocínio Temporal e Não-Monótono
|
|
Formation Type:
|
PhD
|
|
Institution:
|
Faculdade de Engenharia - Universidade do Porto
|
|
Finish Year:
|
2003
|
|
On Going:
|
No
|
|
Supervisors:
|
Carlos Fernando da Silva Ramos; Zita Vale;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This research group is supported by FEDER Funds through the “Programa Operacional Factores de Competitividade - COMPETE†program and by National Funds through FCT “Fundação para a Ciência e a Tecnologia†under the projects: UID/EEA/00760/2013
|