Objetivo 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? Ámbito científico natural sciencescomputer and information sciencesartificial intelligencenatural sciencescomputer and information sciencesdatabasesnatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesknowledge engineeringnatural sciencesmathematicspure mathematicsalgebra Programa(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Tema(s) ERC-CoG-2015 - ERC Consolidator Grant Convocatoria de propuestas ERC-2015-CoG Consulte otros proyectos de esta convocatoria Régimen de financiación ERC-COG - Consolidator Grant Institución de acogida TECHNISCHE UNIVERSITAET DRESDEN Aportación neta de la UEn € 1 416 250,00 Dirección HELMHOLTZSTRASSE 10 01069 Dresden Alemania Ver en el mapa Región Sachsen Dresden Dresden, Kreisfreie Stadt Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 1 416 250,00 Beneficiarios (1) Ordenar alfabéticamente Ordenar por aportación neta de la UE Ampliar todo Contraer todo TECHNISCHE UNIVERSITAET DRESDEN Alemania Aportación neta de la UEn € 1 416 250,00 Dirección HELMHOLTZSTRASSE 10 01069 Dresden Ver en el mapa Región Sachsen Dresden Dresden, Kreisfreie Stadt Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 1 416 250,00