PID2019-109152GB-I00
Financiado
HERRAMIENTAS LOGICAS Y ALGEBRAICAS PARA EL ANALISIS DE SISTEMAS BASADOS EN CONOC...
HERRAMIENTAS LOGICAS Y ALGEBRAICAS PARA EL ANALISIS DE SISTEMAS BASADOS EN CONOCIMIENTO. APLICACIONES
EL OBJETIVO GENERAL DEL PROYECTO ES INVESTIGAR TANTO EL DESARROLLO TEORICO COMO LAS APLICACIONES DE LOS METODOS DE RAZONAMIENTO BASADOS EN LA OMISION DE VARIABLE (VARIABLE FORGETTING) Y METODOS PARA LA EXTRACCION DE LA RETRACCION...
ver más
01/01/2019
US
40K€
Presupuesto del proyecto: 40K€
Líder del proyecto
UNIVERSIDAD DE SEVILLA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
3670
Total investigadores
3670
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2019-01-01
No tenemos la información de la convocatoria
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
Conecta tu I+D
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
TIN2009-14562-C05-04
FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET...
141K€
Cerrado
TIN2015-70266-C2-1-P
TECNICAS COMPUTACIONALES ALGEBRAICAS Y DIFUSAS PARA LA SOCIE...
56K€
Cerrado
TIN2009-14562-C05-02
FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET
54K€
Cerrado
PID2019-108991GB-I00
MATEMATICAS PARA EL DESARROLLO DE SISTEMAS INTELIGENTES
76K€
Cerrado
TIN2009-14562-C05-03
FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET...
22K€
Cerrado
TIN2010-20967-C04-01
TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
37K€
Cerrado