
LDPC
 Referenced in 84 articles
[sw03321]
 used for Turbo codes, and to probabilistic inference methods used in other fields. Variations...

Stan
 Referenced in 314 articles
[sw10200]
 Stan is a probabilistic programming language implementing full Bayesian statistical inference with MCMC sampling (NUTS...

RStan
 Referenced in 91 articles
[sw13990]
 project develops a probabilistic programming language that implements full Bayesian statistical inference via Markov Chain...

Edward
 Referenced in 16 articles
[sw21517]
 Edward: A Library for Probabilistic Modeling, Inference, and Criticism. Edward is a Python library ... probabilistic modeling, inference, and criticism. It is a testbed for fast experimentation and research with...

Blaise
 Referenced in 10 articles
[sw29867]
 Blaise: A Toolkit for HighPerformance Probabilistic Inference. Blaise is a toolkit for high performance ... probabilistic inference, implemented in Java. Blaise provides efficient implementations of the algorithmic and representational primitives ... computations arising in probabilistic inference, along with means of composition that support easy incremental development...

Venture
 Referenced in 11 articles
[sw14670]
 Venture: a higherorder probabilistic programming platform with programmable inference. We describe Venture, an interactive ... generalpurpose use. Like Church, probabilistic models and inference problems in Venture are specified ... Turingcomplete, higherorder probabilistic language descended from Lisp. Unlike Church, Venture also provides ... that do inference over latent variables hidden from Venture. Second, we describe probabilistic execution traces...

rstan
 Referenced in 55 articles
[sw16103]
 project develops a probabilistic programming language that implements full Bayesian statistical inference via Markov Chain...

FRIL
 Referenced in 44 articles
[sw18490]
 method of inference to permit the inclusion of uncertainties such as probabilistic knowledge and fuzzy...

Alchemy
 Referenced in 11 articles
[sw16040]
 algorithms for statistical relational learning and probabilistic logic inference, based on the Markov logic representation...

MCINTYRE
 Referenced in 8 articles
[sw22925]
 Monte Carlo system for probabilistic logic programming. Probabilistic Logic Programming is receiving an increasing attention ... concentrate on the problem of approximate inference in probabilistic logic programming languages based ... normal program sampled from the probabilistic program. The ProbLog system includes such an algorithm ... Carlo inference that is based on a program transformation that translates a probabilistic program into...

PILCO
 Referenced in 32 articles
[sw34813]
 based on probabilistic modeling of the dynamics and approximate Bayesian inference for policy evaluation...

Evigan
 Referenced in 5 articles
[sw14331]
 annotation program for eukaryotic genomes, employing probabilistic inference to integrate multiple sources of gene evidence...

Merlin
 Referenced in 5 articles
[sw23076]
 program, Merlin aims to automatically infer an information flow specification. Merlin models information flow paths ... propagation graph using probabilistic constraints. A naive modeling requires an exponential number of constraints ... wellknown structure for performing probabilistic inference. We experimentally validate the Merlin approach by applying...

BLOG
 Referenced in 41 articles
[sw22025]
 BLOG: probabilistic models with unknown objects. This paper introduces and illustrates BLOG, a formal language ... inference algorithms exist for a large fragment of the language. We also introduce a probabilistic...

PICS
 Referenced in 3 articles
[sw37329]
 PICS: Probabilistic Inference for ChIPseq. ChIPseq combines chromatin immunoprecipitation with massively parallel short ... propose a method called PICS (Probabilistic Inference for ChIPseq) for identifying regions bound...

HySpirit
 Referenced in 4 articles
[sw20096]
 HySpirit  a probabilistic inference engine for hypermedia retrieval in large databases. HySpirit is a retrieval ... models retrieval as uncertain inference, for which we use probabilistic reasoning. Since the expressiveness...

Hakaru
 Referenced in 4 articles
[sw14669]
 Probabilistic inference by program transformation in Hakaru (system description). We present Hakaru, a new probabilistic...

ProbLog
 Referenced in 102 articles
[sw06945]
 ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available ... interpretations setting. ProbLog1 also supports decisiontheoretic inference. ProbLog2 allows the user to compute marginal...

VIREL
 Referenced in 3 articles
[sw42894]
 VIREL: A Variational Inference Framework for Reinforcement Learning. Applying probabilistic models to reinforcement learning ... powerful optimisation tools such as variational inference to RL. However, existing inference frameworks and their ... propose VIREL, a novel, theoretically grounded probabilistic inference framework for RL that utilises a parametrised...

PINTS
 Referenced in 2 articles
[sw29811]
 Probabilistic Inference on Noisy Time Series (PINTS). Pints (Probabilistic Inference on Noisy TimeSeries...