Follow
Lukas Gerlach
Lukas Gerlach
Research Associate / PhD Student, TU Dresden
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
Nemo: First glimpse of a new rule engine
A Ivliev, S Ellmauthaler, L Gerlach, M Marx, M Meißner, S Meusel, ...
Proc. 39th Int. Conf. on Logic Programming, ICLP, 2023
52023
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
L Gerlach, D Carral
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6372-6379, 2023
22023
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)
L Gerlach, D Carral
12023
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
L Gerlach, D Carral
12023
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination
L Gerlach, D Carral
Proceedings of the International Conference on Principles of Knowledge …, 2023
2023
Chase-Based Computation of Cores for Existential Rules
L Gerlach
Knowledge-Based Systems, 2021
2021
ADF-BDD. DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
S Ellmauthaler, L Gerlach
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
L Gerlach
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
L Gerlach
The system can't perform the operation now. Try again later.
Articles 1–9