Publications of Nils Küchenmeister

Nils Küchenmeister

Proceedings Articles

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

Talks and Miscellaneous

Nils Küchenmeister
Reliance-based Static Analysis of Existential Rules
Diploma Thesis, TU Dresden, August 2025
Details Download