• Stan

  • Referenced in 174 articles [sw10200]
  • Probability and Sampling. Stan is a probabilistic programming language implementing full Bayesian statistical inference with...
  • ProbLog

  • Referenced in 82 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available...
  • RStan

  • Referenced in 50 articles [sw13990]
  • package. The Stan project develops a probabilistic programming language that implements full Bayesian statistical inference...
  • IBAL

  • Referenced in 27 articles [sw08945]
  • IBAL: a probabilistic rational programming language. In a rational programming language, a program specifies ... paper presents IBAL, a rational programming language for probabilistic and decision-theoretic agents. IBAL provides ... rich declarative language for describing probabilistic models. The expression language allows the description of arbitrarily ... generative models. In addition, IBAL’s observation language makes it possible to express and compose...
  • rstan

  • Referenced in 21 articles [sw16103]
  • package. The Stan project develops a probabilistic programming language that implements full Bayesian statistical inference...
  • PRISM

  • Referenced in 34 articles [sw23359]
  • symbolic-statistical modeling language PRISM whose programs are not only a probabilistic extension of logic ... programs but also able to learn from examples with the help of the EM learning ... algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various types ... probabilistic modeling formalisms, the hidden Markov model and Bayesian networks, are described by PRISM programs...
  • Figaro

  • Referenced in 10 articles [sw28902]
  • Figaro: An Object-Oriented Probabilistic Programming Language. We introduce an object-oriented paradigm for probabilistic...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • logic programming This paper develops a logical language for representing probabilistic causal laws. Our interest ... Second, this language also has relevance for the area of probabilistic logic programming. In particular ... certain logic programs, rendering it formally quite similar to existing languages such ... explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such...
  • Pyro

  • Referenced in 9 articles [sw27079]
  • Pyro is a universal probabilistic programming language (PPL) written in Python and supported by PyTorch ... backend. Pyro enables flexible and expressive deep probabilistic modeling, unifying the best of modern deep...
  • PITA

  • Referenced in 19 articles [sw06950]
  • field of probabilistic logic programming (PLP), leading to languages such as the independent choice logic...
  • MCINTYRE

  • Referenced in 8 articles [sw22925]
  • problem of approximate inference in probabilistic logic programming languages based on the distribution semantics ... query in a normal program sampled from the probabilistic program. The ProbLog system includes such...
  • pGCL

  • Referenced in 12 articles [sw13078]
  • both a programming language and a specification language that incorporates both probabilistic and nondeterministic choice ... provides both a shallow embedding of the language primitives, and an annotation and refinement framework...
  • TerpreT

  • Referenced in 2 articles [sw29483]
  • TerpreT: A Probabilistic Programming Language for Program Induction. We study machine learning formulations of inductive ... problems. TerpreT is similar to a probabilistic programming language: a model is composed...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational...
  • Anglican

  • Referenced in 3 articles [sw31144]
  • Anglican is a probabilistic programming language integrated with Clojure and ClojureScript. While Anglican incorporates ... practical everyday machine learning tool that makes probabilistic reasoning effective for you. Do you interact ... execute informed decisions in your Clojure programs...
  • PFLP

  • Referenced in 2 articles [sw28855]
  • library for probabilistic programming in the functional logic programming language Curry. It demonstrates ... functional logic programming language support the implementation of a library for probabilistic programming. In fact ... functional logic and probabilistic programming are closely connected. That is, language characteristics from one area ... even compete with full-blown probabilistic programming languages, which we illustrate by several benchmarks. Under...
  • HyPER

  • Referenced in 2 articles [sw23917]
  • system using a powerful and intuitive probabilistic programming language called probabilistic soft logic, which enables...
  • CryptHOL

  • Referenced in 4 articles [sw28582]
  • Isabelle/HOL. It shallowly embeds a probabilistic functional programming language in higher order logic. The language ... black-box access to oracles. Oracles are probabilistic functions which maintain hidden state between different...
  • cplint

  • Referenced in 4 articles [sw22924]
  • reasoning and learning with Probabilistic Logic Programming languages that follow the distribution semantics. In this...
  • Swift

  • Referenced in 1 article [sw23920]
  • Swift: Compiled Inference for Probabilistic Programming Languages. A probabilistic program defines a probability measure over ... semantic structures. One common goal of probabilistic programming languages (PPLs) is to compute posterior probabilities...