4 citations
- Technische Universität DresdenDE2 papers
- Center for Advancing Electronics DresdenDE1 paper
- Center for Scalable Data Analytics and Artificial IntelligenceDE1 paper
- Centre for Tactile Internet with Human-in-the-LoopDE1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR1 paper
- Université de MontpellierFR1 paper
2 papers
cs.LO2023★ 2 cited
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination
Lukas Gerlach, David Carral
The disjunctive restricted chase is a sound and complete procedure for solving boolean conjunctive query entailment over knowledge bases of disjunctive existential rules. Alas, thi…
cs.AI2023★ 4 cited
Nemo: First Glimpse of a New Rule Engine
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach +4
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance. Nemo is built for data-centric analytic computations, modelled…