• OTTER

  • Referenced in 316 articles [sw02904]
  • order logic with equality. Otter’s inference rules are based on resolution and paramodulation...
  • HOL Light

  • Referenced in 308 articles [sw06580]
  • system can be extended with new inference rules without compromising soundness. While retaining this reliability...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • using ETPS issues commands to apply rules of inference in specified ways, and the computer ... proof and checking that the rules can be used in this way. The program thus ... build new formulas from them. The rules of inference and predefined problems in ETPS ... Academic Publishers, 2002. Descriptions of the rules of inference are available online. When the teacher...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • semantics by means of structural inference rules. Moreover, we show how to use this semantics...
  • Darwin

  • Referenced in 26 articles [sw04175]
  • first-order versions of unit propagation inference rules analogously to a restricted form of unit ... version of the (binary) propositional splitting inference rule...
  • Fuzzy Logic Toolbox

  • Referenced in 59 articles [sw07379]
  • through the steps of designing fuzzy inference systems. Functions are provided for many common methods ... rules, and then implement these rules in a fuzzy inference system...
  • Bedwyr

  • Referenced in 23 articles [sw09460]
  • sequent calculus by incorporating inference rules for definitions that allow fixed points to be explored...
  • DENFIS

  • Referenced in 57 articles [sw24183]
  • systems, denoted as dynamic evolving neural-fuzzy inference system (DENFIS), for adaptive online and offline ... through local element tuning. New fuzzy rules are created and updated during the operation ... through a fuzzy inference system based on m-most activated fuzzy rules which are dynamically...
  • ANFIS

  • Referenced in 279 articles [sw08730]
  • system) is presented, which is a fuzzy inference system implemented in the framework of adaptive ... form of fuzzy if-then rules) and stipulated input-output data pairs. In the simulation...
  • Dyna

  • Referenced in 12 articles [sw23357]
  • small set of equations, resembling Prolog inference rules, that specify the abstract structure...
  • FRI

  • Referenced in 9 articles [sw07389]
  • fuzzy rule base to make inference. A fuzzy rule base is fully covered (at level ... techniques were introduced to generate inference for sparse fuzzy rule base, thus extend the usage ... fuzzy inference mechanisms for sparse fuzzy rule base systems. Basically, FRI techniques perform interpolative approximate...
  • Speedith

  • Referenced in 6 articles [sw19455]
  • sound and complete set of inference rules. Speedith provides a way to input diagrams, transform ... them via the diagrammatic inference rules, and prove diagrammatic theorems. It is designed ... mechanism that draws the diagrams when inference rules are applied on them, and how formal...
  • CLAIRE

  • Referenced in 34 articles [sw02583]
  • associated with declarative languages, such as sets, rules and search, into an imperative (functional) language ... manner; secondly, an inference compiler transforms a set of logical rules into...
  • TinkerType

  • Referenced in 5 articles [sw01773]
  • into a set of clauses -- individual inference rules -- and a set of features controlling ... form of typeset collections of inference rules or as executable ML typecheckers. The second repository...
  • Roo

  • Referenced in 7 articles [sw12478]
  • clauses under a set of inference rules. In particular, we have applied the parallel closure...
  • RuleML

  • Referenced in 27 articles [sw01792]
  • rules to reaction rules. RuleML can thus specify queries and inferences in Web ontologies, mappings...
  • CLIN

  • Referenced in 6 articles [sw19618]
  • describe the system architecture and major inference rules used in CLIN...
  • FIRBS

  • Referenced in 6 articles [sw06572]
  • expert system. More precisely a fuzzy inference rule based system (FIRBS) is implemented to handle...
  • BIOCHAM

  • Referenced in 45 articles [sw09927]
  • inferring unknown model parameters from temporal logic constraints. Biocham is mainly composed of : a rule ... unique features for developing/correcting/completing/coupling models, including the inference of kinetic parameters in high dimension from...
  • RSPOP

  • Referenced in 8 articles [sw02562]
  • many possible reducts exist in a given rule set, an objective measure is developed ... correctly identify the reducts that improve the inferred consequence. Experimental results are presented using published ... rules in the POPFNN using compositional rule of inference and singleton fuzzifier (POPFNN ... fuzzy systems by identifying significantly fewer fuzzy rules, and improves the accuracy of the POPFNN...