• RESUME

  • Referenced in 14 articles [sw36118]
  • revising treatment plans. The RÉSUMÉ system is based on a model of three basic temporal ... knowledge required for temporal abstraction supports the acquisition and the sharing of that knowledge ... RESUME system using the CLIPS knowledge-representation shell. The RÉSUMÉ system emphasizes the need ... domain-independent architectures for building medical knowledge-based systems...
  • ODEXPERT

  • Referenced in 9 articles [sw13889]
  • solvers. ODEXPERT is a prototype knowledge-based system which selects the appropriate numerical solvers...
  • Amine

  • Referenced in 4 articles [sw33408]
  • development of various kinds of Intelligent Systems (Knowledge-Based, Ontology-Based, Conceptual Graph Based...
  • MPTP 0.2

  • Referenced in 53 articles [sw02589]
  • Mizar Problems for Theorem Proving (MPTP) system and first experimental results obtained with ... development of domain-based, knowledge-based, and generally AI-based ATP methods. This version ... Mizar schemes are now handled by the system, too, by remembering (and, if necessary, abstracting...
  • DISCOUNT

  • Referenced in 15 articles [sw19613]
  • system is a distributed equational theorem prover based on the teamwork method for knowledge-based ... reuslts in an adaptation of the whole system to given problems, and thus...
  • Amphion

  • Referenced in 5 articles [sw09953]
  • paper describes Amphion, a knowledge-based software engineering (KBSE) system that guides a user...
  • NUT

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

  • Referenced in 1 article [sw10177]
  • less suitable for the area of knowledge-based systems. In this paper, we present...
  • ThinTriangExpts

  • Referenced in 1 article [sw29242]
  • International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems...
  • Build-X

  • Referenced in 1 article [sw39496]
  • Build-X: Expert system for seismic analysis and assessment of 3D buildings using OpenSees. Despite ... Build-X, a recently developed knowledge-based system tailored to the prediction of the seismic...
  • Multi-imbalance

  • Referenced in 1 article [sw33185]
  • software for multi-class imbalance learning, Knowledge-Based Systems. Imbalance classification...
  • KAM

  • Referenced in 1 article [sw00480]
  • knowledge-based tool for developing computer algebra systems. The paper presents a description ... knowledge-based tool for building computer algebra systems developed at the Faculty of Mathematics...
  • TAXSY

  • Referenced in 1 article [sw04194]
  • knowledge-based modules to existing statistical software. The paper describes TAXSY, a consultation system shell ... interface code, form a flexible system for knowledge-based consultation. The design makes the knowledge...
  • AlexSys

  • Referenced in 1 article [sw24600]
  • AlexSys: a knowledge-based expert system for multiple sequence alignment construction and analysis. Multiple sequence...
  • IKBT

  • Referenced in 1 article [sw29772]
  • experts. We developed IKBT, a knowledge-based intelligent system that can mimic human experts’ behaviors...
  • SmartGov

  • Referenced in 3 articles [sw01721]
  • specify, develop, deploy and evaluate a knowledge-based platform to assist public sector employees ... maintenance and integration with already installed IT systems. This platform will be evaluated...
  • KUCRS

  • Referenced in 1 article [sw33620]
  • KUCRS software library. KUCRS (Knowledge-basing Utilities for Complex Reaction Systems) is a utility software...
  • Fril/SQL

  • Referenced in 1 article [sw18488]
  • object-oriented and knowledge-based support query system, which is implemented...
  • QAPD

  • Referenced in 0 articles [sw23486]
  • efficient strategies for knowledge discovery. Question answering (QA) systems made it possible to ask questions ... queries. In ontology-based QA system, the knowledge-based data, where the answers are sought ... retrieval of ontology knowledge base provides a convenient way to obtain knowledge ... this paper, QAPD, an ontology-based QA system applied to the physics domain, which integrates...
  • ICOT

  • Referenced in 3 articles [sw00432]
  • knowledge-based programming. A major drawback of current rule-based expert system languages is that ... semantics of knowledge, particularly in complex engineering domains. For a knowledge-based approach...