Lifted Inference beyond First-Order Logic

v1v2v3v4v5 (latest)

Lifted Inference beyond First-Order Logic

22 August 2023

Luciano Serafini

ArXiv (abs)PDF HTML

Papers citing "Lifted Inference beyond First-Order Logic"

10 / 10 papers shown

Title
Bridging Weighted First Order Model Counting and Graph Polynomials Qipeng Kuang Ondrej Kuzelka Yuanhong Wang Yuyi Wang 65 0 0 16 Jul 2024
Lifted Inference with Linear Order Axiom J. Tóth Ondrej Kuzelka LRM 47 12 0 02 Nov 2022
On Projectivity in Markov Logic Networks Sagar Malhotra Luciano Serafini 64 6 0 08 Apr 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini 50 9 0 12 Oct 2021
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers Ondrej Kuzelka 35 21 0 10 Jul 2020
Domain Recursion for Lifted Inference with Existential Quantifiers Seyed Mehran Kazemi Angelika Kimmig Guy Van den Broeck David Poole 39 12 0 24 Jul 2017
New Liftable Classes for First-Order Probabilistic Inference Seyed Mehran Kazemi Angelika Kimmig Guy Van den Broeck David Poole LRM 47 37 0 26 Oct 2016
Symmetric Weighted First-Order Model Counting P. Beame Guy Van den Broeck Eric Gribkoff Dan Suciu 100 71 0 03 Dec 2014
Skolemization for Weighted First-Order Model Counting Guy Van den Broeck Wannes Meert Adnan Darwiche 112 102 0 19 Dec 2013
Probabilistic Theorem Proving Vibhav Gogate Pedro M. Domingos TPM 137 219 0 14 Feb 2012