Objective 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? Fields of science 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 Topic(s) ERC-CoG-2015 - ERC Consolidator Grant Call for proposal ERC-2015-CoG See other projects for this call Funding Scheme ERC-COG - Consolidator Grant Coordinator TECHNISCHE UNIVERSITAET DRESDEN Net EU contribution € 1 416 250,00 Address Helmholtzstrasse 10 01069 Dresden Germany See on map Region Sachsen Dresden Dresden, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Beneficiaries (1) Sort alphabetically Sort by Net EU contribution Expand all Collapse all TECHNISCHE UNIVERSITAET DRESDEN Germany Net EU contribution € 1 416 250,00 Address Helmholtzstrasse 10 01069 Dresden See on map Region Sachsen Dresden Dresden, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00
