## First order theory re nement

- S. Wrobel
- Advances in ILP
- 1995

In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled training examples for the domain concept. The theory patching problem is to revise only the indicated components of the theory, such that the resulting theory correctly classiies… (More)

Sorry, we couldn't extract any figures or tables for this paper.