Alex Ivliev

According to our database, Alex Ivliev authored at least 6 papers between 2022 and 2024.

Collaborative distances:

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

2024

Towards Mass Spectrum Analysis with ASP.

Nils Küchenmeister, Alex Ivliev, Markus Krötzsch

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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

2023

Nemo: First Glimpse of a New Rule Engine.

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Efficient Dependency Analysis for Existential Rules (short paper).

Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke

Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022

Efficient Dependency Analysis for Rule-Based Ontologies.

Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke

Proceedings of the Semantic Web - ISWC 2022, 2022