9 citations · 17 across the 3 of their papers we have counts for
3 papers
Markov Logic Networks for Natural Language Question Answering
Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff +3
Our goal is to answer elementary-level science questions using knowledge extracted automatically from science textbooks, expressed in a subset of first-order logic. Given the incom…
Symmetric Weighted First-Order Model Counting
Paul Beame, Guy Van den Broeck, Eric Gribkoff +1
The FO Model Counting problem (FOMC) is the following: given a sentence in FO and a number , compute the number of models of over a domain of size ; the Weighted vari…
Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting
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…