- MM评估用于 OWL 2 QL 的元推理的 Datalog 工具
本篇论文研究了基于 OWL 2 QL 和 Metamodeling Semantic Entailment Regime (MSER) 的 Metamodeling 语义，并使用不同的逻辑编程工具实验确定它们对 MSER 查询的适用性。
- Datalog 查询的 Why-Provenance 复杂性
本文旨在填补 why-provenance 计算复杂性方面的空白，我们确定了 Datalog 查询和其子类的 why-provenance 的数据复杂度，得出结论，由于其计算复杂性的特殊性质，递归查询的 why-provenance 是一个 - 基于 Horn 描述逻辑本体的规划表达能力（技术报告）
本文通过基于 DL 本体的规划来解决开放世界状态约束，并提出了一种新的编译方案，即基于 DL 查询重写为具有分层否定的 Datalog 的标准 PDDL，以应对更具表现力的 DL，同时还证明了我们的方法可以优于以前的 DL 本体规划工作。
- 使用 ASP 和 Datalog 计算 H-Partitions
本文研究了陈述图 H 的限制条件下，有限无向简单图 G 的 H - 划分问题。作者使用带分层否定的 Datalog 表达式描述了多项式时间算法，并在 Clingo 上进行了实验比较，结果表明比起等价的 Datalog 程序，直接猜测和检查程 - MM通过 Datalog$^
eg$ 进行可辩驳推理
通过将可防御理论编译成 Datalog 程序，为 DL（||）中的可防御逻辑证明了编译的正确性，并确定了 DL（||）的结构属性，从而支持与其他可防御逻辑相比，在逻辑中高效实现和 / 或近似可防御理论的结论，并利用逻辑程序的已知结构属性来适 - MM利用应用程序增强魔术集及其在本体论推理中的应用
本文介绍了一种增强的魔法集技术来优化使用数据日志的查询答案，并通过消除子 sumed 规则和有效处理绑定传播丢失的情况进一步优化了重写的程序。
- Vadalog 系统：基于 Datalog 的知识图谱推理
本文介绍了 Vadalog 系统，这是使用 Datalog 进行复杂逻辑推论任务的系统，采用侵略性终止控制策略实现了 Warded Datalog+/-，并提供了全面的实验评估。
- MM大数据推理和高级分析的扩展
BigDatalog 是 Datalog 的扩展，旨在实现在 Apache Spark 和多核系统上的性能和可扩展性，其图分析性能优于 GraphX，通过实现技术（例如半朴素极限和魔术集）解决了在递归中使用数量、总和和极值等问题。
- MM具聚合操作的递归 Datalog 程序的不动点语义和优化
本文提出一种简单的综合解决方案，该方案扩展了 Horn Clause 的声明性最小固定点语义，以及 Datalog 系统采用的自底向上实现方法中使用的优化技术，以将 Datalog 的语义和优化技术扩展到包括 min、max、count 和 - IJCAI使用极限 Datalog 程序的声明性数据分析基础
研究了正 Datalog 上添加整数算术函数的扩展语言 Datalog_Z，并提出了两个限制子语言 limit Datalog_Z 和 stable Datalog_Z 以解决其不可判定性，并证明了相应的 NP 完全性和 ExpTime 完 - 一个线性代数方法用于 Datalog 评估
本文提出了一种基于矩阵方程、线性代数的方法，通过解决线性矩阵方程的最小解来计算 Datalog 的最小 Herbrand 模型，并在人工和真实数据上的实验中得到了比现有的 Prolog 和 ASP 系统快 10^1 ~ 10^4 倍的效果。
- AAAI使用 Datalog 推理提取本体模块
本文介绍了一种新的模块抽取方法，将模块抽取的问题转化为 Datalog 推理问题，该方法不仅可以优雅地概括现有的近似方法，而且可以根据需要保留特定类型的导出结果，从而提取更小的模块。
- 具存在量词的分离 Datalog：语义、可决定性和复杂性问题
本文介绍了 Datalog 的扩展形式 Disjunctive Datalog，Datalogex 和 Datalogexor，并提供语法和语义的定义，以及解决了语言可决性问题，这些语言都是知识表示和推理方面的有吸引力的，特别是在需要基于本 - 线序数据日志的复杂度
研究了 datalog 在有限和无限线性序列上的程序复杂性。 结果证明，在具有至少两个元素的所有线性序列上，datalog 的非空问题是 EXPTIME 完全的，将该结果扩展到具有常量的无限线性序列上，并在 Allen 的区间代数上应用这个 - 具有无限模板的 Datalog 和约束满足
该研究论文探讨了 Datalog，有限变量逻辑，存在性骰子游戏和有界高树双性的表达能力，在无限结构上的应用，研究了 omega-categorical 模板的约束满足问题。