Publikationen von Nils Küchenmeister

Nils Küchenmeister

Artikel in Tagungsbänden

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

Vorträge und Sonstiges

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