Inference and learning in probabilistic logic programs using weighted Boolean formulas (Q4592983): Difference between revisions

@@ Property / describes a project that uses @@
+ProbLog
@@ Property / describes a project that uses: ProbLog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CP-logic
@@ Property / describes a project that uses: CP-logic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dsharp
@@ Property / describes a project that uses: Dsharp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASSAT
@@ Property / describes a project that uses: ASSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6810
@@ Property / arXiv ID: 1304.6810 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Compiling relational Bayesian networks for exact inference
+Normal rank
@@ Property / cites work @@
+On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
+Normal rank
@@ Property / cites work @@
+Modeling and Reasoning with Bayesian Networks
@@ Property / cites work: Modeling and Reasoning with Bayesian Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming revisited
@@ Property / cites work: Logic programming revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Logical and Relational Learning
@@ Property / cites work: Logical and Relational Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic inductive logic programming. Theory and applications
+Normal rank
@@ Property / cites work @@
+Q3510469
@@ Property / cites work: Q3510469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202939
@@ Property / cites work: Q4202939 / rank @@
+Normal rank
@@ Property / cites work @@
+On the implementation of the probabilistic logic programming language ProbLog
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Dedicated tabling for a probabilistic setting
@@ Property / cites work: Dedicated tabling for a probabilistic setting / rank @@
+Normal rank
@@ Property / cites work @@
+CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods
+Normal rank
@@ Property / cites work @@
+Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+CP-logic: A language of causal probabilistic events and its relation to logic programming
+Normal rank