• ProbLog

  • Referenced in 99 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available ... success probability of a given query, either exactly or using various approximate methods. ProbLog1 also ... interpretations setting. ProbLog1 also supports decision-theoretic inference. ProbLog2 allows the user to compute marginal...
  • Venture

  • Referenced in 10 articles [sw14670]
  • specified via a Turing-complete, higher-order probabilistic language descended from Lisp. Unlike Church, Venture ... 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 ... supports custom control flow, higher-order probabilistic procedures, partially exchangeable sequences and “likelihood-free” stochastic...
  • MCINTYRE

  • Referenced in 8 articles [sw22925]
  • program transformation that translates a probabilistic program into a normal program to which the query ... resulting system, called MCINTYRE for Monte Carlo INference wiTh Yap REcord, is evaluated on various ... ProbLog and cplint and with the exact inference of the PITA system. The results show...
  • Libra

  • Referenced in 3 articles [sw14324]
  • algorithms for learning and inference with discrete probabilistic models, including Bayesian networks, Markov networks, dependency ... structure of tractable models in which exact inference is efficient. It also includes a variety...
  • cplint

  • Referenced in 6 articles [sw22924]
  • programs for reasoning and learning with Probabilistic Logic Programming languages that follow the distribution semantics ... measured. The two cplint modules for inference, PITA and MCINTYRE, have been extended for computing ... these models. We also executed experiments comparing exact and approximate inference with conditional and causal...
  • Hakaru

  • Referenced in 4 articles [sw14669]
  • probabilistic programming system that allows composable reuse of distributions, queries, and inference algorithms, all expressed ... conditional distributions, and {it simplification}, which subsumes exact inference by computer algebra. We show...
  • GSPPCA

  • Referenced in 5 articles [sw25977]
  • using a variational expectation-maximization algorithm. The exact marginal likelihood can eventually be maximized over ... components, we call this approach globally sparse probabilistic PCA (GSPPCA). Its usefulness is illustrated ... unlabeled microarray data, GSPPCA is shown to infer biologically relevant subsets of genes. According...
  • BNFinder2

  • Referenced in 1 article [sw34896]
  • Bayesian classification. Bayesian Networks (BNs) are versatile probabilistic models applicable to many different biological phenomena ... inferred from experimental data. BNFinder is a fast software implementation of an exact algorithm...
  • Strudel

  • Referenced in 1 article [sw41047]
  • accurate learner of structured-decomposable probabilistic circuits. Probabilistic circuits (PCs) represent a probability distribution ... properties on these graphs guarantees that several inference scenarios become tractable. Among these properties, structured ... appealing one: it enables the efficient and exact computations of the probability of complex logical...
  • PMT

  • Referenced in 0 articles [sw29885]
  • each probabilistic model, PMT provides functions for simulation (sampling from the model), inference (hidden state ... from data. PMT supports multiple inference methods, both exact and approximate (e.g., winner takes...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LSQR

  • Referenced in 394 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...