Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Inductive_logic_programming_system
|
| gptkbp:citation |
Muggleton, S. (1995). Inverse entailment and Progol. New Generation Computing, 13(3-4), 245-286.
|
| gptkbp:developer |
gptkb:Stephen_Muggleton
|
| gptkbp:influenced |
gptkb:Aleph
gptkb:TILDE |
| gptkbp:license |
gptkb:software
|
| gptkbp:notableFeature |
inverse entailment
mode declarations search for optimal hypotheses support for background knowledge |
| gptkbp:programmingLanguage |
gptkb:Prolog
|
| gptkbp:releaseYear |
1995
|
| gptkbp:usedFor |
gptkb:machine_learning
inductive logic programming |
| gptkbp:website |
http://www.doc.ic.ac.uk/~shm/progol.html
|
| gptkbp:bfsParent |
gptkb:Stephen_Muggleton
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Progol
|