By the same authors

Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming

Research output: Contribution to conferencePaper



Publication details

DatePublished - 1999
Original languageUndefined/Unknown


Since its inception, the field of inductive logic programming has been centrally concerned with the use of background knowledge in induction. Yet, surprisingly, no serious attempts have been made to account for background knowledge in refinement operators for clauses, even though such operators are one of the most important, prominent and widely-used devices in the field. This paper shows how a sort theory, which encodes taxonomic knowledge, can be built into a downward, subsumption-based refinement operator for clauses.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations