Publications

The main publication on Nemo currently is:

• Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), volume 21 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, To appear. PDF + bibtex

A shorter overview can be found here:

• Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch Nemo: First Glimpse of a New Rule Engine. Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333-335, September 2023. PDF + bibtex