Goal-Driven Reasoning in DatalogMTL with Magic Sets

Open in new window