Short descriptions of some ILP systems developed and applied within the ILP2 project
FORS: First Order Regression System
(
ILP2
)
GOLEM
(
ILP1
)
Inductive Constraint Logic
(
ILP2
)
ILP-R
(
ILP2
)
LINUS
(
ILP1
)
MARKUS
(
ILP1
)
MERLIN
(
ILP2
)
MFOIL
(
ILP1
)
PROGOL
(
ILP2
)
REGAL
(
ILP2
)
RIBL
(
ILP2
)
SPECTRE
(
ILP2
)
STILL
(
ILP2
)
TILDE: Top-down Induction of Logical Decision Trees
(
ILP2
)