Lukas Gerlach

Dipl.-Inf. Lukas Gerlach

Wissenschaftlicher MitarbeiterTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Wissensbasierte Systeme

•   lukas.gerlach@tu-dresden.de
•   Public Key
•   Chat (Matrix ): @s8339654:tu-dresden.de
•   +49 351 463 43503
•   APB 3031

Hi!

Ich bin Lukas und wissenschaftlicher Mitarbeiter / Doktorand in der Forschungsgruppe Wissensbasierte Systeme. Ich forsche hauptsächlich an Existenziellen Regeln, dem Chase Algorithmus und verwandten Themen. In meinem Studium habe ich mich vertiefend mit Datenbanktheorie, Logik und Komplexitätstheorie beschäftigt.

• Publikationen
• Aktive Projekte

Neueste Publikationen

Komplette Publikationsliste anzeigen

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

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

Komplette Publikationsliste anzeigen

InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence

•   https://www.innosale.eu/