4 citations · 6 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.HC2026
Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming
Julián Méndez, Lukas Gerlach, Tobias Wieland +3
Nemo Explain Visualizer (nev) is an interactive visual query tracer and builder for Nemo, a powerful Datalog reasoner with extended features. Our tools were developed with and for…
cs.LO2026
The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
Lukas Gerlach
The chase is a sound, complete, but possibly non-terminating algorithm for reasoning with existential rules (aka. tuple-generating dependencies), a highly expressive knowledge repr…