PROGOL

GPTKB entity

Statements (21)
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
gptkbp:feature Background Knowledge Support
Inverse Entailment
Learning from Examples
Mode Declarations
gptkbp:field gptkb:Machine_Learning
gptkb:artificial_intelligence
https://www.w3.org/2000/01/rdf-schema#label PROGOL
gptkbp:influenced gptkb:Aleph
gptkb:TILDE
gptkb:Golem
gptkbp:license gptkb:software
gptkbp:programmingLanguage gptkb:Prolog
gptkbp:releaseYear 1994
gptkbp:usedFor gptkb:Inductive_Logic_Programming
Relational Learning
gptkbp:website http://www.doc.ic.ac.uk/~shm/progol.html
gptkbp:bfsParent gptkb:Inductive_Logic_Programming
gptkbp:bfsLayer 8