• BLOG

  • Referenced in 41 articles [sw22025]
  • BLOG: probabilistic models with unknown objects. This paper introduces and illustrates BLOG, a formal language ... defining probability models over worlds with unknown objects and identity uncertainty. BLOG unifies and extends ... specifies a unique probability distribution over first-order model structures that can contain varying ... language. We also introduce a probabilistic form of Skolemization for handling evidence...
  • PrASP

  • Referenced in 2 articles [sw18512]
  • probabilistic reasoning based on logic programming and first-order theories under stable model semantics. This ... description paper describes the software framework PrASP (“probabilistic answer set programming”). PrASP is both ... reasoning and machine learning software and a probabilistic logic programming language based on answer ... AnsProlog) as well as first-order logic formulas (with stable model semantics), annotated with conditional...
  • FACTORIE

  • Referenced in 13 articles [sw08947]
  • Factorie: Probabilistic programming via imperatively defined factor graphs. Discriminatively trained undirected graphical models have ... complex relational data. The power in relational models is in their repeated structure and tied ... declarative language, such as SQL or first-order logic, we advocate using an imperative language...
  • ANSYS

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

  • Referenced in 311 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

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

  • Referenced in 265 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

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

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 250 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MATCONT

  • Referenced in 363 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 531 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

  • Referenced in 284 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • ORTHPOL

  • Referenced in 79 articles [sw00659]
  • Algorithm 726: ORTHPOL - A package of routines for...
  • R

  • Referenced in 8359 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 739 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ML

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...