• CCalc

  • Referenced in 68 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 2173 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 453 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • 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 high-level language and interactive...
  • NAG

  • Referenced in 326 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

  • Referenced in 448 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • QEPCAD

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

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

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

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

  • Referenced in 439 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ConGolog

  • Referenced in 46 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 159 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • ELAN

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

  • Referenced in 156 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...