Matches in DBpedia 2015-10 for { ?s ?p "Progol is Stephen Muggleton's implementation of Inductive Logic Programming used in computer science that combines "Inverse Entailment" with "general-to-specific search" through a refinement graph. "Inverse Entailment" is used with mode declarations to derive the most-specific clause within the mode language which entails a given example. This clause is used to guide a refinement-graph search.Unlike the searches of Ehud Shapiro's Model Inference System (MIS) and J."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- PROGOL comment "Progol is Stephen Muggleton's implementation of Inductive Logic Programming used in computer science that combines "Inverse Entailment" with "general-to-specific search" through a refinement graph. "Inverse Entailment" is used with mode declarations to derive the most-specific clause within the mode language which entails a given example. This clause is used to guide a refinement-graph search.Unlike the searches of Ehud Shapiro's Model Inference System (MIS) and J.".