A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics (Q2374532): Difference between revisions

@@ Property / describes a project that uses @@
+ProbLog
@@ Property / describes a project that uses: ProbLog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ijar.2016.10.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2531711132
@@ Property / OpenAlex ID: W2531711132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3510469
@@ Property / cites work: Q3510469 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic inductive logic programming. Theory and applications
+Normal rank
@@ Property / cites work @@
+Evaluating Inference Algorithms for the Prolog Factor Language
+Normal rank
@@ Property / cites work @@
+Probabilistic Horn abduction and Bayesian networks
+Normal rank
@@ Property / cites work @@
+The independent choice logic for modelling multiple agents under uncertainty
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Inference and learning in probabilistic logic programs using weighted Boolean formulas
+Normal rank
@@ Property / cites work @@
+Probabilistic (logic) programming concepts
@@ Property / cites work: Probabilistic (logic) programming concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Lifted graphical models: a survey
@@ Property / cites work: Lifted graphical models: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Lifted Variable Elimination for Probabilistic Logic Programming
+Normal rank
@@ Property / cites work @@
+The distribution semantics for normal programs with function symbols
+Normal rank
@@ Property / cites work @@
+Lifted Variable Elimination: Decoupling the Operators from the Constraint Language
+Normal rank
@@ Property / cites work @@
+Q4386927
@@ Property / cites work: Q4386927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602746
@@ Property / cites work: Q3602746 / rank @@
+Normal rank
@@ Property / cites work @@
+On probabilistic inference by weighted model counting
+Normal rank
@@ Property / cites work @@
+The Independent Choice Logic and Beyond
@@ Property / cites work: The Independent Choice Logic and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Fast Exponentiation Methods
@@ Property / cites work: A Survey of Fast Exponentiation Methods / rank @@
+Normal rank