
GOLOG
 Referenced in 170 articles
[sw02159]
 extended version of the situation calculus. A prototype implementation in Prolog has been developed...

ConGolog
 Referenced in 48 articles
[sw01801]
 concurrent programming language based on the situation calculus As an alternative to planning, an approach ... considered. A formal definition in the situation calculus of such a programming language is presented ... userdefined by axioms in the situation calculus. Some mathematical properties of the language...

IndiGolog
 Referenced in 5 articles
[sw16792]
 whatis known aboutthe initial state)inthe situation calculus. Theprogrammer can controlthe amountof nondeterminism...

PREGO
 Referenced in 5 articles
[sw16793]
 system, called prego, based on the situation calculus, that is able to reason effectively about...

PPlan
 Referenced in 1 article
[sw20685]
 preference language is defined using the situation calculus. The truth or falsity of a preference ... formula is evaluated as a situation calculus formula. The relative preference of alternative plans...

quantlet
 Referenced in 5 articles
[sw13364]
 estimators and tests for various practical situations. The last part introduces a wide variety ... application of simple calculus and basic multivariate methods in real life situations. It contains altogether...

MDCELLIPSOIDs
 Referenced in 9 articles
[sw22577]
 ellipsoidal surfaces in a nonconformal contact situation. The implemented methodology is specifically designed ... normal vector which, by vector calculus, is derived as the gradient of the implicit function...

Maple
 Referenced in 5124 articles
[sw00545]
 The result of over 30 years of cutting...

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

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

POLSYS_PLP
 Referenced in 18 articles
[sw01238]
 Algorithm 801: POLSYS_PLP. A partitioned linear product...

pGOLOG
 Referenced in 3 articles
[sw01479]
 Belief update in the pGOLOG framework. Highlevel...

EnKF
 Referenced in 362 articles
[sw02066]
 EnKFThe Ensemble Kalman Filter The EnKF is...

LBFGS
 Referenced in 735 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

SPIN
 Referenced in 712 articles
[sw03455]
 Spin is a popular opensource software tool...

RODAS
 Referenced in 1599 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

NuSMV
 Referenced in 298 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...

SPSS
 Referenced in 634 articles
[sw04269]
 SPSS is a computer program used for survey...

fda (R)
 Referenced in 1346 articles
[sw04511]
 fda: Functional Data Analysis , These functions were developed...