• ICOT

  • Referenced in 3 articles [sw00432]
  • integrated C-object tool for knowledge-based programming. An Integrated C-Object Tool, namely ICOT ... proposed for knowledge-based programming. A major drawback of current rule-based expert system languages ... semantics of knowledge, particularly in complex engineering domains. For a knowledge-based approach...
  • KBPs

  • Referenced in 1 article [sw28577]
  • KBPs Knowledge-based programs: Knowledge-based programs (KBPs) are a formalism for directly relating agents...
  • NUT

  • Referenced in 2 articles [sw29714]
  • programming system for knowledge-based programming with facilities for automatic program synthesis. The system allows...
  • Amphion

  • Referenced in 5 articles [sw09953]
  • Automatic programming for scientific subroutine libraries. This paper describes Amphion, a knowledge-based software engineering ... then implements this specification as a program consisting of calls to subroutines from a library...
  • NESTOR

  • Referenced in 27 articles [sw22096]
  • Computer-Based Medical Diagnostic Aid that Integrates Causal and Probabilistic Knowledge. n order to address ... computer-aided medical decision making, a computer program called NESTOR has been developed ... addressing them is the use of knowledge-based methods within a formal probability theory framework...
  • KOJAK

  • Referenced in 4 articles [sw09129]
  • program abstractions without tool support. The kojak project (Kit for Objective Judgement and Knowledge-based ... generic automatic performance analysis environment for parallel programs. Performance problems are specified in terms...
  • ThinTriangExpts

  • Referenced in 1 article [sw29242]
  • ThinTriangExpts: These programs (ThinTriangExpts) were used for the computer experiments in E. Jones ... International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems...
  • GLIMPSE

  • Referenced in 3 articles [sw12249]
  • knowledge-based front end for the statistics package GLIM 3.77, developed using logic programming methods...
  • TAXSY

  • Referenced in 1 article [sw04194]
  • toolbox for adding knowledge-based modules to existing statistical software. The paper describes TAXSY ... TAXSY consists of a set of SAS programs which, with the addition of datasets with ... code, form a flexible system for knowledge-based consultation. The design makes the knowledge transparent...
  • Fril/SQL

  • Referenced in 1 article [sw18488]
  • interrogator is an object-oriented and knowledge-based support query system, which is implemented ... logic objects integrate SQL query, support logic programming language Fril and Fril query together...
  • RASCAL

  • Referenced in 3 articles [sw24615]
  • sequence alignments. MOTIVATION: Most multiple sequence alignment programs use heuristics that sometimes introduce errors into ... function. We present here an alternative, knowledge-based approach that combines a number of recently...
  • CoCoA

  • Referenced in 646 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • gfun

  • Referenced in 138 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Maple

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

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

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

  • Referenced in 553 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 420 articles [sw00610]
  • Produced by experts for use in a variety...
  • PYTHIA

  • Referenced in 29 articles [sw00747]
  • Often scientists need to locate appropriate software for...