Lukas Gerlach

18 papers A* 5B 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
Declarative Debugging for Datalog with Aggregation.
EDBT/ICDT Workshops
Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
2025 A* conf
About the Multi-Head Linear Restricted Chase Termination.
KR
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2025 J jnl
About the Multi-Head Linear Restricted Chase Termination.
CoRR
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2025 — conf
Restricted Chase Termination: You Want More Than Fairness (Extended Abstract).
DL
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2025 J jnl
Restricted Chase Termination: You Want More than Fairness.
CoRR
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2025 J jnl
Restricted Chase Termination: You Want More than Fairness.
Proc. ACM Manag. Data
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2025 B conf
Verifying Datalog Reasoning with Lean.
ITP
Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
2024 — conf
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract).
NMR
Lukas Gerlach, David Carral, Markus Hecher
2024 A* conf
Finite Groundings for ASP with Functions: A Journey through Consistency.
IJCAI
Lukas Gerlach, David Carral, Markus Hecher
2024 J jnl
Finite Groundings for ASP with Functions: A Journey through Consistency.
CoRR
Lukas Gerlach, David Carral, Markus Hecher
2024 — conf
Nemo: A Scalable and Versatile Datalog Engine.
Datalog
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
2024 A* conf
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit.
KR
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
2023 — conf
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks.
AI³@AI*IA
Stefan Ellmauthaler, Lukas Gerlach
2023 A* conf
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination.
KR
Lukas Gerlach, David Carral
2023 J jnl
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination.
CoRR
Lukas Gerlach, David Carral
2023 — conf
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract).
Description Logics
Lukas Gerlach, David Carral
2023 A* conf
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase.
AAAI
Lukas Gerlach, David Carral
2023 B conf
Nemo: First Glimpse of a New Rule Engine.
ICLP
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch