First-Order Theory Revision (1991)
Recent learning systems have combined explanation-based and inductive learning techniques to revise propositional domain theories (e.g. EITHER, RTLS, KBANN). Inductive systems working in first order logic have also been developed (e.g. CIGOL, FOIL, FOCL). This paper presents a theory revision system, Forte, that merges these two developments. Forte provides theory revision capabilities similar to those of the propositional systems, but works with domain theories stated in first-order logic.
In Proceedings of the Eighth International Machine Learning Workshop, pp. pp. 447-451, Evanston, IL, June 1991.

Raymond J. Mooney Faculty mooney [at] cs utexas edu
Bradley Richards Ph.D. Alumni bradley [at] ai-lab fh-furtwangen de