Picture for Dongliang Wei

Dongliang Wei

Goal-Driven Reasoning in DatalogMTL with Magic Sets

Add code
Dec 10, 2024
Figure 1 for Goal-Driven Reasoning in DatalogMTL with Magic Sets
Figure 2 for Goal-Driven Reasoning in DatalogMTL with Magic Sets
Viaarxiv icon