Objectif 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? Champ scientifique natural sciencescomputer and information sciencesartificial intelligencenatural sciencescomputer and information sciencesdatabasesnatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesknowledge engineeringnatural sciencesmathematicspure mathematicsalgebra Programme(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Thème(s) ERC-CoG-2015 - ERC Consolidator Grant Appel à propositions ERC-2015-CoG Voir d’autres projets de cet appel Régime de financement ERC-COG - Consolidator Grant Institution d’accueil TECHNISCHE UNIVERSITAET DRESDEN Contribution nette de l'UE € 1 416 250,00 Adresse HELMHOLTZSTRASSE 10 01069 Dresden Allemagne Voir sur la carte Région Sachsen Dresden Dresden, Kreisfreie Stadt Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 1 416 250,00 Bénéficiaires (1) Trier par ordre alphabétique Trier par contribution nette de l'UE Tout développer Tout réduire TECHNISCHE UNIVERSITAET DRESDEN Allemagne Contribution nette de l'UE € 1 416 250,00 Adresse HELMHOLTZSTRASSE 10 01069 Dresden Voir sur la carte Région Sachsen Dresden Dresden, Kreisfreie Stadt Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 1 416 250,00
