UDepLambda 是一个语义接口，它将自然语言映射到逻辑形式，可以处理依存图，并在自然语言理解中表现出色，对于多语言问题回答有很好的性能。

Feb, 2017

通过在不同语言之间建立语义和句法的通用连接，并利用跨语言的并行句法结构，我们引入了 UD Type Calculus—— 一种构成性、有原则且与语言无关的语义类型和逻辑形式系统。我们解释了 UD Type Calculus 的基本特征，这些特征都涉及将依赖关系的意义如同单词的意义一样进行指称。这些特征使得 UD-TC 能够通过使用依赖标签来准确地推导出各种句法结构的正确含义。最后，我们在一个大型现有语料库上展示了 UD-TC 的评估结果，证明它能够产生与我们的基准结果相媲美的意义。

Mar, 2024

介绍了一种新的正式语言， lambda 依赖组合语义（lambda DCS），用于表示语义解析中的逻辑形式。lambda DCS 逻辑形式通过消除变量并使存在量词隐式化，通常比 lambda 演算中的形式更紧凑。

Sep, 2013

该研究介绍了 Universal Dependencies 的第二个版本，其中包括词汇分析、词形还原、标准化标记和句法关系，适用于 90 种语言，以及主要变化（UD v1 到 UD v2）的讨论。

Apr, 2020

论文探讨了一维统一片段（U1）的性质，以及 U1 与适应更高元关系的描述逻辑（DLR_reg）的关系，并定义了一个描述逻辑版本的 U1 变体，并证明了与 U1 和其他相关逻辑的表现力有关的一系列新结果。

Apr, 2016

研究发现：在包含任意数量的传递关系的一元否定分段中，有限可满足性问题是可判定和 2-ExpTime 完全问题。此外，我们探讨了我们的基本逻辑的各种扩展的有限可满足性，特别是描述逻辑中已知的名称和角色层次概念的表达。

Sep, 2018

此论文研究语义分析中的一个初步形式 ——ULFs，并基于手动注释的语料库来训练精确的 ULF 解析器。作者认为，将 ULFs 导出作为语义分析的起点将能够更准确地解析语言含义，进而构建更准确的语义解析器。

Mar, 2019

本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题，提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。

Jan, 2014

本文提出了单元依赖图（UDG）的概念，并介绍了一种归纳 UDGs 的分解模型。使用 UDGs 可以减少算术单词问题的解算错误率到 10％以上，同时使系统更能适应新词汇和方程形式。

Dec, 2016

本研究介绍了反证完成的超位置演算法，用于意图性和外延句子 $\lambda$- 自由高阶逻辑，这两种形式允许部分应用和应用变量。 这些演算法由一个术语排序参数化，无需完全单调，从而可以采用 $\lambda$- 自由高阶词典路径和 Knuth-Bendix 排序。作者们在 Zipperposition prover 中实现了这些演算法，并在 Isabelle/HOL 和 TPTP 基准测试中评估它们。 它们似乎是通向完全高效自动定理证明程序的一个重要的步骤。

May, 2020