Thomas Feller
Aus International Center for Computational Logic
M.Sc. Thomas Feller
Wissenschaftlicher Mitarbeiter Computational Logic
- firstname.lastname@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
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
Lehrveranstaltungen
- Research Seminar Logic and AI (WS 2020)
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
