Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.

Sagar Malhotra, Luciano Serafini

Browse the full AAAI paper archive.