• ETPS

  • Referenced in 145 articles [sw06302]
  • deductive information systems for these disciplines, expert systems which can reason, and certain aspects...
  • CLIPS

  • Referenced in 70 articles [sw07002]
  • CLIPS—a powerful development and delivery expert system tool. CLIPS is a productive development ... delivery expert system tool which provides a complete environment for the construction of rule and/or ... object based expert systems. Created in 1985, CLIPS is now widely used throughout the government...
  • TPS

  • Referenced in 67 articles [sw00973]
  • deductive information systems for these disciplines, expert systems which can reason, and certain aspects...
  • OpenBUGS

  • Referenced in 62 articles [sw08316]
  • related variables. The software includes an ‘expert system’, which determines an appropriate MCMC (Markov chain...
  • Prodigy

  • Referenced in 35 articles [sw20686]
  • apprentice-type knowledge-refinement interfaces, and expert systems. This document is a manual...
  • GRAPH

  • Referenced in 22 articles [sw19079]
  • obtained by the support of the expert system “Graph” -- an extended survey. GRAPH ... interactive package, developed as an expert system in the 80s at the University of Belgrade...
  • MOLGEN

  • Referenced in 25 articles [sw00586]
  • there is available a new successful expert system for the structural analysis of chemical compounds...
  • NESTOR

  • Referenced in 25 articles [sw22096]
  • discussed. Additional keywords: artificial intelligence; expert systems; medical applications; computer aided diagnosis; medical computer applications...
  • Mathpert

  • Referenced in 17 articles [sw24047]
  • Logic and computation in MATHPERT: An expert system for learning mathematics. MATHPERT (as in “Math ... Expert”) is an expert system in mathematics explicitly designed to support the learning of algebra...
  • NAG

  • Referenced in 333 articles [sw00610]
  • Produced by experts for use in a variety of applications, the NAG Library ... languages and for many platforms and operating systems. For more specific product information, library content...
  • YYY

  • Referenced in 19 articles [sw01031]
  • enterprise (conceptual) schema and an expert system for generating the schema for the relational database...
  • FRIL

  • Referenced in 40 articles [sw18490]
  • areas of knowledge engineering including expert and decision-support systems, evidential and case-based reasoning...
  • HSL

  • Referenced in 229 articles [sw00418]
  • STFC Rutherford Appleton Laboratory and other experts. HSL offers users a high standard of reliability ... those for the solution of sparse linear systems of equations and sparse eigenvalue problems. MATLAB...
  • SWORD

  • Referenced in 12 articles [sw10584]
  • producing particular outputs. A rule-based expert system is then used to automatically determine whether...
  • NAXPERT

  • Referenced in 6 articles [sw01117]
  • NAXPERT: A prototype expert system for numerical software The prototype expert system described in this ... routine. par As a typical expert system NAXPERT contains a user interface, a knowledge base ... that “NAXPERT is a prototype expert system which is under development and many improvements...
  • JGEX

  • Referenced in 12 articles [sw13613]
  • brief introduction to the system Java Geometry Expert (JGEX). This system consists of three parts...
  • SPIRIT

  • Referenced in 7 articles [sw26763]
  • Features of the Expert-System Shell SPIRIT. The inference process in a probabilistic and conditional ... numerical calculations. SPIRIT is an Expert System Shell for these purposes. Even for hundreds...
  • FuzzyCLIPS

  • Referenced in 6 articles [sw07001]
  • CLIPS (C Language Integrated Production System) expert system shell from NASA. It was developed ... rules and facts of an expert system. The system uses two basic inexact concepts, fuzziness...
  • DEX

  • Referenced in 10 articles [sw27282]
  • Expert System Shell for Multi-Attribute Decision Making. DEX is an interactive computer program...
  • MUSCADET

  • Referenced in 9 articles [sw06859]
  • MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics. The author presents ... heuristic theorem prover conceived as an expert system using a modular knowledge base expressed...