conftrace_

transitive closure

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

datalog materialisation (1) seminal algorithm (1) algorithmic optimization (1) seminaïve algorithm (1) incremental update (1) modular framework (1) adjacency matrix (1) datalog program (1) directed acyclic graph (1) transitively-closed dag (1)

Papers

Learning Representations for Hierarchies with Minimal Support NeurIPS 2024 Modular Materialisation of Datalog Programs AAAI 2019