$T_{\mathcal{P}}$-compilation for inference in probabilistic logic programs (Q324656): Difference between revisions

@@ Property / cites work @@
+$$\#\exists $$ SAT: Projected Model Counting
@@ Property / cites work: $$\#\exists $$ SAT: Projected Model Counting / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation of logic programs using approximation fixpoint theory
+Normal rank
@@ Property / cites work @@
+Compiling relational Bayesian networks for exact inference
+Normal rank
@@ Property / cites work @@
+On probabilistic inference by weighted model counting
+Normal rank
@@ Property / cites work @@
+Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+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 @@
+Probabilistic (logic) programming concepts
@@ Property / cites work: Probabilistic (logic) programming concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Revising Probabilistic Prolog Programs
@@ Property / cites work: Revising Probabilistic Prolog Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic inductive logic programming. Theory and applications
+Normal rank
@@ Property / cites work @@
+Inference and learning in probabilistic logic programs using weighted Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q3510469
@@ Property / cites work: Q3510469 / rank @@
+Normal rank
@@ Property / cites work @@
+The magic of logical inference in probabilistic programming
+Normal rank
@@ Property / cites work @@
+Exploiting symmetries for scaling loopy belief propagation and relational training
+Normal rank
@@ Property / cites work @@
+Q4884089
@@ Property / cites work: Q4884089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998267
@@ Property / cites work: Q3998267 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic programming for hybrid relational domains
+Normal rank
@@ Property / cites work @@
+Planning in hybrid relational MDPs
@@ Property / cites work: Planning in hybrid relational MDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
+Normal rank
@@ Property / cites work @@
+\(k\)-optimal: a novel approximate inference algorithm for ProbLog
+Normal rank
@@ Property / cites work @@
+The PITA system: Tabling and answer subsumption for reasoning under uncertainty
+Normal rank
@@ Property / cites work @@
+The distribution semantics for normal programs with function symbols
+Normal rank
@@ Property / cites work @@
+Probabilistic Databases
@@ Property / cites work: Probabilistic Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic relational processes: efficient inference and applications
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+CP-logic: A language of causal probabilistic events and its relation to logic programming
+Normal rank
@@ Property / cites work @@
+\(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
+Normal rank
@@ Property / cites work @@
+Exploiting local and repeated structure in dynamic Bayesian networks
+Normal rank

\(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs (Q324656): Difference between revisions

Revision as of 17:32, 12 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)