Assertion: algorithm's set | /r/HasProperty | represented as logical database of facts
Facets:
Source sentences:
text: Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive a hypothesized logic program that entails all positive and no negative examples.