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

Cerrado

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 3947

Fecha límite participación Sin fecha límite de participación.

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%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UPM

Lider

Proyectos interesantes

TIN2009-14562-C05-04

Software

Data Science

141K€ Cerrado

TIN2009-14562-C05-03

Software

Data Science

22K€ Cerrado

TIN2009-14562-C05-01

Software

Data Science

189K€ Cerrado

TIN2009-14562-C05-05

Software

Artificial Inte...

54K€ Cerrado

TIN2015-70266-C2-1-P

Software

Data Science

56K€ Cerrado

DeciGUT

Software

Data Science

2M€ Cerrado

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

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 3947

Presupuesto del proyecto 54K€

Fecha límite de participación Sin fecha límite de participación.

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