39 citations · 102 across the 36 of their papers we have counts for
4 papers · 2 filters
Unary Functions, Automorphisms, and Unlabeled First-Order Model Counting
Ondřej Kuželka
Every fixed first-order sentence determines an enumerative sequence , counting its models on the labeled domain . We study the complexity of t…
Weighted First-Order Model Counting over Ordered Domains
Jan Tóth, Qipeng Kuang, Kuncheng Zou +4
The Weighted First-Order Model Counting Problem (WFOMC) asks for the weighted sum of models of a first-order logical sentence over a domain. It is a fundamental problem in statisti…
On Knowledge Compilation For Two-Variable First-Order Logic
Qiaolan Meng, Juhua Pu, Hongting Niu +3
Knowledge compilation transforms logical theories into circuit representations that support efficient reasoning. We study this problem for propositional groundings of FO2, the two-…
A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
Shixin Sun, Astrid Klipfel, Ondřej Kuželka +2
Weighted first-order model counting (WFOMC) is a central task in lifted probabilistic inference: It asks for the weighted sum of all models of a first-order sentence over a finite…