Cover Image

Goal-Driven Reasoning in DatalogMTL with Magic Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Shaoyu, Zhao, Kaiyue, Wei, Dongliang, Wałęga, Przemysław Andrzej, Wang, Dingmin, Cai, Hongming, Hu, Pan
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Practical Reasoning in DatalogMTL
by: Wang, Dingmin, et al.
Published: (2024)

Incremental Maintenance of DatalogMTL Materialisations
by: Zhao, Kaiyue, et al.
Published: (2025)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)

Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2
by: Hauke, Stan P, et al.
Published: (2025)

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
by: Grau, Bernardo Cuenca, et al.
Published: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

When Do Symbolic Solvers Enhance Reasoning in Large Language Models?
by: He, Zhiyuan, et al.
Published: (2025)

Parity, Sensitivity, and Transformers
by: Kozachinskiy, Alexander, et al.
Published: (2026)

Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction
by: Shah, Swapn, et al.
Published: (2026)

Computational Complexity of Standpoint LTL
by: Demri, Stéphane, et al.
Published: (2024)

Hybrid Modal Operators for Definite Descriptions
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)

Expressive Power of Temporal Message Passing
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)

UniSino: Physics-Driven Foundational Model for Universal CT Sinogram Standardization
by: Ai, Xingyu, et al.
Published: (2025)

Retrieval Augmented Question Answering: When Should LLMs Admit Ignorance?
by: Wang, Dingmin, et al.
Published: (2025)

Working Memory Capacity of ChatGPT: An Empirical Study
by: Gong, Dongyu, et al.
Published: (2023)

Grounding Rule-Based Argumentation Using Datalog
by: Diller, Martin, et al.
Published: (2025)

The Limits of Goal-Setting Theory in LLM-Driven Assessment
by: Kumar, Mrityunjay
Published: (2025)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
by: Wałęga, Przemysław Andrzej, et al.
Published: (2026)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

Parallel Lifted Planning via Semi-Naive Datalog Evaluation
by: Drexler, Dominik, et al.
Published: (2026)

Capability Safety as Datalog: A Foundational Equivalence
by: Spera, Cosimo
Published: (2026)

MONICA: Real-Time Monitoring and Calibration of Chain-of-Thought Sycophancy in Large Reasoning Models
by: Hu, Jingyu, et al.
Published: (2025)

SetPO: Set-Level Policy Optimization for Diversity-Preserving LLM Reasoning
by: Li, Chenyi, et al.
Published: (2026)

Abstraction-of-Thought Makes Language Models Better Reasoners
by: Hong, Ruixin, et al.
Published: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
by: Sochański, Michał, et al.
Published: (2025)

Unveiling the Magic of Code Reasoning through Hypothesis Decomposition and Amendment
by: Zhao, Yuze, et al.
Published: (2025)

CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images
by: Duan, Chengqi, et al.
Published: (2025)

BOOST: Bootstrapping Strategy-Driven Reasoning Programs for Program-Guided Fact-Checking
by: Hu, Qisheng, et al.
Published: (2025)

DynaHOI: Benchmarking Hand-Object Interaction for Dynamic Target
by: Hu, BoCheng, et al.
Published: (2026)

Defeasible Reasoning via Datalog$^\neg$
by: Maher, Michael J.
Published: (2021)

Deliberative Reasoning Network: An Uncertainty-Driven Paradigm for Belief-Tracked Inference with Pretrained Language Models
by: Xu, Anran, et al.
Published: (2025)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
by: Qureshi, Haya Majid, et al.
Published: (2024)

The Reasons that Agents Act: Intention and Instrumental Goals
by: Ward, Francis Rhys, et al.
Published: (2024)

MergeIT: From Selection to Merging for Efficient Instruction Tuning
by: Cai, Hongyi, et al.
Published: (2025)

MTL-LoRA: Low-Rank Adaptation for Multi-Task Learning
by: Yang, Yaming, et al.
Published: (2024)

Weight Ensembling Improves Reasoning in Language Models
by: Dang, Xingyu, et al.
Published: (2025)

CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
by: Li, Meng, et al.
Published: (2025)

CODESTRUCT: Code Agents over Structured Action Spaces
by: Kim, Myeongsoo, et al.
Published: (2026)