A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171): Difference between revisions

@@ Property / cites work @@
+Datafun: a functional Datalog
@@ Property / cites work: Datafun: a functional Datalog / rank @@
+Normal rank
@@ Property / cites work @@
+Q3125728
@@ Property / cites work: Q3125728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5857679
@@ Property / cites work: Q5857679 / rank @@
+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 @@
+Some Notes on Proofs with Alpha Graphs
@@ Property / cites work: Some Notes on Proofs with Alpha Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
+Normal rank
@@ Property / cites work @@
+Inference and learning in probabilistic logic programs using weighted Boolean formulas
+Normal rank
@@ Property / cites work @@
+Unifying Theories of Programming with Monads
@@ Property / cites work: Unifying Theories of Programming with Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Backtracking, interleaving, and terminating monad transformers
+Normal rank
@@ Property / cites work @@
+Probabilistic Inference by Program Transformation in Hakaru (System Description)
+Normal rank
@@ Property / cites work @@
+Backtracking with cut via a distributive law and left-zero monoids
+Normal rank
@@ Property / cites work @@
+Handlers of Algebraic Effects
@@ Property / cites work: Handlers of Algebraic Effects / 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 @@
+The independent choice logic for modelling multiple agents under uncertainty
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+The PITA system: Tabling and answer subsumption for reasoning under uncertainty
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank
@@ Property / cites work @@
+Algebras for combinatorial search
@@ Property / cites work: Algebras for combinatorial search / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Estimating 3-D location parameters using dual number quaternions
+Normal rank
@@ Property / cites work @@
+A simple automatic derivative evaluation program
@@ Property / cites work: A simple automatic derivative evaluation program / 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 @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TOY
@@ Property / describes a project that uses: TOY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mercury
@@ Property / describes a project that uses: Mercury / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datafun
@@ Property / describes a project that uses: Datafun / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PFLP
@@ Property / describes a project that uses: PFLP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PITA
@@ Property / describes a project that uses: PITA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hakaru
@@ Property / describes a project that uses: Hakaru / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+miniKanren
@@ Property / describes a project that uses: miniKanren / 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.1007/978-3-030-99461-7_11
+Normal rank
@@ Property / OpenAlex ID @@
+W4285136686
@@ Property / OpenAlex ID: W4285136686 / rank @@
+Normal rank