swMATH8946MaRDI QIDQ20942FDOQ20942
Author name not available (Why is that?)
Official website: http://arxiv.org/ftp/arxiv/papers/1206/1206.3255.pdf
Cited In (only showing first 100 items - show all)
- 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
- A Convenient Category for Higher-Order Probability Theory
- The magic of logical inference in probabilistic programming
- Probabilistic modelling, inference and learning using logical theories
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Title not available (Why is that?)
- 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
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- Measure transformer semantics for Bayesian machine learning
- Probabilistic abductive logic programming using Dirichlet priors
- 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
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Probabilistic (logic) programming concepts
- 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
- Computable de Finetti measures
- Beginner's luck: a language for property-based generators
- Turing
- BayesOWL
- dnner
- TheCommitteeMachine
- Dsharp
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Planning in hybrid relational MDPs
- The EfProb library for probabilistic calculations
- Computable exchangeable sequences have computable de Finetti measures
- Structured learning modulo theories
- Hinge-loss Markov random fields and probabilistic soft logic
- Automatic differentiation variational inference
- Implementing a library for probabilistic programming using non-strict non-determinism
- TensorLog: a probabilistic database implemented using deep-learning infrastructure
- Hakaru10
- Paracosm
- RankPL
- Title not available (Why is that?)
- On higher-order probabilistic subrecursion
- Probabilistic termination by monadic affine sized typing
- Probabilities on sentences in an expressive logic
- Semiring programming: a semantic framework for generalized sum product problems
- A model-learner pattern for bayesian reasoning
- Quasi-Borel Spaces
- An application of computable distributions to the semantics of probabilistic programming languages
This page was built for software: Church
