Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
Progol
|
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
|