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

ConGolog
 Referenced in 46 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 4 articles
[sw16792]
 whatis known aboutthe initial state)inthe situation calculus. Theprogrammer can controlthe amountof nondeterminism...

PREGO
 Referenced in 3 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 3 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 4 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 4185 articles
[sw00545]
 The result of over 30 years of cutting...

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

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

R
 Referenced in 4669 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 215 articles
[sw02066]
 EnKFThe Ensemble Kalman Filter The EnKF is...

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

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

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

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

Gringo
 Referenced in 64 articles
[sw04630]
 This document provides an introduction to the Answer...

Smodels
 Referenced in 228 articles
[sw04631]
 The Smodels system is an Answer Set Programming...