Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2008-04547

Financiado

SUBASTAS ROBUSTAS MEDIANTE LA INCORPORACION DE TECNICAS DE SATISFACTIBILIDAD MOD...

SUBASTAS ROBUSTAS MEDIANTE LA INCORPORACION DE TECNICAS DE SATISFACTIBILIDAD MODULO TEORIAS LAS SUBASTAS SON MECANISMOS PARA LA DISTRIBUCION DE BIENES ENTRE UN CONJUNTO DE AGENTES, HABITUALMENTE, SE HA SUPUESTO QUE EL RESULTADO DE LA SUBASTA ES UN CONTRATO VINCULANTE QUE LOS AGENTES DEBEN CUMPLIR, ESTA SUPOSICION PIERDE... ver más

01/01/2008

UDG

93K€

Presupuesto del proyecto: 93K€

Líder del proyecto

UNIVERSITAT DE GIRONA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 226

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2008-01-01

0% 100%

Participantes

UDG

Lider

Proyectos interesantes

FormalWeb3 Web3 Platform for Formal Mathematics 150K€ Cerrado

RTI2018-094403-B-C33 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 182K€ Cerrado

RTI2018-094403-B-C31 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 266K€ Cerrado

RTI2018-094403-B-C32 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 242K€ Cerrado

AMDROMA Algorithmic and Mechanism Design Research in Online MArkets 2M€ Cerrado

PID2019-104649RB-I00 TRADING ALGORITMICO: INTEGRACION O DISRUPCION 26K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

UNIVERSITAT DE GIRONA

Total investigadores 226

Presupuesto del proyecto 93K€

Descripción del proyecto LAS SUBASTAS SON MECANISMOS PARA LA DISTRIBUCION DE BIENES ENTRE UN CONJUNTO DE AGENTES, HABITUALMENTE, SE HA SUPUESTO QUE EL RESULTADO DE LA SUBASTA ES UN CONTRATO VINCULANTE QUE LOS AGENTES DEBEN CUMPLIR, ESTA SUPOSICION PIERDE SU VALIDEZ CUANDO EL ENTORNO EN EL CUAL SE APLICAN ES UN ENTORNO REAL, YA QUE PUEDEN PRODUCIRSE EVENTOS IMPREVISTOS PARA LOS CUALES LAS SOLUCIONES NO ESTAN PREPARADAS,ES POR ELLO QUE EN ESTE PROYECTO PLANTEAMOS REALIZAR INVESTIGACION EN UN CAMPO INNOVADOR: LAS SUBASTAS ROBUSTAS, PARA ELLO, DEBEREMOS DEFINIR CON CLARIDAD QUE SE ENTIENDE POR ROBUSTEZ EN EL CAMPO DE LAS SUBASTAS, ASI COMO DESARROLLAR METODOS PARA QUE LA SUBASTA TENGA UN COMPORTAMIENTO ROBUSTO, MAS CONCRETAMENTE, DESARROLLAREMOS MECANISMOS ROBUSTOS DE SUBASTA, QUE INCENTIVEN EL CUMPLIMIENTO DE LOS CONTRATOS, ASI COMO ALGORITMOS PARA LA GENERACION DE SOLUCIONES ROBUSTAS, ES DECIR, SOLUCIONES QUE SEAN FACILMENTE REPARABLES EN CASO DE EVENTOS IMPREVISTOS,ASIMISMO, PLANTEAMOS EL USO DE TECNICAS BASADAS EN LA LOGICA, Y EN PARTICULAR LAS DE SATISFACTIBILIDAD MODULO TEORIAS (SMT) PARA ABORDAR PROBLEMAS COMBINATORIOS, COMO EL DE DETERMINACION DEL GANADOR EN LAS SUBASTAS, DICHAS TECNICAS TIENEN UNA ALTA CAPACIDAD EXPRESIVA, Y ADEMAS RECIENTEMENTE SE HAN HECHO ENORMES AVANCES EN CUANTO A LA EFICIENCIA DE SUS RESOLVEDORES, POR LO TANTO, EN EL PROYECTO DISEÑAREMOS METODOS BASADOS EN LA LOGICA PARA LA RESOLUCION DE SUBASTAS Y OTROS PROBLEMAS COMBINATORIOS SIMILARES, ADEMAS, TAMBIEN SE ABORDARA LA GENERALIZACION DEL CONCEPTO DE ROBUSTEZ APLICADO A TECNICAS SMT, subastas combinatorias\lógica computacional\satisfactibilidad proposicional\robustez\problemas combinatorios\inteligencia artificial distribuida\sistemas inteligentes

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores