• Aleph

  • Referenced in 55 articles [sw12108]
  • Hypotheses (Aleph). Aleph is an Inductive Logic Programming (ILP) system. This manual is not intended ... Raedt (1994), Inductive Logic Programming: Theory and Methods, Jnl. Logic Programming ... some of the functionality of several other ILP systems. Some of these of relevance...
  • Metagol

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

  • Referenced in 10 articles [sw02010]
  • This paper introduces a new Inductive Logic Programming (ILP) framework called Top Directed Hypothesis Derivation...
  • Metaopt

  • Referenced in 8 articles [sw34722]
  • than inefficient programs. However, existing inductive logic programming (ILP) techniques cannot distinguish between the efficiencies...
  • April

  • Referenced in 3 articles [sw25423]
  • Inductive Logic Programming System. Inductive Logic Programming (ILP) is a Machine Learning research field that...
  • FOIL-D

  • Referenced in 3 articles [sw02584]
  • patterns involving multiple relational tables. Inductive logic programming (ILP) techniques have had considerable success...
  • Subsumer

  • Referenced in 3 articles [sw13854]
  • particularly relevant to the inductive logic programming (ILP) community as it is at the core...
  • Warmr

  • Referenced in 2 articles [sw37013]
  • methods from the field of Inductive Logic Programming (ILP) have potential advantages for structural chemical...
  • ILPME

  • Referenced in 2 articles [sw27486]
  • ILPME is a nonmonotonic ILP (Inductive Logic Programming) system that learns from multiple distinct examples...
  • 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...
  • GENEX

  • Referenced in 1 article [sw00334]
  • Inductive Logic Programming (ILP) is a field of research in which logic programs are synthesized...
  • Louise

  • Referenced in 1 article [sw41513]
  • setting for Inductive Logic Programming (ILP) (Muggleton, 1991). ILP is the branch of machine learning...
  • ProGolem

  • Referenced in 4 articles [sw13855]
  • minimal generalisation. Over the last decade inductive logic programming systems have been dominated ... approaches to the construction of logic programs. In particular, we explore variants of Plotkin ... this has been implemented in an ILP system called ProGolem which combines bottom-clause construction...
  • PRISM

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

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • LINUS

  • Referenced in 1 article [sw03010]
  • LINUS is an ILP learner which incorporates existing...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...