mlsanityData to 7 Oct 2026

Goal-Driven Reasoning in DatalogMTL with Magic Sets

arXiv 2412.07259 ↗First posted 10 Dec 2024cs.AIcited by 1

On the map: LLM reasoning → Reasoning benchmarks and evaluation

Abstract (arXiv)

DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applications, including tasks from industrial and financial sectors. However, due to its high computational complexity, practical reasoning in DatalogMTL is highly challenging. To address this difficulty, we introduce a new reasoning method for DatalogMTL which exploits the magic sets technique -- a rewriting approach developed for (non-temporal) Datalog to simulate top-down evaluation with bottom-up reasoning. We have implemented this approach and evaluated it on publicly available benchmarks, showing that the proposed approach significantly and consistently outperformed state-of-the-art reasoning techniques.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 3 of its 30 references that are in the map. First posted on arXiv 10 Dec 2024.

Builds on

3 of 30 references.

References · 3

  1. 2017Querying Log Data with Metric Temporal Logic (Technical Report)cited by 10
  2. 2022MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operatorscited by 7
  3. 2023The Stable Model Semantics of Datalog with Metric Temporal Operatorscited by 2

Built on by

Cited by year

Citing papers per year: 2025: 1.

1 paper.

  1. 2025Incremental Maintenance of DatalogMTL Materialisationscited by 0

Similar, not cited

Close in wording, no citation either way

  1. 2026DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis
  2. 2023Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report)
  3. 2024LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models
  4. 2025On Syntactical Simplification of Temporal Operators in Negation-free MTL
  5. 2022Complexity of Arithmetic in Warded Datalog+-
  6. 2025Text-to-SQL as Dual-State Reasoning: Integrating Adaptive Context and Progressive Generation
  7. 2024RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios
  8. 2025LogicCat: A Chain-of-Thought Text-to-SQL Benchmark for Complex Reasoning