• Aleph

  • Referenced in 55 articles [sw12108]
  • Raedt (1994), Inductive Logic Programming: Theory and Methods, Jnl. Logic Programming...
  • kFOIL

  • Referenced in 12 articles [sw23358]
  • simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates ... well-known inductive logic programming system FOIL with kernel methods. The feature space is constructed...
  • MODL

  • Referenced in 11 articles [sw18797]
  • MODL: A Bayes optimal discretization method for continuous attributes, While real data often comes ... mixed format, discrete and continuous, many supervised induction algorithms require discrete data. Efficient discretization ... induction models. In this paper, we propose a new discretization method MODL, founded ... demonstrate the high inductive performances obtained by the new discretization method...
  • ECHO

  • Referenced in 29 articles [sw22269]
  • methods are implemented and a two-wave approximate Riemann solver is used. The induction equation ... magnetic field in shock-capturing methods. The limiting case of magnetodynamics (also known as force...
  • FURIA

  • Referenced in 14 articles [sw19135]
  • fuzzy rule induction. This paper introduces a novel fuzzy rule-based classification method called FURIA ... which is short for Fuzzy Unordered Rule Induction Algorithm. FURIA extends the well-known RIPPER ... makes use of an efficient rule stretching method. Experimental results show that FURIA significantly outperforms...
  • PhySIC

  • Referenced in 8 articles [sw08376]
  • paper focuses on veto supertree methods; i.e., methods that aim at producing a conservative synthesis ... contradiction property (PC) and the induction property (PI). The former requires that the supertree does ... Moreover, we introduce the PhySIC method (PHYlogenetic Signal with Induction and non-Contradiction ... spanning a set of n taxa, this method produces a supertree that satisfies the above...
  • DBLEARN

  • Referenced in 4 articles [sw02883]
  • discovery with DBLEARN We propose a heuristic method for choosing databases for attempting knowledge discovery ... discovery program uses an attribute-oriented inductive-inference method to discover potentially significant relations...
  • INLOCANDA

  • Referenced in 2 articles [sw34288]
  • typically solved by means of link prediction methods that analyze gene expression data. However ... fact that the adopted inductive methods do not take into account possible causality phenomena. This ... paper, we propose the method INLOCANDA, which learns an inductive predictive model for gene network...
  • EXPANDER

  • Referenced in 6 articles [sw22715]
  • underlying specification and add lemmas or induction orderings suggested by subgoals obtained so far. When ... suitability of functional languages for encoding deductive methods...
  • Treerank

  • Referenced in 2 articles [sw07948]
  • based ranking rules through the tree induction method proposed in Clémençon and Vayatis...
  • prim

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

  • Referenced in 9 articles [sw30227]
  • combining rule induction and instance-based learning. The article describes a method combining two widely...
  • BijTools

  • Referenced in 3 articles [sw12643]
  • method for finding combinatorial bijections. Consider a combinatorial identity that can be proved by induction ... paper, we describe a general method for translating the inductive proof into a recursive bijection ... direct, non-recursive way. Thus, the translation method often results in a bijective proof...
  • Examples

  • Referenced in 3 articles [sw12644]
  • method for finding combinatorial bijections. Consider a combinatorial identity that can be proved by induction ... paper, we describe a general method for translating the inductive proof into a recursive bijection ... direct, non-recursive way. Thus, the translation method often results in a bijective proof...
  • Fibonacci

  • Referenced in 3 articles [sw12645]
  • method for finding combinatorial bijections. Consider a combinatorial identity that can be proved by induction ... paper, we describe a general method for translating the inductive proof into a recursive bijection ... direct, non-recursive way. Thus, the translation method often results in a bijective proof...
  • TransMethodZeck

  • Referenced in 3 articles [sw12646]
  • method for finding combinatorial bijections. Consider a combinatorial identity that can be proved by induction ... paper, we describe a general method for translating the inductive proof into a recursive bijection ... direct, non-recursive way. Thus, the translation method often results in a bijective proof...
  • ZeckFibBijections

  • Referenced in 3 articles [sw12647]
  • method for finding combinatorial bijections. Consider a combinatorial identity that can be proved by induction ... paper, we describe a general method for translating the inductive proof into a recursive bijection ... direct, non-recursive way. Thus, the translation method often results in a bijective proof...
  • FOIL

  • Referenced in 31 articles [sw24694]
  • Induction of logic programs: FOIL and related systems. FOIL is a first-order learning system ... overview of the principal ideas and methods used in the current version of the system...
  • SubgrpID

  • Referenced in 1 article [sw40283]
  • Adaptive Indexing method and Patient Rule Induction Method. Variable selection is automatically built...
  • GraphSAINT

  • Referenced in 1 article [sw37758]
  • GraphSAINT: Graph Sampling Based Inductive Learning Method. Graph Convolutional Networks (GCNs) are powerful models ... large graphs, state-of-the-art methods use various layer sampling techniques to alleviate ... propose GraphSAINT, a graph sampling based inductive learning method that improves training efficiency and accuracy...