
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 firstorder 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 firstorder 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 firstorder 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 firstorder 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 highlevel language and interactive...

MiniSat
 Referenced in 531 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 284 articles
[sw00646]
 GNU Octave is a highlevel 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 symbolicnumericalgraphical...

ML
 Referenced in 514 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...