论文标题
加权的一阶模型在两变量的片段中进行计数量词计数
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
论文作者
论文摘要
由于Van den Broeck等人[KR，2014年]的工作，可以在域元素的数量中在多项式中求解一阶模型计数（WFOMC）。在本文中，我们将此结果扩展到具有计数量词的两变量片段。
It is known due to the work of Van den Broeck et al [KR, 2014] that weighted first-order model counting (WFOMC) in the two-variable fragment of first-order logic can be solved in time polynomial in the number of domain elements. In this paper we extend this result to the two-variable fragment with counting quantifiers.
