Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

TIN2009-14562-C05-02

Financiado

FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET

EL PROYECTO SE ENFOCA AL ESTUDIO DE LOS FUNDAMENTOS LOGICOS DEL RECIENTE PARADIGMA DECLARATIVO DE RESOLUCION DE PROBLEMAS CONOCIDO COMO <<PROGRAMACION CON CONJUNTOS RESPUESTA>>, (EN INGLES <<ANSWER SET PROGRAMMING>> ASP), EN DI... ver más

01/01/2009

UPM

54K€

Presupuesto del proyecto: 54K€

Líder del proyecto

UNIVERSIDAD POLITÉCNICA DE MADRID No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3944

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2009-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UPM

Lider

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-03 FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET... 22K€ Cerrado

TIN2009-14562-C05-04 FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET... 141K€ Cerrado

TIN2009-14562-C05-05 FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA... 54K€ Cerrado

TIN2009-14562-C05-01 FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA... 189K€ Cerrado

JCI-2009-05801 Computer and Information Sciences: Computational Logic, Know... 101K€ Cerrado

TIN2015-70266-C2-1-P TECNICAS COMPUTACIONALES ALGEBRAICAS Y DIFUSAS PARA LA SOCIE... 56K€ Cerrado

Líder del proyecto

UNIVERSIDAD POLITÉCNICA DE MADRID No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3944

Presupuesto del proyecto 54K€

Descripción del proyecto EL PROYECTO SE ENFOCA AL ESTUDIO DE LOS FUNDAMENTOS LOGICOS DEL RECIENTE PARADIGMA DECLARATIVO DE RESOLUCION DE PROBLEMAS CONOCIDO COMO <<PROGRAMACION CON CONJUNTOS RESPUESTA>>, (EN INGLES <<ANSWER SET PROGRAMMING>> ASP), EN DISTINTAS EXTENSIONES DE SU LENGUAJE PARA ADMITIR LA INCERTIDUMBRE ASI COMO OPERADORES MODALES O TEMPORALES, ASI COMO EN METODOS DE RAZONAMIENTO SOBRE ONTOLOGIAS Y TODOS AQUELLOS NECESARIOS PARA ESPECIFICAR Y VERIFICAR PROTOCOLOS DE ORGANIZACIONES VIRTUALES,ENTRE LOS FUNDAMENTOS, POR UNA PARTE CONSIDERAREMOS MECANISMOS BASADOS EN ESTRUCTURAS ALGEBRAICAS GENERALIZADAS PARA FORMALIZAR EL RAZONAMIENTO APROXIMADO CON DATOS COMPLETOS Y/O IMPRECISOS; POR OTRA PARTE, PROFUNDIZAREMOS EN EL ESTUDIO DE LOGICAS APLICADAS, EN PARTICULAR, DE LA LOGICA DE EQUILIBRIO, CON LA INTENCION DE PODER OBTENER EXTENSIONES ADECUADAS DE ASP A CONTEXTOS DIFUSOS, TEMPORALES O CAUSALES,DESDE EL PUNTO DE VISTA DE LAS APLICACIONES, EL PROYECTO SE ORIENTA A DOMINIOS TALES COMO LA VERIFICACION DE PROGRAMAS Y EL MODELADO DE ORGANIZACIONES VIRTUALES, BASANDONOS EN LAS EXTENSIONES OBTENIDO DEL LENGUAJE DE ACCIONES DE ASP, SE DESARROLLARA UNA PLATAFORMA DE SOFTWARE QUE INCLUYA LAS HERRAMIENTAS DE RAZONAMIENTO, PROGRAMACION CON CONJUNTOS RESPUESTA\LOGICAS NO CLASICAS\RAZONAMIENTO NO MONOTONO\REPRESENTACION DEL CONOCIMIENTO\SISTEMAS MULTI-AGENTE\WEB SEMANTICA\RAZONAMIENTO CUALITATIVO

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores