• CCalc

  • Referenced in 75 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...
  • COLIN

  • Referenced in 5 articles [sw27480]
  • planners: the handling of continuous linear change, and the handling of duration-dependent effects ... which require tightly coupled temporal and numeric reasoning during planning. COLIN combines FF-style forward ... heuristic of CRIKEY3, to support reasoning directly with continuous change. We extend the range ... gradient of the continuous numeric change effected by an action. Finally, we explore the potential...
  • SEEC

  • Referenced in 1 article [sw29911]
  • variety of application and system actions (e.g. changing algorithms or allocating cores). To address this ... SEEC. SEEC automatically and dynamically schedules actions to meet application specified goals. While other self ... systems programmers to separately specify observations and actions, according to their expertise. SEEC s runtime ... reason about previously unseen applications and actions while automatically adapting to changes in both application...
  • 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 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 289 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • ConGolog

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