BriefGPT.xyz
Jul, 2020
带计数量词的二元分片的加权一阶模型计数
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
HTML
PDF
Ondrej Kuzelka
TL;DR
该研究将Van den Broeck等人关于加权第一阶模型计数在一阶逻辑中的多项式解法扩展到同时带有计数量词的两变量片段，探究其时间复杂度。
Abstract
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
→