Skolemization for Weighted First-Order Model Counting

19 December 2013

Papers citing "Skolemization for Weighted First-Order Model Counting"

13 / 13 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
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
An epistemic approach to model uncertainty in data-graphs S. Abriola Santiago Cifuentes María Vanina Martínez Nina Pardal Edwin Pin Baque 22 1 0 29 Sep 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 8 2 0 24 Feb 2020
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
Symmetric Weighted First-Order Model Counting P. Beame Guy Van den Broeck Eric Gribkoff Dan Suciu 28 71 0 03 Dec 2014
Approximate Lifted Inference with Probabilistic Databases Wolfgang Gatterbauer Dan Suciu TPM 31 21 0 02 Dec 2014
Dissociation and Propagation for Approximate Lifted Inference with Standard Relational Database Management Systems Wolfgang Gatterbauer Dan Suciu 53 21 0 23 Oct 2013
Lifted Graphical Models: A Survey Lilyana Mihalkova Lise Getoor 3DV 82 96 0 25 Jul 2011