• CCalc

  • Referenced in 62 articles [sw09899]
  • system for representing commonsense knowledge about action and change. It implements a fragment ... McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas...
  • KnowLang

  • Referenced in 2 articles [sw12395]
  • eventually modify that behavior according to changes in the operational environment or in the system ... reasoning. KnowLang provides for a special knowledge context and a special reasoner operating in that ... reasoning help to establish the vital connection between knowledge, perception, and actions that realize self...
  • FRPNow

  • Referenced in 1 article [sw20016]
  • Practical principled FRP: forget the past, change the future, FRPNow! We present a new interface ... simple and expressive way for performing IO actions from FRP code. We also provide ... technique (using Kripke logical relations) for reasoning about which FRP functions may “forget their past...
  • GAP

  • Referenced in 2064 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 438 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 4101 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 4474 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 7666 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 318 articles [sw00610]
  • Produced by experts for use in a variety...
  • QEPCAD

  • Referenced in 239 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 4100 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 679 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • MACSYMA

  • Referenced in 681 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ConGolog

  • Referenced in 43 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • SOAR

  • Referenced in 22 articles [sw02109]
  • SOAR: a cognitive architecture in perspective. A tribute...
  • GOLOG

  • Referenced in 158 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • ELAN

  • Referenced in 89 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • ASSAT

  • Referenced in 149 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • L-BFGS

  • Referenced in 540 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • Haskell

  • Referenced in 573 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...