conftrace_

datalog reasoning

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

optimized storage (1) fact consequence (1) finite controllability (1) conjunctive query answering (1) seminaive evaluation (1) incremental reasoning (1) transitive rule (1) union rule (1) hypertree decomposition (1) existential rule (1)

Papers

Optimised Storage for Datalog Reasoning AAAI 2024 Enhancing Datalog Reasoning with Hypertree Decompositions IJCAI 2023 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018