Symmetric Weighted First-Order Model Counting

3 December 2014

Papers citing "Symmetric Weighted First-Order Model Counting"

10 / 10 papers shown

Title
Polynomial-Time Relational Probabilistic Inference in Open Universes Luise Ge Brendan Juba Kris Nilsson LRM 34 0 0 07 May 2025
Lifted Inference beyond First-Order Logic Sagar Malhotra D. Bizzaro Luciano Serafini 29 3 0 22 Aug 2023
Weighted First Order Model Counting with Directed Acyclic Graph Axioms Sagar Malhotra Luciano Serafini 11 2 0 20 Feb 2023
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs Luigi Bellomarini Eleonora Laurenza Emanuel Sallinger Evgeny Sherkhonov 11 0 0 01 Oct 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini 17 9 0 12 Oct 2021
On the Tractability of SHAP Explanations Guy Van den Broeck A. Lykov Maximilian Schleich Dan Suciu FAtt TDI 22 260 0 18 Sep 2020
Complex Markov Logic Networks: Expressivity and Liftability Ondrej Kuzelka 6 2 0 24 Feb 2020
Abstracting Probabilistic Models: A Logical Perspective Vaishak Belle 20 1 0 04 Oct 2018
The Complexity of Bayesian Networks Specified by Propositional and Relational Languages Fabio Gagliardi Cozman Denis Deratani Mauá TPM 22 10 0 04 Dec 2016
New Liftable Classes for First-Order Probabilistic Inference Seyed Mehran Kazemi Angelika Kimmig Guy Van den Broeck David Poole LRM 17 37 0 26 Oct 2016