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

ConGolog
 Referenced in 42 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 2 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 2 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...

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

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

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

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

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

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

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

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

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

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

Uppaal
 Referenced in 536 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...