6 citations · 10 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2022
Efficient Dependency Analysis for Rule-Based Ontologies
Larry González, Alex Ivliev, Markus Krötzsch +1
Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical us…