notesum.ai

Published at December 10

Goal-Driven Reasoning in DatalogMTL with Magic Sets

cs.AI

Released Date: December 10, 2024

Authors: Shaoyu Wang1, Kaiyue Zhao1, Dongliang Wei1, Przemysław Andrzej Wałęga, Dingmin Wang2, Hongmin Cai, Pan Hu1

Aff.: 1Shanghai Jiao Tong University; 2University of Oxford

Arxiv: http://arxiv.org/pdf/2412.07259v1