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-01

Financiado

Cerrado

FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRAMMING

EL PROYECTO SE ENFOCA HACIA EL ESTUDIO DE LOS FUNDAMENTOS LOGICOS DELRECIENTE PARADIGMA DECLARATIVO DE RESOLUCION DE PROBLEMAS CONOCIDOCOMO PROGRAMACION CON CONJUNTOS RESPUESTA, (EN INGLES ANSWER SETPROGRAMMING ASP), EN DISTINTAS... ver más

01/01/2009

UMA

189K€

Presupuesto del proyecto: 189K€

Líder del proyecto

UNIVERSIDAD DE MÁLAGA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1966

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

UMA

Lider

Proyectos interesantes

TIN2009-14562-C05-04

Software

Data Science

141K€ Cerrado

TIN2009-14562-C05-02

Software

Data Science

54K€ Cerrado

TIN2009-14562-C05-05

Software

Artificial Inte...

54K€ Cerrado

TIN2009-14562-C05-03

Software

Data Science

22K€ Cerrado

TIN2012-39348-C02-01

Software

Data Science

45K€ Cerrado

PID2019-111544GB-C22

Software

Data Science

43K€ 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 DE MÁLAGA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1966

Presupuesto del proyecto 189K€

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

Descripción del proyecto EL PROYECTO SE ENFOCA HACIA EL ESTUDIO DE LOS FUNDAMENTOS LOGICOS DELRECIENTE PARADIGMA DECLARATIVO DE RESOLUCION DE PROBLEMAS CONOCIDOCOMO PROGRAMACION CON CONJUNTOS RESPUESTA, (EN INGLES ANSWER SETPROGRAMMING ASP), EN DISTINTAS EXTENSIONES DE SU LENGUAJE PARAADMITIR LA INCERTIDUMBRE ASI COMO OPERADORES MODALES O TEMPORALES, ASICOMO EN METODOS DE RAZONAMIENTO SOBRE ONTOLOGIAS Y TODOS AQUELLOSNECESARIOS PARA ESPECIFICAR Y VERIFICAR PROTOCOLOS DE ORGANIZACIONESVIRTUALES,ENTRE LOS FUNDAMENTOS, POR UNA PARTE CONSIDERAREMOS MECANISMOS BASADOSEN ESTRUCTURAS ALGEBRAICAS GENERALIZADAS PARA FORMALIZAR ELRAZONAMIENTO APROXIMADO CON DATOS INCOMPLETOS Y/O IMPRECISOS; POR OTRAPARTE, PROFUNDIZAREMOS EN EL ESTUDIO DE LOGICAS APLICADAS, ENPARTICULAR, DE LA LOGICA DE EQUILIBRIO, CON LA INTENCION DE PODEROBTENER EXTENSIONES ADECUADAS DE ASP A CONTEXTOS DIFUSOS, TEMPORALES OCAUSALES,DESDE EL PUNTO DE VISTA DE LAS APLICACIONES, EL PROYECTO SE ORIENTA ADOMINIOS TALES COMO LA VERIFICACION DE PROGRAMAS Y EL MODELADO DE ORGANIZACIONES VIRTUALES, BASANDONOS EN LASEXTENSIONES OBTENIDAS DEL LENGUAJE DE ACCIONES DE ASP, SE DESARROLLARAUNA PLATAFORMA DE SOFTWARE QUE INCLUYA LAS HERRAMIENTAS DE RAZONAMIENTO DESARROLLADAS, ESTAS SE COMPROBARAN MEDIANTE LA CREACION DE DISTINTOS ESCENARIOS DE APLICACION QUE INVOLUCREN, ENTRE OTROS, LOS DOMINIOS SOCIALES,LA PRESENTE PROPUESTA AUNA CINCO EQUIPOS DE INVESTIGADORES PROCEDENTES DE DISTINTAS UNIVERSIDADES ESPAÑOLAS, QUE CUENTAN CON UNA CONTRASTADA EXPERIENCIA EN LINEAS DE INVESTIGACION COMPLEMENTARIAS Y HACEN USO DE METODOS QUE ABARCAN CAMPOS DE LAS MATEMATICAS, LA LOGICA, LA COMPUTACION Y LA INTELIGENCIA ARTIFICIAL, PROGRAMACION CON CONJUNTOS RESPUESTA\LOGICAS NO CLASICAS; RAZONAMIENTO NO MON\REPRESENTACION DEL CONOCIMIENTO\SISTEMAS MULTI-AGENTE\RAZONAMIENTO CUALITATIVO

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores