Lukas Gerlach

From International Center for Computational Logic

Dipl.-Inf. Lukas Gerlach

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Knowledge-Based Systems

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.

CPEC-logo.png

CPEC
Center for Perspicuous Computing

Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams