Thomas Feller

From International Center for Computational Logic

M.Sc. Thomas Feller

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Computational Logic
Thomas Feller

Since October 2018 I am a research assistent and doctoral student at the Institute for Artificial Intelligence in the Computational Logic group. My work revolves around general model theoretic characteristics of decidable knowledge representations in the context of the ERC project "DeciGUT". My academic background is a Master of Science in mathematics with emphasise on algebra and model theory.

Since December 2018 i am also associated doctoral student at the research training group "QuantLA".

Newest Publications

View full publication list

Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details Download
View full publication list



A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation