conftrace_

fact consequence

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

datalog reasoning (1) optimized storage (1) transitive rule (1) union rule (1) query answering (1)

Papers

Optimised Storage for Datalog Reasoning AAAI 2024