Cited in
(only showing first 100 items - show all)- RankPL
- A denotational semantics for low-level probabilistic programs with nondeterminism
- RankPL: a qualitative probabilistic programming language
- Planning in hybrid relational MDPs
- Lifted Bayesian filtering in multiset rewriting systems
- Moment-based analysis of Bayesian network properties
- The EfProb library for probabilistic calculations
- Computable exchangeable sequences have computable de Finetti measures
- A generalization of hierarchical exchangeability on trees to directed acyclic graphs
- Structured learning modulo theories
- Learning probabilistic logic programs over continuous data
- Herded Gibbs sampling
- The geometry of Bayesian programming
- A monad for probabilistic point processes
- Generic inference in latent Gaussian process models
- Hinge-loss Markov random fields and probabilistic soft logic
- Conditioning in probabilistic programming
- Quasi-Borel Spaces
- The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws
- Automatic differentiation variational inference
- Implementing a library for probabilistic programming using non-strict non-determinism
- TensorLog: a probabilistic database implemented using deep-learning infrastructure
- Measure transformer semantics for Bayesian machine learning
- The scope and limits of simulation in automated reasoning
- Probabilistic logic programming for hybrid relational domains
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Probabilistic programming language and its incremental evaluation
- scientific article; zbMATH DE number 5885082 (Why is no real title available?)
- On higher-order probabilistic subrecursion
- Probabilistic modelling, inference and learning using logical theories
- The magic of logical inference in probabilistic programming
- A Convenient Category for Higher-Order Probability Theory
- Probabilistic termination by monadic affine sized typing
- Probabilities on sentences in an expressive logic
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Semiring programming: a semantic framework for generalized sum product problems
- A model-learner pattern for bayesian reasoning
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- An application of computable distributions to the semantics of probabilistic programming languages
- Commutative semantics for probabilistic programming
- Metric reasoning about \(\lambda\)-terms: the general case
- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- Optimal speech motor control and token-to-token variability: a Bayesian modeling approach
- Probabilistic inference by program transformation in Hakaru (system description)
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- Distributional logic programming for Bayesian knowledge representation
- Controlling procedural modeling programs with stochastically-ordered sequential Monte Carlo
- MEBN
- IMPACT
- WHIRL
- Timbuk
- NETWORKINFERENCE
- CP-logic
- ProbLog
- PITA
- Euclide
- KiCS2
- FluCaP
- Infer.NET
- Curry
- FACTORIE
- IBAL
- Separoids
- SYMBA
- EasyCheck
- trueskill
- SPOOK
- Filzbach
- foxPSL
- PAKCS
- Hakaru
- Venture
- VIBES
- NetKAT
- PREGO
- PRISM
- Figaro
- Datafun
- LMS
- MayBMS
- Pyro
- Lasagne
- Edward
- KnowRob
- BLOG
- ProbNetKAT
- PR-OWL
- TrueSkill
- cplint
- Dyna
- ClaimEval
- DENDRAL
- HyPER
- EfProb
- HBC
- Swift
- Terra
- pomegranate
- CHR.js
- FlatCurry
This page was built for software: Church
