
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 firstorder 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 wellknown 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 separationlogicbased approach for the specification and verification ... pointermanipulating 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 metainterpretive learning...

DLlearner
 Referenced in 7 articles
[sw14439]
 solving problems similar to those in Inductive Logic Programming. DLLearner 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...

FOILD
 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 ... heapmanipulating 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...