• Stan

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

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

  • Referenced in 42 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 ... these are packaged together into a programming language that has a rich type system...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • language of causal probabilistic events and its relation to logic programming This paper develops ... relevance for the area of probabilistic logic programming. In particular, we prove that the formal ... explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such ... piece of knowledge representation methodology for probabilistic logic programs, by showing how they can express...
  • PRISM

  • Referenced in 33 articles [sw23359]
  • programs are not only a probabilistic extension of logic programs but also able to learn ... knowledge representation language appropriate for probabilistic reasoning, it can describe various types of symbolic-statistical ... probabilistic modeling formalisms, the hidden Markov model and Bayesian networks, are described by PRISM programs...
  • ADVI

  • Referenced in 20 articles [sw34040]
  • Stan (code available now), a probabilistic programming framework. We compare ADVI to MCMC sampling across...
  • rstan

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

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

  • Referenced in 13 articles [sw21517]
  • machine learning, deep learning, and probabilistic programming...
  • Figaro

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

  • Referenced in 17 articles [sw06950]
  • given rise to the field of probabilistic logic programming (PLP), leading to languages such...
  • FACTORIE

  • Referenced in 12 articles [sw08947]
  • Factorie: Probabilistic programming via imperatively defined factor graphs. Discriminatively trained undirected graphical models have...
  • Venture

  • Referenced in 8 articles [sw14670]
  • Venture: a higher-order probabilistic programming platform with programmable inference. We describe Venture, an interactive ... virtual machine for probabilistic programming that aims to be sufficiently expressive, extensible, and efficient ... general-purpose use. Like Church, probabilistic models and inference problems in Venture are specified ... describe probabilistic execution traces (PETs), which represent execution histories of Venture programs. PETs capture conditional...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic...
  • miniKanren

  • Referenced in 6 articles [sw20082]
  • extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming, and tabling...
  • PTSC

  • Referenced in 5 articles [sw13692]
  • from which an observational equivalence between probabilistic programs is investigated and a collection of algebraic ... semantics to animate the execution of probabilistic programs...
  • Pyro

  • Referenced in 6 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...
  • ecp

  • Referenced in 10 articles [sw21075]
  • methods make use of dynamic programming and probabilistic pruning, with no distributional assumptions other than...
  • CertiCrypt

  • Referenced in 6 articles [sw09443]
  • Programming language techniques for cryptographic proofs. CertiCrypt is a general framework to certify the security ... proved, are expressed using probabilistic programs. It provides a set of programming language tools (observational...