Lifted inference with tree axioms (Q6088316): Difference between revisions

@@ Property / cites work @@
+Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Inference and learning in probabilistic logic programs using weighted Boolean formulas
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix tree theorems
@@ Property / cites work: Matrix tree theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Lifted Variable Elimination: Decoupling the Operators from the Constraint Language
+Normal rank
@@ Property / cites work @@
+Weighted model counting beyond two-variable logic
@@ Property / cites work: Weighted model counting beyond two-variable logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Two-Variable Logic on Finite Trees
@@ Property / cites work: Complexity of Two-Variable Logic on Finite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Variable Logic with Counting and Trees
@@ Property / cites work: Two-Variable Logic with Counting and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5028455
@@ Property / cites work: Q5028455 / rank @@
+Normal rank
@@ Property / cites work @@
+The dichotomy of probabilistic inference for unions of conjunctive queries
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+On the computational complexity of the Jones and Tutte polynomials
+Normal rank
@@ Property / cites work @@
+A Practical Approach to Courcelle's Theorem
@@ Property / cites work: A Practical Approach to Courcelle's Theorem / rank @@
+Normal rank