
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 ... wellknown 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 twowave approximate Riemann solver is used. The induction equation ... magnetic field in shockcapturing 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 rulebased classification method called FURIA ... which is short for Fuzzy Unordered Rule Induction Algorithm. FURIA extends the wellknown 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 nonContradiction ... 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 attributeoriented inductiveinference 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 instancebased 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, nonrecursive 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, nonrecursive 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, nonrecursive 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, nonrecursive 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, nonrecursive 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 firstorder 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, stateoftheart methods use various layer sampling techniques to alleviate ... propose GraphSAINT, a graph sampling based inductive learning method that improves training efficiency and accuracy...