• 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 instruction-level 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 inner-loops, 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. First-order 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 meta-interpretive 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 bottom-clause construction ... been evaluated on several well-known 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...
  • FOIL-D

  • Referenced in 3 articles [sw02584]
  • involving multiple relational tables. Inductive logic programming (ILP) techniques have had considerable success ... multi-relational 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 pre-classified ... 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 ILP-based algorithm that solves to optimality...
  • SNV-PPILP

  • 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 attribute-value 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...
  • CNT-ILP

  • Referenced in 1 article [sw34280]
  • ILP: Copy-Number Tree. The software implements a integer-linear 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...