Goal-Driven Reasoning in DatalogMTL with Magic Sets
Updated
Updated · arxiv.org · Jul 9
Goal-Driven Reasoning in DatalogMTL with Magic Sets
1 articles · Updated · arxiv.org · Jul 9
Summary
Researchers have introduced a goal-driven reasoning method for DatalogMTL, leveraging the magic sets technique to improve temporal logic query efficiency.
The new approach rewrites programs to focus only on facts relevant to specific queries, significantly reducing unnecessary computations and memory use.
Empirical evaluations show substantial performance gains over existing methods, making complex temporal reasoning more practical for large-scale industrial and financial applications.