• LERS

  • Referenced in 121 articles [sw08637]
  • paper presents the system LERS for rule induction. The system handles inconsistencies in the input ... each concept. Then it induces certain rules and possible rules. The user has the choice...
  • CIRC

  • Referenced in 41 articles [sw06202]
  • principle generalizes both circular coinduction and structural induction and can be expressed in plain English ... circularity principle requires that the following rule be valid: if from the hypotheses H together ... becomes a structural induction (on that variable) derivation rule. This way, Circ supports both coinduction...
  • FURIA

  • Referenced in 13 articles [sw19135]
  • FURIA: an algorithm for unordered fuzzy rule induction. This paper introduces a novel fuzzy rule ... which is short for Fuzzy Unordered Rule Induction Algorithm. FURIA extends the well-known RIPPER...
  • ENDER

  • Referenced in 15 articles [sw12831]
  • statistical framework for boosting decision rules. Induction of decision rules plays an important role...
  • RIONA

  • Referenced in 9 articles [sw30227]
  • RIONA: A new classification system combining rule induction and instance-based learning. The article describes ... empirical approaches to learning from examples: rule induction and instance-based learning. In our algorithm ... whole support set of all rules matching a test case, but the support set restricted...
  • FisPro

  • Referenced in 9 articles [sw16651]
  • step of the design: variable partitioning, rule induction, rule base simplification, optimization. A modular, portable...
  • LFOIL

  • Referenced in 7 articles [sw02759]
  • LFOIL: linguistic rule induction in the label semantics framework. Label semantics is a random ... paper, we introduce a new linguistic rule induction algorithm based on Quinlan’s FOIL algorithm ... this algorithm, a set of linguistic rules is generated for classification problems. The new model...
  • CorClass

  • Referenced in 5 articles [sw01932]
  • algorithms such as CBA, CMAR and rule induction algorithms such as Ripper, PART and C4.5...
  • FinFuns

  • Referenced in 5 articles [sw28536]
  • pattern, a recursion combinator and an induction rule for FinFuns allow for defining and reasoning...
  • GuideR

  • Referenced in 3 articles [sw30224]
  • article presents GuideR, a user-guided rule induction algorithm, which overcomes the largest limitation ... preferences or domain knowledge to the rule learning process. Automatic selection of attributes and attribute ... which resulting rules do not contain interesting information. We propose an induction algorithm which takes ... been verified experimentally, confirming guided rule induction to be a powerful data analysis tool. -- UPDATE...
  • Psi-calculi

  • Referenced in 11 articles [sw28573]
  • atomic elements, and creating custom induction and inversion rules that to remove the bulk...
  • EXPANDER

  • Referenced in 6 articles [sw22715]
  • EXPANDER: Inductive Expansion in SML. EXPANDER is a proof support system for reasoning about data ... declarative programs. EXPANDER applies the rules of inductive expansion (cf. Chapter 5) to correctness conditions...
  • CARIBOO

  • Referenced in 14 articles [sw10064]
  • proof tool based on induction. A termination proof tool for rule-based programs CARIBOO ... termination proof tool for rule-based programming languages, where a program is a rewrite system ... tool, named CARIBOO (for Computing AbstRaction for Induction Based termination prOOfs), allows proving termination under ... innermost strategy, specially useful when the rule-based formalism expresses functional programs, and central...
  • iASA

  • Referenced in 3 articles [sw01494]
  • greatly help users understand the rule induction and annotation process, so that they can focus...
  • RoughSets

  • Referenced in 3 articles [sw31808]
  • functionality: discretization, feature selection, instance selection, rule induction and classification based on nearest neighbors...
  • RSBR_

  • Referenced in 19 articles [sw02934]
  • then rules in a meningitis dataset. GDT-RS is a soft hybrid induction system ... important pre-processing step in the rule discovery process. We illustrate the quality of rules...
  • RULES3-EXT

  • Referenced in 2 articles [sw03290]
  • RULES3-EXT improvements on RULES-3 induction algorithm This paper describes RULES3 ... cope with some drawbacks of the RULES-3 induction algorithm. The extra features of RULES3 ... extract a knowledge base (a set of rules) is reduced to 2 from...
  • prim

  • Referenced in 1 article [sw24242]
  • package prim: Patient Rule Induction Method (PRIM). Patient Rule Induction Method (PRIM) for bump hunting...
  • Tac

  • Referenced in 7 articles [sw09455]
  • with inductive and co-inductive definitions in which the introduction rules are partitioned into ... capable of automatically proving many theorems using induction and coinduction. Since the automatic proof procedure...
  • ILA-2

  • Referenced in 1 article [sw03301]
  • discovery We describe the ILA-2 rule induction algorithm, which is the improved version...