Alert button

Enhancing Datalog Reasoning with Hypertree Decompositions

May 15, 2023
Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

Figure 1 for Enhancing Datalog Reasoning with Hypertree Decompositions
Figure 2 for Enhancing Datalog Reasoning with Hypertree Decompositions
Figure 3 for Enhancing Datalog Reasoning with Hypertree Decompositions
Figure 4 for Enhancing Datalog Reasoning with Hypertree Decompositions

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: