M.Sc. Thomas Feller

Wissenschaftlicher Mitarbeiter Computational Logic

thomas.feller@tu-dresden.de
+49 351 463 42665
APB 2031

Seit Oktober 2018 bin ich wissenschaftlicher Mitarbeiter und Doktorand am Institut für künstliche Intelligenz in der Computational Logic Gruppe. Ich beschäftige mich mit allgemeinen modelltheoretischen Charakteristiken entscheidbarer Wissensrepräsentationen im Rahmen des ERC Projekts "DeciGUT". Mein akademischer Hintergrund ist ein Master of Science im Fach Mathematik mit Schwerpunkt in Algebra und Modelltheorie.

Seit Dezember 2018 bin ich assozierter Doktorand im Graduiertenkolleg "QuantLA".

Neueste Publikationen

Komplette Publikationsliste anzeigen

Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules
Proceedings of the 26th International Conference on Database Theory (ICDT 2023), to appear
Details Download

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), 1-13, 2021. IEEE
Details Download

Frederic Dörband, Thomas Feller, Kevin Stier
Sequentiality of Group-Weighted Tree Automata
In Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron, eds., Language and Automata Theory and Applications. LATA 2021., volume 12638 of Lecture Notes in Computer Science, 267-278, February 2021. Springer
Details Download

Frederic Dörband, Thomas Feller, Kevin Stier
Approximated Determinisation of Weighted Tree Automata
In Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron, eds., Language and Automata Theory and Applications. LATA 2021., volume 12638 of Lecture Notes in Computer Science, 255-266, February 2021. Springer
Details Download

Thomas Feller, Christian Pech, Maja Pech
The classification of homomorphism homogeneous tournaments
European Journal of Combinatorics, 89:103142, October 2020
Details Download

Komplette Publikationsliste anzeigen