• Stan

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

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

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

  • Referenced in 31 articles [sw08422]
  • PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. We introduce a rewrite-based specification ... language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both ... high-level rule-based programming language. Furthermore, we provide tool support for performing discrete-event ... module aids writing specifications in a probabilistic actor formalism. This allows us to easily write...
  • rstan

  • Referenced in 55 articles [sw16103]
  • 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...
  • PRISM

  • Referenced in 39 articles [sw23359]
  • symbolic-statistical modeling language PRISM whose programs are not only a probabilistic extension of logic ... algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various types...
  • CP-logic

  • Referenced in 19 articles [sw06947]
  • logic: A language of causal probabilistic events and its relation to logic programming This paper ... develops a logical language for representing probabilistic causal laws. Our interest in such a language ... objects. Second, this language also has relevance for the area of probabilistic logic programming ... language in a completely self-contained way as a representation of probabilistic causal laws, this...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • probabilistic models with unknown objects. This paper introduces and illustrates BLOG, a formal language ... large fragment of the language. We also introduce a probabilistic form of Skolemization for handling...
  • Venture

  • Referenced in 10 articles [sw14670]
  • Turing-complete, higher-order probabilistic language descended from Lisp. Unlike Church, Venture also provides ... compositional language for custom inference strategies built out of scalable exact and approximate techniques ... implementation that build on ideas from probabilistic graphical models. First, we describe the stochastic procedure...
  • Pyro

  • Referenced in 15 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...
  • Figaro

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

  • Referenced in 18 articles [sw04136]
  • which are terms of a probabilistic guarded command language with an operational semantics based...
  • PSQL

  • Referenced in 8 articles [sw02180]
  • PSQL: A query language for probabilistic relational data. Database systems based on the relational model ... development of a non-procedural probabilistic query language -- structured around the popular SQL -- that...
  • PR-OWL

  • Referenced in 9 articles [sw22024]
  • language for defining probabilistic ontologies. Recent years have witnessed an increasingly mature body of research ... have emerged. Among these is Probabilistic Web Ontology Language (PR-OWL), which provides a means ... uncertainty in ontologies expressed in Web Ontology Language (OWL). PR-OWL allows values of random ... variables from probabilistic theories with the individuals, classes and properties from ontological languages such...
  • PRISM-games

  • Referenced in 22 articles [sw12934]
  • described in a probabilistic extension of the Reactive Modules language and properties are expressed using ... bounds. The tool is based on the probabilistic model checker PRISM, benefiting from its existing...
  • PITA

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

  • Referenced in 3 articles [sw10125]
  • probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing. Several formal ... this paper, we propose an expressive probabilistic strategy language that allows the user to define ... with a probabilistic simulator and a statistical model checker for our language. We illustrate...
  • pGCL

  • Referenced in 12 articles [sw13078]
  • 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...
  • MoDeST

  • Referenced in 34 articles [sw01544]
  • behaviour of discrete event systems. The language combines conventional programming constructs - such as iteration, alternatives ... describe important phenomena such as non-determinism, probabilistic branching, and hard real-time as well ... soft real-time (i.e., stochastic) aspects. The language is influenced by popular and user-friendly...