Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso para Projectos de I&D em todos os Domínios Científicos - 2008

iExplain - Raciocínio sobre não satisfação

PTDC/EIA-CCO/102077/2008

Área Científica Principal
Engenharia Informática - Ciências da Computação
Área Científica Secundária
Matemática
Palavras Chave
Restrições Booleanas
Subformulas não-satisfaziveis
Optimização com Restrições
Explicações de Conflitos
Financiamento
€ 82 000,00
Instituições
Instituição Proponente
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/ULisboa)
Unidade de Investigação Principal
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/ULisboa)
Equipa
Investigador Responsável
Vasco Miguel Gomes Nunes Manquinho
Investigadores
Maria Inês Camarate de Campos Lynce de Faria
João Paulo Marques Silva
Bolseiros
Ana Sofia Soeiro da Graça