Enhancing Datalog Reasoning with Hypertree Decompositions.

Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

Browse the full IJCAI paper archive.