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.

中文翻译：

---

带计数量词的二元片段加权一阶模型计数

众所周知，由于 Van den Broeck 等人 [KR, 2014] 的工作，一阶逻辑的二变量片段中的加权一阶模型计数 (WFOMC) 可以在域数中以时间多项式求解元素。在本文中，我们将此结果扩展到带有计数量词的二变量片段。