Lukas Gerlach
From International Center for Computational Logic
Dipl.-Inf. Lukas Gerlach
Research Associate Knowledge-Based Systems
- lukas.gerlach@tu-dresden.de
- Public Key
- Chat (Matrix ): @s8339654:tu-dresden.de
- +49 351 463 43503
- APB 3031
Hi!
I'm Lukas and I'm a Research Associate / PhD student in the Knowledge-Based Systems group. I mainly research existential rules, the chase algorithm and related topics. During my studies, I specialized in database theory, logics and complexity theory. Also, I have a passion for Lean.
Newest Publications
Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
Nemo at v0.10: Explainable Web Rule Reasoning for RDF, SPARQL, and More
In Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne, eds., Proceedings of the 23rd European Semantic Web Conference (ESWC 2026), LNCS, to appear. Springer
Details Download
Lukas Gerlach
The Chase in Lean - Crafting a Formal Library for Existential Rule Research
In Renata Wassermann,Marie-Laure Mugnier,Franz Baader, eds., Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, volume 23 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, to appear
Details Download
Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
Declarative Debugging for Datalog with Aggregation
In Alexander Krause, João Felipe Pimentel, eds., Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026, CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness (Extended Abstract)
In Lidia Tendera,Yazmin Ibanez Garcia,Patrick Koopmann, eds., Proceedings of the 38th International Workshop on Description Logics - DL 2025, volume 4091 of CEUR Workshop Proceedings, September 2025. CEUR-WS.org
Details Download
Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean
In Yannick Forster, Chantal Keller, eds., 16th International Conference on Interactive Theorem Proving (ITP 2025), volume 352 of Leibniz International Proceedings in Informatics (LIPIcs), 36:1-36:19, September 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean (Extended Abstract)
KR 2025 - Recently Published Research Track, November 2025
Details Download
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
About the Multi-Head Linear Restricted Chase Termination
In Magdalena Ortiz,Renata Wassermann,Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), volume 22 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 346-355, October 2025. IJCAI Organization
Details Download
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness
Proceedings of the ACM on Management of Data, 3(2 (PODS)), June 2025
Details Download
Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details
Lukas Gerlach
Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions
Talk at Description Logics Seminar, April 2025
Details
Courses
- Theoretische Informatik und Logik (SS 2026)
- Formale Systeme (WS 2025)
- Database Theory (SS 2025)
- Theorem Proving with LEAN (SS 2024)
- Theorem Proving with LEAN (WS 2023)
show further courses
