Knowledge Based Systems (United States)

output

20232025

most citedNemo: First Glimpse of a New Rule Engine

4 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Lukas Gerlach3 · h 3
Stefan Ellmauthaler2 profiles2 · h 9
A. Ivliev1 · h 2
David Carral1 · h 15
Elisa Bohl1 · h 1
Jerzy Marcinkowski1 · h 3
Lucas Larroque1 · h 2
Matthias Meißner1 · h 1
Maximilian Marx1 · h 10
M. Krötzsch1 · h 37
Piotr Ostropolski-Nalewaja1 · h 4
S. A. Gaggl1 · h 16

collaborating institutions

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 2025 · cs.DBShow all

1 paper · 2 filters

cs.DB2025

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…