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

12 October 2021

Papers citing "Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula"

6 / 6 papers shown

Title
Lifted Inference beyond First-Order Logic Sagar Malhotra D. Bizzaro Luciano Serafini 23 3 0 22 Aug 2023
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures Paulius Dilkas Vaishak Belle LRM 16 5 0 07 Jun 2023
Weighted First Order Model Counting with Directed Acyclic Graph Axioms Sagar Malhotra Luciano Serafini 11 2 0 20 Feb 2023
The generalised distribution semantics and projective families of distributions Felix Weitkamper 6 0 0 12 Nov 2022
Lifted Inference with Linear Order Axiom J. Tóth Ondrej Kuzelka LRM 11 12 0 02 Nov 2022
On Projectivity in Markov Logic Networks Sagar Malhotra Luciano Serafini 17 6 0 08 Apr 2022