BriefGPT - AI 论文速递 · 2025-05-15T00:00:00Z

DatalogMTL中的不一致性处理

📝

内容提要

本文首次定义了DatalogMTL中不一致性处理的冲突与修复概念，并分析了查询蕴含的复杂性，为不一致性处理提供了新见解。

🏷️

标签

DatalogMTL 不一致性 修复 冲突 查询蕴含