Church

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