
Aleph
 Referenced in 47 articles
[sw12108]
 Aleph). Aleph is an Inductive Logic Programming (ILP) system. This manual is not intended ... tutorial on ILP. A good introduction to the theory, implementation and applications ... ILP can be found in S.H. Muggleton and L. De Raedt (1994), Inductive Logic Programming ... some of the functionality of several other ILP systems. Some of these of relevance...

MediaBench
 Referenced in 33 articles
[sw08949]
 technology for capitalizing on instructionlevel parallelism (ILP). The vast majority of ILP compilation research ... well matched to the needs of the ILP compilers. Most of these processors are targeted ... hand optimization of innerloops, suggests that ILP compilation techniques are well suited to these...

GOLEM
 Referenced in 52 articles
[sw24695]
 FOIL, GOLEM is a “classic” among empirical ILP systems. It has been applied successfully...

FORS
 Referenced in 16 articles
[sw04848]
 approach developed in ILP, called First Order Regression (FOR), is a combination ... ILP and numerical regression. Firstorder logic descriptions are induced to carve out those subspaces ... viewed as a generalisation of the usual ILP problem. Namely, the target predicate in usual ... ILP can be modified by adding an extra ”continuous” attribute whose value would be determined...

TopLog
 Referenced in 9 articles
[sw02010]
 TopLog: ILP using a logic program declarative bias This paper introduces a new Inductive Logic ... Programming (ILP) framework called Top Directed Hypothesis Derivation (TDHD). In this framework each hypothesised clause ... mode statements which are used in many ILP systems. Firstly, we present a theoretical framework ... prototype implementation of TDHD within a new ILP system called TopLog. Thirdly, we show that...

Metagol
 Referenced in 8 articles
[sw34721]
 Metagol is an inductive logic programming (ILP) system based on metainterpretive learning...

DISNEL
 Referenced in 5 articles
[sw00207]
 programming).\parIn addition to solving the standard ILP and mixed ILP, the package also solves...

ProGolem
 Referenced in 4 articles
[sw13855]
 this has been implemented in an ILP system called ProGolem which combines bottomclause construction ... been evaluated on several wellknown ILP datasets. It is shown that ProGolem...

Metaopt
 Referenced in 4 articles
[sw34722]
 inefficient programs. However, existing inductive logic programming (ILP) techniques cannot distinguish between the efficiencies ... address this limitation, we introduce Metaopt, an ILP system which iteratively learns lower cost logic...

FOILD
 Referenced in 3 articles
[sw02584]
 involving multiple relational tables. Inductive logic programming (ILP) techniques have had considerable success ... multirelational rule mining tasks, however, most ILP systems do not scale to very large ... present two extensions to a popular ILP system, FOIL, that improve its scalability ... indicate that on a set of standard ILP datasets, the rule sets learned using...

April
 Referenced in 3 articles
[sw25423]
 Inductive Logic Programming System. Inductive Logic Programming (ILP) is a Machine Learning research field that ... successful in knowledge discovery in relational domains. ILP systems use a set of preclassified ... this paper we present a novel ILP system called April, capable of exploring several parallel...

Subsumer
 Referenced in 3 articles
[sw13854]
 particularly relevant to the inductive logic programming (ILP) community as it is at the core ... which is often the bottleneck of an ILP system. Also, since most of those systems...

Algorithm 966
 Referenced in 2 articles
[sw20706]
 these solutions use Integer Linear Programming (ILP) modeling and rely on state ... minutes. In this work, we discuss an ILPbased algorithm that solves to optimality...

SNVPPILP
 Referenced in 2 articles
[sw23968]
 tumor data using perfect phylogenies and ILP. MOTIVATION: Recent studies sequenced tumor samples from ... written in Python and requires the free ILP solver lp_solve...

LINUS
 Referenced in 1 article
[sw03010]
 LINUS is an ILP learner which incorporates existing attributevalue learning systems. The idea ... transform a restricted class of ILP problems into propositional form and solve the transformed learning ... LINUS, LINUS also qualifies as an ILP toolkit offering several learning algorithms with their specific ... RELATION mode, LINUS behaves as an ILP system...

CNTILP
 Referenced in 1 article
[sw34280]
 ILP: CopyNumber Tree. The software implements a integerlinear program (ILP) for solving...

MURPAR
 Referenced in 2 articles
[sw29666]
 amenable to an efficient integer linear programming (ILP) solution. We show that MURPAR produces more...

GENEX
 Referenced in 1 article
[sw00334]
 Inductive Logic Programming (ILP) is a field of research in which logic programs are synthesized ... variety of large datasets to evaluate ILP learners. The paper describes an example generator program...

BET
 Referenced in 1 article
[sw12109]
 inductive logic programming workbench. Existing ILP (Inductive Logic Programming) systems are implemented in different languages ... well as quick integration of existing ILP systems. The standardized input format makes it easier...