News from the research group Computational Logic of November 27, 2017

Sebastian Rudolph receives ERC Consolidator Grant

ERC grants, awarded by the European Research Council (ERC) are among the most prestigious European scientific awards with the purpose of supporting leading scientists in conducting visionary foundational research.

Sebastian Rudolph's project "A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation" (DeciGUT) with a duration of five years and a total funding volume of 1.8 Mio € will investigate foundational principles of decidability of query answering over logically specified knowledge. The addressed problem – algorithmic realizability of inference tasks – is of high relevance to diverse scientific fields like mathematical logic, artificial intelligence, and database theory with potentially far-reaching impact in areas such as semantic technologies and information systems.

Press release of the ERC: https://erc.europa.eu/news/erc-2017-consolidator-grants-results