4 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Technische Universität DresdenDE4 papers
- Center for Advancing Electronics DresdenDE2 papers
- Center for Scalable Data Analytics and Artificial IntelligenceDE2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Centre for Tactile Internet with Human-in-the-LoopDE1 paper
- Département d'InformatiqueFR1 paper
- École Normale Supérieure - PSLFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR1 paper
- Université de MontpellierFR1 paper
- Université Paris Sciences et LettresFR1 paper
- University of WrocławPL1 paper
Showing 2023Show all
2 papers · 1 filter
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…