• Aleph

  • Referenced in 50 articles [sw12108]
  • Aleph is an Inductive Logic Programming (ILP) system. This manual is not intended ... functionality of several other ILP systems. Some of these of relevance to Aleph are: CProgol...
  • GOLEM

  • Referenced in 52 articles [sw24695]
  • GOLEM is a “classic” among empirical ILP systems. It has been applied successfully on real...
  • TopLog

  • Referenced in 9 articles [sw02010]
  • statements which are used in many ILP systems. Firstly, we present a theoretical framework ... implementation of TDHD within a new ILP system called TopLog. Thirdly, we show that ... with a state of the art ILP system like Aleph...
  • MediaBench

  • Referenced in 34 articles [sw08949]
  • evaluating and synthesizing multimedia and communication systems. Significant advances have been made in compilation technology ... capitalizing on instruction-level parallelism (ILP). The vast majority of ILP compilation research has been ... well matched to the needs of the ILP compilers. Most of these processors are targeted ... systems. Conventional wisdom, and a history of hand optimization of inner-loops, suggests that ILP...
  • Metagol

  • Referenced in 8 articles [sw34721]
  • Metagol is an inductive logic programming (ILP) system based on meta-interpretive learning...
  • April

  • Referenced in 3 articles [sw25423]
  • April - An Inductive Logic Programming System. Inductive Logic Programming (ILP) is a Machine Learning research ... knowledge discovery in relational domains. ILP systems use a set of pre-classified examples (positive ... this paper we present a novel ILP system called April, capable of exploring several parallel...
  • FOIL-D

  • Referenced in 3 articles [sw02584]
  • relational rule mining tasks, however, most ILP systems do not scale to very large datasets ... present two extensions to a popular ILP system, FOIL, that improve its scalability ... FOIL directly to a relational database management system. This enables FOIL to run on data ... indicate that on a set of standard ILP datasets, the rule sets learned using...
  • ProGolem

  • Referenced in 4 articles [sw13855]
  • examples. By contrast, in the Golem system, the length of $ij$-determinate RLGG clauses were ... 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]
  • this limitation, we introduce Metaopt, an ILP system which iteratively learns lower cost logic programs...
  • Subsumer

  • Referenced in 3 articles [sw13854]
  • often the bottleneck of an ILP system. Also, since most of those systems are implemented...
  • 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...
  • LINUS

  • Referenced in 1 article [sw03010]
  • LINUS is an ILP learner which incorporates existing attribute-value learning systems. The idea ... RELATION mode, LINUS behaves as an ILP system...
  • FORS

  • Referenced in 16 articles [sw04848]
  • Order Regression (FOR), is a combination of ILP and numerical regression. First-order logic descriptions ... variables. The program FORS (First Order Regression System) is an implementation of this idea, where ... viewed as a generalisation of the usual ILP problem. Namely, the target predicate in usual...
  • ILPME

  • Referenced in 1 article [sw27486]
  • ILPME is a nonmonotonic ILP (Inductive Logic Programming) system that learns from multiple distinct examples...
  • DISNEL

  • Referenced in 5 articles [sw00207]
  • The paper describes the features of the DISNEL...
  • MapReduce

  • Referenced in 252 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • PSPLIB

  • Referenced in 260 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • TSPLIB

  • Referenced in 674 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCIP

  • Referenced in 484 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • PRISM

  • Referenced in 423 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...