Lifted inference for statistical statements in probabilistic answer set programming (Q6064257): Difference between revisions

@@ Property / cites work @@
+A semantics for hybrid probabilistic logic programs with function symbols
+Normal rank
@@ Property / cites work @@
+Q5233781
@@ Property / cites work: Q5233781 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical statements in probabilistic logic programming
+Normal rank
@@ Property / cites work @@
+The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
+Normal rank
@@ Property / cites work @@
+Q5857679
@@ Property / cites work: Q5857679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+ASP-Core-2 Input Language Format
@@ Property / cites work: ASP-Core-2 Input Language Format / rank @@
+Normal rank
@@ Property / cites work @@
+Solution Enumeration for Projected Boolean Search Problems
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Complexity results for probabilistic answer set programming
+Normal rank
@@ Property / cites work @@
+A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
+Normal rank
@@ Property / cites work @@
+Lifted Variable Elimination: Decoupling the Operators from the Constraint Language
+Normal rank
@@ Property / cites work @@
+The PITA system: Tabling and answer subsumption for reasoning under uncertainty
+Normal rank
@@ Property / cites work @@
+Learning hierarchical probabilistic logic programs
+Normal rank
@@ Property / cites work @@
+Lifted discriminative learning of probabilistic logic programs
+Normal rank
@@ Property / cites work @@
+Multi-shot ASP solving with clingo
@@ Property / cites work: Multi-shot ASP solving with clingo / rank @@
+Normal rank
@@ Property / cites work @@
+Lifted Variable Elimination for Probabilistic Logic Programming
+Normal rank
@@ Property / cites work @@
+Probabilistic reasoning with answer sets
@@ Property / cites work: Probabilistic reasoning with answer sets / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction with probabilistic logic programming under the distribution semantics
+Normal rank