• ProbLog

  • Referenced in 83 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available ... offering a different functionality. ProbLog1, or briefly ProbLog, focusses on computing the success probability...
  • PITA

  • Referenced in 19 articles [sw06950]
  • logic, logic programs with annotated disjunctions (LPADs), Problog, PRISM, and others. These languages share...
  • MCINTYRE

  • Referenced in 8 articles [sw22925]
  • program sampled from the probabilistic program. The ProbLog system includes such an algorithm ... compared with the Monte Carlo algorithms of ProbLog and cplint and with the exact inference...
  • Oz

  • Referenced in 113 articles [sw06799]
  • Oz is a high-level programming language combining...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • CP-logic: A language of causal probabilistic events...
  • XSB

  • Referenced in 138 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • BLOG: probabilistic models with unknown objects. This paper...
  • cplint

  • Referenced in 4 articles [sw22924]
  • Causal inference in cplint. cplint is a suite...
  • PRISM

  • Referenced in 34 articles [sw23359]
  • PRISM: A language for symbolic-statistical modeling. We...