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