Lukas Gerlach

Dipl.-Inf. Lukas Gerlach

Research AssociateTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Knowledge-Based Systems

• Personal homepage

•   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.

• Publications
• Teaching
• Active Projects

Newest Publications

View full publication list

Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
AAAI 2023, to appear
Details Download

Lukas Gerlach
Chase-Based Computation of Cores for Existential Rules
Diploma Thesis, TU Dresden, September 2021
Details Download

Lukas Gerlach
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
Project Thesis, TU Dresden, March 2021
Details Download

Lukas Gerlach
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
Project Thesis, TU Dresden, September 2020
Details Download

View full publication list

Courses

• Theorem Proving with LEAN (SS 2023)
• Theorem Proving with LEAN (WS 2022)

CPEC
Center for Perspicuous Computing

•   https://perspicuous-computing.science/

Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams

•   https://ellmau.github.io/adf-obdd/