• Fuzzydl

  • Referenced in 27 articles [sw11709]
  • FuzzyDL is a Description Logic Reasoner supporting Fuzzy Logic and fuzzy Rough Set reasoning...
  • LFLC 2000

  • Referenced in 12 articles [sw08217]
  • fuzzy logic. It makes it possible to deduce conclusions on the basis of imprecise description ... given situation using fuzzy IF-THEN rules. The rules are interpreted either as fuzzy relations ... fuzzy IF-THEN rules are called linguistic descriptions. They can be understood as specific text ... publications are recommended: detailed treatment of fuzzy logic can be found in [1]; the theory...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • several extensions with fuzzy logic and rough logic, among other formalisms, have been proposed ... first ontology reasoner that supports fuzzy extensions of the standard languages ... fuzzy rough ontology languages into classical ontology languages . This allows using classical (widely available) Description ... Logic inference engines to reason with the representation resulting from the transformation. We describe...
  • PyIT2FLS

  • Referenced in 1 article [sw31248]
  • Python toolkit for Interval Type 2 Fuzzy Logic Systems (IT2FLS). Developing software tools ... easy modeling of fuzzy systems. This paper includes a brief description of how developed toolkit...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Epsilon

  • Referenced in 44 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

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

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

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

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

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SODAS

  • Referenced in 74 articles [sw00885]
  • The author gives a short introduction to the...
  • TPS

  • Referenced in 75 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • ML

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

  • Referenced in 93 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...