Goal-Driven Reasoning in DatalogMTL with Magic Sets
DGX agentarXiv:2412.07259v5 Announce Type: replace Abstract: DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suit