Lukas Gerlach

According to our database, Lukas Gerlach authored at least 9 papers between 2023 and 2024.

Collaborative distances:

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

2024

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract).

Lukas Gerlach, David Carral, Markus Hecher

Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 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

Finite Groundings for ASP with Functions: A Journey through Consistency.

Lukas Gerlach, David Carral, Markus Hecher

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 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

Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination.

Lukas Gerlach, David Carral

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract).

Lukas Gerlach, David Carral

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks.

Stefan Ellmauthaler, Lukas Gerlach

Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase.

Lukas Gerlach, David Carral

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023