Goal-Driven Reasoning in DatalogMTL with Magic Sets.

Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemyslaw Andrzej Walega, Dingmin Wang, Hongming Cai, Pan Hu

Browse the full AAAI paper archive.