Theory-Guideed Induction of Logic Programs by Inference of Regular Languages

Henrik Boström. Theory-Guideed Induction of Logic Programs by Inference of Regular Languages. In ICML. pages 46-53, 1996.

Abstract

Abstract is missing.