• Aleph

  • Referenced in 50 articles [sw12108]
  • Proposing Hypotheses (Aleph). Aleph is an Inductive Logic Programming (ILP) system. This manual ... Muggleton and L. De Raedt (1994), Inductive Logic Programming: Theory and Methods, Jnl. Logic Programming...
  • FOIL

  • Referenced in 31 articles [sw24694]
  • Induction of logic programs: FOIL and related systems. FOIL is a first-order learning system...
  • kFOIL

  • Referenced in 12 articles [sw23358]
  • novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL ... algorithm integrates the well-known inductive logic programming system FOIL with kernel methods. The feature...
  • CrossMine

  • Referenced in 15 articles [sw01967]
  • losing essential information. Previous works using Inductive Logic Programming approaches (recently also known as Relational...
  • TopLog

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

  • Referenced in 57 articles [sw07705]
  • program verifier. This note describes a separation-logic-based approach for the specification and verification ... pointer-manipulating imperative programs. The programmer may declare inductive datatypes and primitive recursive functions ... abstract representation of memory as a separation logic assertion. Folding or unfolding abstract predicate assertions...
  • Metagol

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

  • Referenced in 7 articles [sw14439]
  • solving problems similar to those in Inductive Logic Programming. DL-Learner includes several learning algorithms...
  • KReator

  • Referenced in 3 articles [sw06946]
  • versatile integrated development environment for probabilistic inductive logic programming currently under development. The area ... probabilistic inductive logic programming (or statistical relational learning) aims at applying probabilistic methods of inference ... frameworks within the area of probabilistic inductive logic programming and statistical relational learning. Currently, KReator ... provide some background on probabilistic inductive logic programming and statistical relational learning and illustrate...
  • GeLog

  • Referenced in 3 articles [sw01772]
  • system combining genetic algorithm with inductive logic programming We have developed a genetic logic programming ... different approaches for automatic programming: inductive logic programming and genetic algorithm. The paper presents...
  • April

  • Referenced in 3 articles [sw25423]
  • April - An Inductive Logic Programming System. Inductive Logic Programming (ILP) is a Machine Learning research...
  • Metaopt

  • Referenced in 4 articles [sw34722]
  • Learning efficient logic programs. When machine learning programs from data, we ideally want to learn ... rather than inefficient programs. However, existing inductive logic programming (ILP) techniques cannot distinguish between...
  • kLog

  • Referenced in 4 articles [sw10403]
  • learning from interpretations, entity/relationship data modeling, logic programming, and deductive databases. Access by the kernel ... Prolog or Datalog programs as in inductive logic programming systems. The kLog framework...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • implements various related type systems - the Edinburgh Logical Framework (LF), the Calculus of Constructions ... inductive types, provide an expressive language for formalization of mathematical problems and program specification...
  • GAUSS

  • Referenced in 4 articles [sw23759]
  • nearly best) algorithm. GAUSS uses inductive logic programming to generalize a database of performance data...
  • ProGolem

  • Referenced in 4 articles [sw13855]
  • minimal generalisation. Over the last decade inductive logic programming systems have been dominated...
  • 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]
  • logic and particularly relevant to the inductive logic programming (ILP) community...
  • HIP

  • Referenced in 27 articles [sw09786]
  • heap manipulating programs. HIP is a separation logic based automated verification system for a simple ... heap-manipulating programs. The specification language allows user defined inductive predicates used to model complex ... will construct a set of separation logic proof obligations in the form of formula implications...
  • ILPME

  • Referenced in 1 article [sw27486]
  • ILPME is a nonmonotonic ILP (Inductive Logic Programming) system that learns from multiple distinct examples ... learning logic programs, namely the Inductive Logic Programming algorithms, have often failed at the task...