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