Search Results for author: Eric Gribkoff

Found 4 papers, 0 papers with code

Symmetric Weighted First-Order Model Counting

no code implementations3 Dec 2014 Paul Beame, Guy Van Den Broeck, Eric Gribkoff, Dan Suciu

For the combined complexity, we prove that, for every fragment FO$^{k}$, $k\geq 2$, the combined complexity of FOMC (or WFOMC) is #P-complete.

Sentence

Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting

no code implementations13 May 2014 Eric Gribkoff, Guy Van Den Broeck, Dan Suciu

In this paper we study lifted inference for the Weighted First-Order Model Counting problem (WFOMC), which counts the assignments that satisfy a given sentence in first-order logic (FOL); it has applications in Statistical Relational Learning (SRL) and Probabilistic Databases (PDB).

Relational Reasoning Sentence

Cannot find the paper you are looking for? You can Submit a new open access paper.