Jakob Steinberg

According to our database, Jakob Steinberg authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Nemo: Your Friendly and Versatile Rule Reasoning Toolkit.

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Nemo: A Scalable and Versatile Datalog Engine.

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch

Proceedings of the Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), 2024