Nils Küchenmeister
From International Center for Computational Logic
Dipl.-Inf. Nils Küchenmeister
PhD Researcher Knowledge-Based Systems
I am research associate in the Knowledge-Based Systems group of Prof. Dr. Markus Krötzsch since October 2025. Before, I studied at the Dresden University of Technology and specialized in theoretical computer science and system architecture. (Next to that, I was involved in research on cloud-based Confidential Computing as a working student at Telekom MMS.) I am especially interested in rule-based reasoning with Datalog and ASP. Together with Alex Ivliev, I realised a prototypical tool to analyse mass spectra with ASP in this context. After that, my Diploma thesis was about static analysis of existential rules.
Newest Publications
Nils Küchenmeister
Reliance-based Static Analysis of Existential Rules
Diploma Thesis, TU Dresden, August 2025
Details Download
Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
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
