Skip to content
Nemo Graph Rule Engine

Research and 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. 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

List of publications that use Nemo:

  • Lukas Gerlach, Alex Ivliev, Julián Méndez, Simon Meusel, Raimund Dachselt, Markus Krötzsch EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), November 2024. PDF + bibtex