4 citations · 6 across the 2 of their papers we have counts for
3 papers
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…
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh +6
In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clau…
Discovering Implicational Knowledge in Wikidata
Tom Hanika, Maximilian Marx, Gerd Stumme
Knowledge graphs have recently become the state-of-the-art tool for representing the diverse and complex knowledge of the world. Examples include the proprietary knowledge graphs o…