Church
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Implementing a library for probabilistic programming using non-strict non-determinism
- TensorLog: a probabilistic database implemented using deep-learning infrastructure
- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Computable de Finetti measures
- Hinge-loss Markov random fields and probabilistic soft logic
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- MEBN
- IMPACT
- WHIRL
- Timbuk
- NETWORKINFERENCE
- CP-logic
- ProbLog
- PITA
- Euclide
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- KiCS2
- FluCaP
- Infer.NET
- Measure transformer semantics for Bayesian machine learning
- Curry
- FACTORIE
- IBAL
- Separoids
- SYMBA
- EasyCheck
- trueskill
- SPOOK
- Filzbach
- foxPSL
- PAKCS
- Hakaru
- Venture
- VIBES
- NetKAT
- PREGO
- A Convenient Category for Higher-Order Probability Theory
- The scope and limits of simulation in automated reasoning
- 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
- PFLP
- Blaise
- Dimple
- Anglican
- ProPPR
- SPFlow
- Turing
- BayesOWL
- dnner
- TheCommitteeMachine
- Optimal speech motor control and token-to-token variability: a Bayesian modeling approach
- Dsharp
- Computable exchangeable sequences have computable de Finetti measures
- Automatic differentiation variational inference
- Beginner's luck: a language for property-based generators
- Planning in hybrid relational MDPs
- Probabilistic abductive logic programming using Dirichlet priors
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- The EfProb library for probabilistic calculations
- The magic of logical inference in probabilistic programming
- Structured learning modulo theories
- Probabilistic (logic) programming concepts
- Metric reasoning about \(\lambda\)-terms: the general case
- Probabilistic modelling, inference and learning using logical theories
- Probabilistic logic programming for hybrid relational domains
- A model-learner pattern for bayesian reasoning
- Hakaru10
- Paracosm
- RankPL
- scientific article; zbMATH DE number 5885082 (Why is no real title available?)
- The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws
- Lifted Bayesian filtering in multiset rewriting systems
- Probabilistic termination by monadic affine sized typing
- Program logic for higher-order probabilistic programs in Isabelle/HOL
- An application of computable distributions to the semantics of probabilistic programming languages
This page was built for software: Church
