Lukas Gerlach

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dipl.-Inf. Lukas Gerlach

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Wissensbasierte Systeme

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.

Neueste Publikationen

Komplette Publikationsliste anzeigen

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
Proceedings 39th International Conference on Logic Programming, Electronic Proceedings in Theoretical Computer Science, to appear
Details
Lukas Gerlach
Chase-Based Computation of Cores for Existential Rules
Diploma Thesis, TU Dresden, September 2021
Details Download
Komplette Publikationsliste anzeigen

Lehrveranstaltungen

CPEC-logo.png

CPEC
Grundlagen verständlicher Softwaresysteme

Adf-bdd
Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen