
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 IFTHEN rules. The rules are interpreted either as fuzzy relations ... fuzzy IFTHEN 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 highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. 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, opensource 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 generalpurpose functional...

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