• 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 ... user-defined 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 non-determinism...
  • 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 high-level 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. High-level...
  • EnKF

  • Referenced in 170 articles [sw02066]
  • EnKF-The Ensemble Kalman Filter The EnKF is...
  • SPIN

  • Referenced in 563 articles [sw03455]
  • Spin is a popular open-source 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...