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
4 papers
About the Multi-Head Linear Restricted Chase Termination
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski +1
The chase is a ubiquitous algorithm in database theory. However, for existential rules (aka tuple-generating dependencies), its termination is not guaranteed, and even undecidable…
Winning Snake: Design Choices in Multi-Shot ASP
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its…
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…
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…