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

CSP-Infinity

Financiado

Cerrado

Homogeneous Structures Constraint Satisfaction Problems and Topological Clones

The complexity of constraint satisfaction problems (CSPs) is a field in rapid development, and involves central questions in graph homomorphisms, finite model theory, reasoning in artificial intelligence, and, last but not least,... ver más

30/09/2021

TUD

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

TECHNISCHE UNIVERSITAET DRESDEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

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

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2021-09-30

ERC-CoG-2015: ERC Consolidator Grant

I+D

Cerrada hace 9 años

0% 100% 100%

Información adicional privada

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

2 Participantes

TUD

1.42M€ | Lider

INDUSTRIA DE TURBO PROPULSOR...

2.28M€ | Participante

Proyectos interesantes

CSP-COMPLEXITY

Artificial Inte...

Data Science

830K€ Cerrado

NEAT

Software

Data Science

181K€ Cerrado

TIN2010-20967-C04-01

Software

Data Science

37K€ Cerrado

PID2019-109137GB-C22

Data Science

Software

37K€ Cerrado

InfCSP

Software

Data Science

195K€ Cerrado

Complexity of CSPs

Software

Data Science

160K€ 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

Duración del proyecto: 65 meses Fecha Inicio: 2016-04-27
Fecha Fin: 2021-09-30

Líder del proyecto

TECHNISCHE UNIVERSITAET DRESDEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

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

Descripción del proyecto The complexity of constraint satisfaction problems (CSPs) is a field in rapid development, and involves central questions in graph homomorphisms, finite model theory, reasoning in artificial intelligence, and, last but not least, universal algebra. In previous work, it was shown that a substantial part of the results and tools for the study of the computational complexity of CSPs can be generalised to infinite domains when the constraints are definable over a homogeneous structure. There are many computational problems, in particular in temporal and spatial reasoning, that can be modelled in this way, but not over finite domains. Also in finite model theory and descriptive complexity, CSPs over infinite domains arise systematically as problems in monotone fragments of existential second-order logic. In this project, we will advance in three directions: (a) Further develop the universal-algebraic approach for CSPs over homogeneous structures. E.g., provide evidence for a universal-algebraic tractability conjecture for such CSPs. (b) Apply the universal-algebraic approach. In particular, classify the complexity of all problems in guarded monotone SNP, a logic discovered independently in finite model theory and ontology-based data-access. (c) Investigate the complexity of CSPs over those infinite domains that are most relevant in computer science, namely the integers, the rationals, and the reals. Can we adapt the universal-algebraic approach to this setting?

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores