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

@@ Property / DOI @@
-.1016/j.ijar.2016.06.009
@@ Property / DOI: 10.1016/j.ijar.2016.06.009 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+BLOG
@@ Property / describes a project that uses: BLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPINE
@@ Property / describes a project that uses: SPINE / 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 @@
+PITA
@@ Property / describes a project that uses: PITA / 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.06.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2465254145
@@ Property / OpenAlex ID: W2465254145 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.IJAR.2016.06.009
@@ Property / DOI: 10.1016/J.IJAR.2016.06.009 / rank @@
+Normal rank

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

Latest revision as of 14:26, 9 December 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)