Nils Küchenmeister
Dipl.-Inf. Nils Küchenmeister
Doktorand Wissensbasierte Systeme
Seit Oktober 2025 bin ich wissenschaftlicher Mitarbeiter in der Forschungsgruppe Wissensbasierte Systeme von Prof. Dr. Markus Krötzsch. Zuvor habe ich an der Technischen Universität Dresden studiert und dabei Theoretische Informatik sowie Systemarchitektur vertieft. (Daneben war ich als Werkstudent bei der Telekom MMS in Recherche zu Cloud Confidential Computing involviert.) Ich interessiere mich besonders für regelbasiertes Schließen mit Datalog und ASP. In diesem Kontext habe ich mit Alex Ivliev eine prototypische Anwendung zur Analyse von Massenspektren mit ASP realisiert. Danach ging es in meiner Diplomarbeit um statische Analyse Existenzieller Regeln.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Reliance-based Static Analysis of Existential Rules
Diploma Thesis, TU Dresden, August 2025
Details Download
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Proc. of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), volume 15245 of LNCS, 200-214, October 2024. Springer
Details Download
SECAI
School of Embedded Composite Artificial Intelligence
